Математическая логика: Учебное пособие для студентов физико-математического факультета — Материалы, необходимые для изучения курса «Математическая логика» представлены в этом учебном пособии. Математическая логика для изучения общих структур правильного мышления применяет математические методы. Как математическая дисциплина, математическая логика является орудием исследования в вопросах обоснования математики, широко применяется во многих областях науки. Пособие содержит краткую теорию, подборку примеров и задач для практических занятий по выделенным темам, а также задачи для контроля самостоятельной работы студентов. В работу включены распределение задач по вариантам для самостоятельной работы, список вопросов для экзаменов и зачетов. Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки «Математика», «Информатика», «Физика», «Прикладная математика».

Название: Математическая логика: Учебное пособие для студентов физико-математического факультета
Автор: Бигаева Л. А., Салиева М. С.
Издательство: Бирск: Бирский филиал БашГУ
Год: 2015
Страниц: 136
Формат: DJVU
Размер: 13,03 МБ
ISBN: 978-5-86607-475-4
Качество: Отличное

Содержание:

Предисловие
Введение. Предмет математической логики
1. Алгебра высказываний
2. Тавтологии алгебры высказываний
3. Логическая равносильность
4. Нормальные формы для формул алгебры высказываний
5 Логическое следование формул
6. Приложение алгебры высказываний к логико-математической практике
7. Булевы функции
8. Логика предикатов
9. Формализованное исчисление высказываний (ФИВ)
Приложение I. Примерные вопросы к экзамену по математической логике
Приложение II. Практикум для самостоятельного выполнения
Литература.