Вопросы к экзамену 2007 3 курс Синтаксис логического языка 1 порядка - umotnas.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Вопросы к зачету (экзамену) по курсу "Проектирование трансляторов" 1 19.99kb.
Вопросы к экзамену по дисциплине «Дифференциальные и разностные уравнения» 1 34.03kb.
Экзаменационные вопросы и задачи вопросы Множества и отношения 1 65.29kb.
Курс лекций по истории экономических учений, вопросы для зачета,... 3 1006.26kb.
Доцент Рыбченко Т. В. Вопросы для подготовки к экзамену по философии... 1 39.33kb.
Вопрос ы к экзамену по курсаe «ладная синергетика» (2007 г. 1 34.55kb.
Вопросы к экзамену по математическому анализу за первый курс первый... 1 38.72kb.
Учебно-методический комплекс по дисциплине системная организациялексики... 1 157.05kb.
Вопросы к зачету по дисциплине «Математика и информатика» 1 20.59kb.
Вопросы к экзамену по истории стран Азии и Африки 3 курс (ИА) 1 27.61kb.
Закон тождества: А=а закон двойного отрицания Переместительный (коммутативный) 1 17.31kb.
Алгоритмы умножения в gf(2n) и gf(pn) 1 94.69kb.
Викторина для любознательных: «Занимательная биология» 1 9.92kb.

Вопросы к экзамену 2007 3 курс Синтаксис логического языка 1 порядка - страница №1/1

Вопросы к экзамену 2007 3 курс

  1. Синтаксис логического языка 1 порядка

  2. Интерпретация формул

  3. Логический вывод (правила вывода)

  4. Поисковые деревья (лемма о поисковых деревьях)

  5. Теорема о корректности дедуктики

  6. Лемма о существовании полного дерева

  7. Теорема о полноте дедуктики

  8. Теорема об адекватности дедуктики

  9. Алгоритмически разрешимые теории

  10. Машина Тьюринга, тезис Тьюринга

  11. Алгебра программ, начальное мат. Обеспечение

  12. Нормальные алгорифмы Маркова, принцип нормализации

  13. Теорема о реализуемости НАМ в бинарном алфавите

  14. Теорема о нормализуемости МТ

  15. Реализуемость НАМ на МТ

  16. Универсальный алгоритм

  17. Алгоритмическая неразрешимость. Проблема самоприменимости

  18. Алгоритмическая неразрешимость. Проблема Ne’

  19. Трудоемкость алгоритма, ее виды.

  20. Эффективный алгоритм. Класс P.

  21. Класс переборных задач. Класс NP

  22. NP полнота задачи о выполнимости булевой формулы.

  23. Алгоритмическая сводимость. NP полнота задачи булевого программирования

  24. Алгоритмическая сводимость. NP полнота задачи о размене

  25. Псевдополиномиальный алгоритм. NP полнота в сильном смысле задачи булевого программирования.