Ebook: Математическая логика

Учебное пособие соответствует программе курса ''Математическая логика'' для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.Предназначается для студентов пединститутов.Книги по теме: Лихтарников Л. М., Сукачева Т. Г. Математическая логикаКалужнин Л. А. Что такое математическая логика? Колмогоров А.Н., Драгалин А. Г. Математическая логика Новиков П. С. Элементы математической логики Игошин В. И. Математическая логика и теория алгоритмов Никольская И. Л. Математическая логикаМендельсон Э. Введение в математическую логику Гладкий А. В. Математическая логика Клини С. К. Математическая логикаЕршов Ю. Л., Палютин Е. А. Математическая логика Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов