Чтобы участвовать в обсуждениях нужно авторизоваться.
Войти
Математическая теория логического вывода.
Ставок:
0
0
Макс. ставка:
0 грн
0 грн
Добавлено:
27.07.2025, 21:49
27.07.2025, 21:49
Следит за лотом: 0Никто не следит
Добавлено:
27.07.2025, 21:49
27.07.2025, 21:49
Основний вид ілюстрацій:
Вид:
Материал:
бумага
Состояние:
хорошее.
Реставрация:
нет
Дефекты:
нет
Местонахождение:
Украина, Одесская область, Одесса
Оплата:
Оплата наличными, Приватбанк, Western Union
Отправка лота: 
Украина,
Весь мир
Украина,Весь мирДоставка:
Нова пошта, Укрпочта, Личная встреча Одесса (согласно действующего законодательства страны проживания продавца).
Описание:
Математическая теория логического вывода. М. Наука. 1967г. 352 с. Тканевый переплет, Чуть увеличенный. формат. Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием `машинной логики`, в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г.Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода. С помощью этого метода получен также ряд важнейших результатов из оснований математики - доказана, например, непротиворечивость чистой теории чисел с аксиомой полной индукции.
Ссылка на обсуждение:
Другие лоты продавца
Смотрите ещё разделы
- Профессиональная радиоэлектронная аппаратура
- Печатные машинки
- Разные предметы. Трудноопределимые предметы, фрагменты
- Вислые печати и пломбы
- Прикладные печати
- Ожерелья, бусы, колье
- Сувениры, сувенирная продукция
- Проигрыватели винила
- Античные монеты Северо-Западного Причерноморья (Березань, Ольвия, Тира, Никоний)
- Монеты Византии (включая Латинскую, Никейскую, Трапезундскую империи и Эпирский деспотат)
- Монеты средневековой Европы 1500 - 1700 гг.
- Легковые автомобили
- Золотые, платиновые и палладиевые монеты новейшего времени
- Золотые монеты нового времени (после введения "Франка Жерминаль")
- Дукаты и дукачи
Сообщить модератору о нарушении
Выберите, пожалуйста, вид нарушения из списка:
Как работает АВТОСТАВКА
Это функция, которая помогает Вам делать ставки автоматически, в случае, если Вашу ставку перебивают.
Предположим, текущая цена лота равна 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