Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Раздел 4. Логические функции.

Вопросы к экзамену по мат. логике

Раздел 1. Формальное построение теории.

1. Аксиоматическое построение теории.
2. Выводы в формальной теории.

Раздел 2. Исчисление высказываний

1. Аксиоматическое построение теории.
2. Выводы в формальной теории.
3. Построение исчисления высказываний (ИВ).
4. Аксиомы ИВ.
5. Пропозициональные переменные и формулы.
6. Следствия из аксиом ИВ.
7. Тавтологии и противоречия
8. Примеры доказательства секвенций.
9. Интерпретация, непротиворечивость, полнота ИВ.

Раздел 3. Исчисление предикатов.

1. Построение формул в исчислении предикатов (ИП).
2. Равносильные, общезначимые, выполнимые формулы ИП.
3. Свойства кванторов, приводящие к равносильным формулам.
4. Приведенные и нормальные формулы ИП.
5. Аксиомы ИП.
6. Примеры формул ИП

Раздел 4. Логические функции.

1. Основные логические функции.
2. Свойства конъюнкции, дизъюнкции и отрицания.
3. ДНФ, СДНФ, КНФ, СКНФ.
4. Представление логических функций в виде СДНФ.
5. Представление логических функций в виде СКНФ.
6. Нахождение сокращенной ДНФ с помощью карты Карно.
7. Полином Жегалкина.
8. Суперпозиция функций. Замыкание набора функций.
9. Замкнутые классы функций .
10. Замкнутые классы функций .
11. Полные наборы и базисы пространства логических функций.
12. Теорема Поста. Привести пример.
13. Применение теории булевых функций на примере релейно – контактных схем.