Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп.
В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика). Последняя, шестая, глава носит более специальный характер, в ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги.
Книга привлечет внимание всех занимающихся или интересующихся математической логикой, а также может быть использована как учебное пособие по курсу математической логики в университетах.
Содержание:
Глава 1. Алгебра высказываний;
Глава 2. Исчисление высказываний;
Глава 3. Логика предикатов;
Глава 4. Исчисление предикатов;
Глава 5. Аксиоматическая арифметика;
Глава 6. Элементы теории доказательств.
Дополнительно: УТОЧНЯЙТЕ НАЛИЧИЕ ЛОТА.
ВСЕ ВОПРОСЫ ЗАДАВАЙТЕ ДО ЗАКАЗА!
Делайте заказ, если согласны со всеми условиями.
Если в течении трех дней заказ не оплачен - книга вновь выставляется на продажу. заказ отменяется.
Если заказ оформлялся по г. Москва - сообщите, пожалуйста, желаемый способ получения товара:
1. Курьерский - стоимость доставки 350р. в пешей доступности от ст. метро. Стоимость доставки ... [подробнее]
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.