Что такое математическая логика, Калужнин Л.А., 1964

Что такое математическая логика, Калужнин Л.А., 1964.

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




Элементы логики высказываний.
Для того чтобы составить хотя бы приблизительное представление о какой-нибудь области знаний, недостаточно сказать, как и почему эта область возникла. Необходимо познакомиться с некоторыми разделами этой области. Только после этого можно уяснить себе ее цели, задачи и трудности, возникающие на пути их решения. Мы собираемся поэтому рассказать читателю о нескольких разделах математической логики. Естественно, что такое ознакомление следует начинать с самых элементарных разделов. Поэтому мы и начнем с изложения простейшей главы — логики высказываний. Логика высказываний лежит в основе всех других разделов математической логики и необходима для их понимания.

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

ОГЛАВЛЕНИЕ
Предисловие
Введение
Глава первая Логика высказываний
§1. Элементы логики высказываний
§2. Логические операции
§3. Булевы функции
§4. Нормальные формы. Алгебра Буля
§5. Применения алгебры логики в теории релейноконтактных схем и в теории автоматов
Глава вторая Тождественно истинные формулы логики высказываний
§1. Значение тождественно истинных формул для логики высказываний
§2. Примеры тождественно истинных формул логики высказываний
§3. Формальный вывод тождественно истинных формул логики высказываний
Глава третья Логика предикатов
§1. Предикаты
§2. Применение операций логики высказываний к предикатам
§3. Кванторы
§4. Преобразования формул логики предикатов. Предваренная нормальная форма
§5. Суждения и силлогизмы
§6. Применение выражений логики предикатов для описания некоторых отношений
Заключение
Основания математики и математическая логика
Литература.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Что такое математическая логика, Калужнин Л.А., 1964 - fileskachat.com, быстрое и бесплатное скачивание.

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


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




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