Элементы математической логики, Новиков П.С., 1973

Элементы математической логики, Новиков П.С., 1973.
 
   Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе.




Логические операции.
Учение о высказываниях, называемое алгеброй высказываний, является первой из формальных логических теорий. Оно не принадлежит к исчислениям того типа, о котором говорится во введении. Но, хотя эти исчисления и являются основным предметом нашей книги, мы начнем изложение основ математической логики с алгебры высказываний. Дело в том, что знакомство с законами алгебры высказываний очень облегчает изучение тех логических исчислений, с которыми мы встретимся в дальнейшем. Кроме того, алгебра высказываний представляет самостоятельный интерес и имеет приложения в других отраслях науки. Она применяется, например, при синтезе релейно-контактных и электронных схем.

Будем рассматривать различные высказывания, предполагая при этом, что они удовлетворяют закону исключенного третьего и закону противоречия, т. е. каждое высказывание или истинно, или ложно и не может быть одновременно и истинно и ложно. (Нет никакой необходимости считать общеобязательными эти законы логики. Но мы ограничиваемся рассмотрением лишь таких вопросов, для которых эти законы имеют место.) Отвлечемся от содержания высказывания и даже от его структуры; в частности, не будем в нем выделять субъект и предикат. Будем ограничиваться только тем его свойством, что оно представляет собой или истину, или ложь. Тогда высказывание можно рассматривать как величину, которая может принимать два значения: «истина» и «ложь».

ОГЛАВЛЕНИЕ.
Предисловие ко второму изданию.
Введение.
Глава I. Алгебра высказываний.
Глава II. Исчисление высказываний.
Глава III. Логика предикатов.
Глава IV. Исчисление предикатов.
Глава V. Аксиоматическая арифметика.
Глава VI. Элементы теории доказательства.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Элементы математической логики, Новиков П.С., 1973 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: учебник по математике :: математика :: Новиков :: логика