Вычислимость и логика
Авторы:
Булос Д.
(1)
Джеффри Р.
(1)
Издательство: Мир
Место издания: Москва
Тип переплёта: твёрдый
Год издания: 1994
Формат: Стандартный
ISBN: 5-03-003067-0
Состояние: Отличное.
Всего томов: 1
На остатке: 1
3 000 р.
Аннотация
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Геделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
(374 продаж с 2020 г.)
Оплата: Только предоплата
Способы оплаты:
- Биткоины;
- Оплата на карту СБЕРБАНКА;
- Перевод на банковскую карту;
- Яндекс.Деньги;
Доставка: По согласованию
Способы доставки:
- почта России;
- самовывоз : ;
Стоимость доставки:
- По согласованию
Отправка заказов:
- Отправка в течении 3 дней
Почтовый идентификатор:
- высылается всегда
Дополнительные сканы и фото:
- Не высылаются
Торг по цене:
- не возможен
Хранение неоплаченных заказов:
- 3 (дней)
Аннотация
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Геделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Аналогичные книги смотрите в разделах: