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