Лекция: Тема 1. Основания математики
Вопросы:
1. Понятие о логике высказываний и логике предикатов.
2. Логические формулы.
3. Таблицы истинности логических формул.
4. Построение заключения по заданным посылкам с использованием таблиц.
5. Порядок действий в логических операциях.
6. Применение логических формул в доказательствах.
Литература:
1. Выгодский М.Я. Справочник по элементарной математике. – М.: Наука, 1983.
2. Александров П.С. Введение в теорию множеств и общую топологию. – М.: Наука, 1977.
3. Крыгин С. В. Математика: Сборник задач. – Н. Новгород: Нижегородская академия МВД России, 2006.
Электронные материалы:
1. ru.wikibooks.org/wiki/Категория: Вычислительная_математика
Рекомендации по изучению:
Рассмотрение данной темы рекомендуется проводить в виде конспектирования рекомендованной на лекции учебной литературы.
Для отработки практических навыков следует выполнить задачи №№1-9 (раздел «Теория множеств») из Сборника практических задач по математике.
Самопроверка:
Используйте предлагаемые вопросы или компьютерную программу Assist2 (блок «Тема10»).
Вопросы для проверки:
· Что такое «алгебра высказываний» и каковы ее основные положения?
· Перечислите основные тождества математической логики.
· Какие логические операции выполняются над числами?
· Перечислите простейшие способы решения логических задач.