Похожие работы
|
Вопросы к экзамену 2007 3 курс Синтаксис логического языка 1 порядка - страница №1/1
Вопросы к экзамену 2007 3 курс
-
Синтаксис логического языка 1 порядка
-
Интерпретация формул
-
Логический вывод (правила вывода)
-
Поисковые деревья (лемма о поисковых деревьях)
-
Теорема о корректности дедуктики
-
Лемма о существовании полного дерева
-
Теорема о полноте дедуктики
-
Теорема об адекватности дедуктики
-
Алгоритмически разрешимые теории
-
Машина Тьюринга, тезис Тьюринга
-
Алгебра программ, начальное мат. Обеспечение
-
Нормальные алгорифмы Маркова, принцип нормализации
-
Теорема о реализуемости НАМ в бинарном алфавите
-
Теорема о нормализуемости МТ
-
Реализуемость НАМ на МТ
-
Универсальный алгоритм
-
Алгоритмическая неразрешимость. Проблема самоприменимости
-
Алгоритмическая неразрешимость. Проблема Ne’
-
Трудоемкость алгоритма, ее виды.
-
Эффективный алгоритм. Класс P.
-
Класс переборных задач. Класс NP
-
NP полнота задачи о выполнимости булевой формулы.
-
Алгоритмическая сводимость. NP полнота задачи булевого программирования
-
Алгоритмическая сводимость. NP полнота задачи о размене
-
Псевдополиномиальный алгоритм. NP полнота в сильном смысле задачи булевого программирования.
|