Книга: Конструктивная математическая логика с точки зрения классической

Скачать

Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов.

В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу.

В то же время книга написана так, что ее можно читать независимо от предыдущей. В частности, в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям.

Информация о документе

Формат документа: DJVU
Кол-во страниц: 165 страниц
Загрузил(а): Ильина Галина
Лицензия: —
Доступ: Всем

Информация о книге

Издательство: ИЗДАТЕЛЬСТВО НАУКА
Год публикации: 1977
Автор(ы): Новиков П.С.
Ключевые фразы: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Каталог SCI: Математика
УДК: 164. Логистика. Логические исчисления

Статистика просмотров

Статистика просмотров книги за 2025 год.

Ранее вы смотрели (10)

01. Книга: Психопатические конституции

02. Статья: ТЕХНОЛОГИЧЕСКИЕ РЕВОЛЮЦИИ КАК СОЦИАЛЬНЫЙ ФЕНОМЕН

03. Книга: Полиолефиновые волокна

04. Статья: АРМИЯ ИЗ ОДНОГО ЧЕЛОВЕКА

05. Статья: К ВОПРОСУ О ПОЛИТИЧЕСКОЙ РОЛИ ИППОДРОМОВ В ИСТОРИИ РАННЕВИЗАНТИЙСКОЙ АЛЕКСАНДРИИ

06. Статья: ДИНСКОЙ РАЙОН В ГОДЫ ВЕЛИКОЙ ОТЕЧЕСТВЕННОЙ ВОЙНЫ. ПОИСК ИМЕН ПОГИБШИХ НЕИЗВЕСТНЫХ СОЛДАТ НА ПРИМЕРЕ СЕЛА ПЕРВОРЕЧЕНСКОГО ДИНСКОГО РАЙОНА

07. Статья: Вступая в 2025 г.: перспективы российско-американских отношений в оценках и прогнозах американских экспертов

08. Книга: Проектирование автоматизированных систем

09. Книга: Специальные стали

10. Книга: Изучаем социальную психологию

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

Сайт носит исключительно информационно-справочный характер. Администрация Сайта не несет ответственности за содержание и достоверность информации, добавленной пользователями, а также за любые убытки, возникшие в связи с использованием или невозможностью использования Сайта и размещенной на нем информации.