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