Щоб брати участь в обговореннях потрібно авторизуватися.
Увійти
Математична теорія логічного виведення.
Ставок:
0
0
Макс. ставка:
0 грн
0 грн
Додано:
21.07.2025, 21:49
21.07.2025, 21:49
Стежить за лотом: 0Ніхто не стежить
Додано:
21.07.2025, 21:49
21.07.2025, 21:49
Основний вид ілюстрацій:
Вид:
Матеріал:
бумага
Стан:
хорошее.
Реставрація:
нет
Дефекти:
нет
Місцезнаходження:
Україна, Одеська область, Одеса
Оплата:
Оплата готівкою, Приватбанк, Western Union
Відправлення лота: 
Україна,
Увесь світ
Україна,Увесь світДоставка:
Нова пошта, Укрпошта, Особиста зустріч Одеса (згідно з чинним законодавством країни проживання продавця).
Опис:
Математическая теория логического вывода. М. Наука. 1967г. 352 с. Тканевый переплет, Чуть увеличенный. формат. Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием `машинной логики`, в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г.Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода. С помощью этого метода получен также ряд важнейших результатов из оснований математики - доказана, например, непротиворечивость чистой теории чисел с аксиомой полной индукции.
Посилання на обговорення:
Інші лоти продавця
Дивіться ще розділи
- Дорогоцінне каміння (діамант, смарагд, сапфір, рубін)
- Годинники наручні та браслети до годинника з золота, срібла, платини, паладію
- Довідкова література з філателії
- Довідкова література з боністики
- Масштабні моделі
- Радіокеровані моделі
- Фігури і мініатюра
- Будови та елементи ландшафту
- Громадський транспорт
- Спецтехніка
- Бронетехніка і артилерія
- Вітрильники, катери, яхти
- Авіамоделі
- Залізниці та аксесуари до них
Повідомити модератору про порушення
Виберіть, будь ласка, вид порушення зі списку:
Як працює АВТОСТАВКА
Це функція, яка допомагає Вам робити ставки автоматично, в разі, якщо Вашу ставку перебивають.
Припустимо, поточна ціна лота дорівнює 120 грн. Ви готові торгуватися до 5 000 грн. Вкажіть в поле «Автоматичний торг» 5 000 грн. і натисніть "Зробити ставку". В результаті з'явиться Ваша нова ставка, але не в розмірі 5 000 грн., а всього лише 121 грн. При цьому система запам'ятає, що Ви готові торгуватися до 5 000 грн., і зробить необхідні ставки замість Вас, якщо ціна продовжить рости.
Припустимо, інший учасник робить ставку 2 000. Тоді система автоматично зробить Вашу ставку 2 001 грн. І тільки в разі, якщо хто-небудь зробить ставку більше ніж 5 000 грн., Ви отримаєте повідомлення про те, що Ваша автоставка перебита.
Припустимо, поточна ціна лота дорівнює 120 грн. Ви готові торгуватися до 5 000 грн. Вкажіть в поле «Автоматичний торг» 5 000 грн. і натисніть "Зробити ставку". В результаті з'явиться Ваша нова ставка, але не в розмірі 5 000 грн., а всього лише 121 грн. При цьому система запам'ятає, що Ви готові торгуватися до 5 000 грн., і зробить необхідні ставки замість Вас, якщо ціна продовжить рости.
Припустимо, інший учасник робить ставку 2 000. Тоді система автоматично зробить Вашу ставку 2 001 грн. І тільки в разі, якщо хто-небудь зробить ставку більше ніж 5 000 грн., Ви отримаєте повідомлення про те, що Ваша автоставка перебита.
Коментарі 0