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