Вопросы к экзамену
- Алгебраическая операция, отношение. (определения) Задание операций и отношений на конечных множествах. (примеры) Свойства операций и отношений. (свойства рефлексивности, симметричности и т.д.)
- Понятие алгебраической системы. Алгебры и модели. (определения) Гомоморфизм, изоморфизм, автоморфизм алгебраических систем. (определения, примеры)
- Подсистемы алгебраических систем. (определение, свойства, примеры) Прямое произведение алгебраических систем. (определение, примеры) Замыкание множества в алгебре. (определения, примеры)
- Примеры алгебраических систем, алгебр и моделей, носителями которых являются множества чисел. (примеры)
- Понятие графа. Отношение смежности. Гомоморфизм, изоморфизм, автоморфизм графов. (определения, примеры)
- Модели с бинарными отношениями эквивалентности и порядка.
- Решетки. (определения) Связь решеток и частично упорядоченных множеств. (теорема)
- Решетки. Дистрибутивные решетки, решетки с нулем и единицей, решетки с дополнением. (определения) Единственность и существование нуля, единицы и дополнения. (утверждения)
- Алгебра подмножеств. Булева алгебра. (определения, связь, устанавлимая теоремой Стоуна) Булевы решетки и булевы алгебры. (теорема)
- Булевы алгебры. Атомы булевой алгебры. (определения) Теорема Стоуна. (формулировка)
- Полугруппы, моноиды, группы. (определения) Теоремы о представлениях.
- Граф. (основные понятия) Способы задания графов.
- Подграфы. (определения, свойства)
- Маршруты, цепи, циклы в графе. Связность. Деревья. (определения)
- Эйлеровы, гамильтоновы циклы. (определения, теорема)
- Раскраска графов. Плоские графы. (определения)
- Грани. Графы многогранников. Двойственные графы. (определения, теорема)
- Комбинаторные задачи на графах.
- Булевы функции. Существенные и фиктивные переменные. Суперпозиция булевых функций. (определения, примеры)
- Булевы функции двух переменных. Основные соотношения для функций двух и одного переменного.
- Двойственные функции. (определения, утверждение), Принцип двойственности. (теорема)
- Разложение булевых функций по переменным. Совершенные дизъюнктивная и конъюнктивная нормальные формы. (теоремы)
- Формализация арифметики. Натуральные числа (аксиомы), сложение, линейный порядок. (определения)
- Индукция. Рекурсивные определения. Умножение натуральных чисел. (определение)
- Системы Пеано.
- Понятие формальной системы. Алфавит, формулы, аксиомы, правила вывода, примеры.
- Свойства формальных систем: непротиворечивость, корректность, полнота, разрешимость.
- Исчисление высказываний. Синтаксис.
- Исчисление высказываний. Семантика.
- Исчисление высказываний. Эквивалентность формул. Нормальные формы.
- Исчисление высказываний. Выполнимость, логическое следование, тавтология.
- Исчисление высказываний. Аксиомы, правила вывода. Корректность правил вывода.
- Исчисление высказываний. Соотношение синтаксиса и семантики. (теоремы корректности и полноты)
- Исчисление предикатов. Синтаксис.
- Исчисление предикатов. Семантика.
- Формализация фраз русского языка с помощью формул исчисления предикатов.
- Логика предикатов первого порядка. Аксиомы, правила вывода.
- Исчисление предикатов. Соотношение синтаксиса и семантики. (теоремы корректности и полноты)
- Теории первого порядка. Арифметика первого порядка.
- Нестандартные модели арифметики. Теорема Геделя о неполноте.