Математическая логика: Учебное пособие для студентов физико-математического факультета - книги - Книги и Журналы - Каталог файлов - Скачать бесплатно софт ,фильмы, игры ,музыку
Математическая логика: Учебное пособие для студентов физико-математического факультета
05.07.2018, 18:38
Математическая логика: Учебное пособие для студентов физико-математического факультета — Материалы, необходимые для изучения курса «Математическая логика» представлены в этом учебном пособии. Математическая логика для изучения общих структур правильного мышления применяет математические методы. Как математическая дисциплина, математическая логика является орудием исследования в вопросах обоснования математики, широко применяется во многих областях науки. Пособие содержит краткую теорию, подборку примеров и задач для практических занятий по выделенным темам, а также задачи для контроля самостоятельной работы студентов. В работу включены распределение задач по вариантам для самостоятельной работы, список вопросов для экзаменов и зачетов. Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки «Математика», «Информатика», «Физика», «Прикладная математика».
Название: Математическая логика: Учебное пособие для студентов физико-математического факультета Автор: Бигаева Л. А., Салиева М. С. Издательство: Бирск: Бирский филиал БашГУ Год: 2015 Страниц: 136 Формат: DJVU Размер: 13,03 МБ ISBN: 978-5-86607-475-4 Качество: Отличное
Содержание:
Предисловие Введение. Предмет математической логики 1. Алгебра высказываний 2. Тавтологии алгебры высказываний 3. Логическая равносильность 4. Нормальные формы для формул алгебры высказываний 5 Логическое следование формул 6. Приложение алгебры высказываний к логико-математической практике 7. Булевы функции 8. Логика предикатов 9. Формализованное исчисление высказываний (ФИВ) Приложение I. Примерные вопросы к экзамену по математической логике Приложение II. Практикум для самостоятельного выполнения Литература.
