Студопедия
Главная страница | Контакты | Случайная страница

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

Семестр

1. Пропозициональные формулы классического исчисления высказываний.

2. Система аксиом исчисления высказываний.

3. Правило вывода.

4. Понятие доказательства.

5. Выводимые формулы.

6. Вывод формулы .

7. Двузначные оценки пропозициональных переменных.

8. Значение формул при оценке.

9. Эквивалентные формулы.

10. Тавтологии.

11. Теорема корректности для классического исчисления высказываний.

12. Вывод из множества формул (теории) .

13. Теорема дедукции.

14. Лемма о доказательстве «от противного».

15. Лемма о «разборе случаев».

16. Теорема о непротиворечивости пропозициональной теории.

17. Теорема о синтаксической полноте пропозициональной теории.

18. Свойства полных теорий.

19. Лемма линденбаума.

20. Выводимость формулы .

21. Теорема о семантической полноте CL.

22. Определение сигнатуры (языка 1-го порядка).

23. Термы и формулы данной сигнатуры.

24. Свободные и связанные вхождения переменных в формулу.

25. Параметры формулы.

26. Замкнутые формулы (предложения).

27.. Интерпретация сигнатуры.

28. Оценки термов и формул.

29. Значение оцененного терма и оцененной формулы в интерпретации.

30. Нормальные интерпретации.

31. Выполнимость замкнутой формулы.

32. Общезначимость замкнутой формулы.

33. Универсальное замыкание.

34. Общезначимость произвольной формулы.

35. Эквивалентные формулы.

36. Теории первого порядка.

37. Модель теории.

38. Выполнимая теория.

39. Примеры теорий 1-го порядка: теория графов.

40. Примеры теорий 1-го порядка: теория групп.

41. Теория строгого частичного порядка без максимальных элементов – выполнимая теория, не имеющая конечных моделей.

42. Свободная подстановка терма вместо переменной в формулу.

43. Классическое исчисление предикатов сигнатуры ().

44. Вывод, теоремы.

45. Вывод из данного множества формул.

46. Теорема дедукции для .

47. Правило Бернайса.

48. Правила монотонности для кванторов.

49. Формула .

50. Формула .

51. Формула .

52. Формула .

53. Леммы о двойной подстановке в термы.

54. Леммы о двойной подстановке в формулы.

55. Теорема корректности для .

56. Логическое следование.

57. Теоремы корректности и непротиворечивости для теорий первого порядка.

58. Элементарная теория данной интерпретации.

59. Полные теории первого порядка.

60. Формулировка теоремы Гёделя о полноте исчисления предикатов без равенства (существование модели для непротиворечивой теории и доказуемость общезначимых формул).

61. Интуитивное и точное определение алгоритма. Свойства алгоритмов.

62. Машины Тьюринга как один из способов точного определения алгоритмов. Примеры алгоритмов, реализуемых в виде машины Тьюринга.

63. Нормальные алгорифмы (алгоритмы) Маркова. Программная реализация нормальных алгоритмов Маркова.

64. Понятие о машинах Поста. Тезис Черча.

65. Частично-рекурсивные функции. Функции вычислимые по Тьюрингу и их свойства. Эквивалентность определений рекурсивных функций.

66. Теоремы о вычислимых функциях. Вычислимые предикаты.

67. Перечислимые множества и их свойства. Разрешимые множества. Примеры разрешимых множеств.

68. Перечислимые и разрешимые теории. Понятие о геделевой нумерации формул и предикатов теории.

69. Универсальная машина Тьюринга.

70. Неразрешимые алгоритмические проблемы.

Вопросы для подготовки к экзамену студентов очно-заочной




Дата добавления: 2015-09-12; просмотров: 91 | Поможем написать вашу работу | Нарушение авторских прав

Тема 17. Случайные векторы и совместные распределения случайных величин. | Тема 20. Проверка статистических гипотез по критериям Стьюдента, Фишера, Пирсона. | РАЗДЕЛ 8. Теория графов. | Тема 29. Теорема о полных классах булевых функций. | Тема 32. Непротиворечивость и (синтаксическая) полнота CL. | Примеры теорий первого порядка. | Конструирование машин Тьюринга. | Тема 39. Рекурсивные и вычислимые функции и предикаты. | Ый семестр | The History of Translation |


lektsii.net - Лекции.Нет - 2014-2025 год. (0.163 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав