Перечень тем рефератов по предмету: «Математическая логика и теория

алгоритмов»

1. Замкнутые классы и их связь с функциональной полнотой. Монотонные функции и их

свойства. Определение монотонной функции в терминах решеток.
2. Логические функции, логические схемы и бинарные программы.
3. Непротиворечивость и полнота логических исчислений. Семантическая и формальная
непротиворечивость.
4. Формальные грамматики. Классификация Хомского. Грамматики типа 2 и их использование
при построении трансляторов.
5. Понятие неоднозначности в теории грамматик. Привести примеры неоднозначных грамматик
и неоднозначного вывода в них.
6. Алгоритмические проблемы в теории грамматик.
7. Основная идея доказательства существования универсальной машины Тьюринга и блок-схема
ее построения.
8. Общая схема доказательства эквивалентности машин Тьюринга и рекурсивных функций.
9. Алгоритмические проблемы в теории автоматов. Что могут и что не могут конечные автоматы.
10. Связь формальных грамматик и конечных автоматов.
11. Сравнение сложности вычислений на одноленточной и многоленточной машинах Тьюринга,
на примере распознавания палиндромов в двухбуквенном алфавите.
12. Неразрешимые алгоритмические проблемы (обзор).
13. Нормальные алгоритмы Маркова.
14. Понятие суперпозиции функций, схема примитивной рекурсии, операция минимизации.
15. Основные формализации понятия алгоритма.
16. Проблемы непротиворечивости, полноты, разрешимости теории.
17. Понятие предиката. Логические операции над предикатами. Кванторные операции. Понятие
формулы логики предикатов. Исчисление высказываний. Понятие формулы исчисления высказываний.
Понятие вывода.
18. Понятие высказывания. Логические операции над высказываниями. Формулы алгебры логики.
Равносильные преобразования формул.
19. Теория натуральных чисел. Теорема Гёделя о неполноте.
20. Понятие нечеткого множества. Понятие функции принадлежности. Свойства функции
принадлежности. Примеры нечетких множеств.
21. Разрешимые и перечислимые множества. Основные теоремы.
22. Понятие нечеткого отношения. Понятие функции принадлежности для отношений. Свойства
функции принадлежности. Примеры нечетких отношений.
23. Машина Поста как один из способов формализации понятия алгоритма. Примеры машины
Поста.
24. Общезначимость и выполнимость формул логики предикатов. Алгоритмы распознавания
общезначимости формул логики предикатов.