birmaga.ru
добавить свой файл

1

Вопросы по курсу «Математическая логика и теория алгоритмов»




  1. Основные понятия алгебры логики

  2. Законы алгебры логики.

  3. Равносильные преобразования. Минимальное количество операция для представления формулы. Операция штрих Шеффера.

  4. Функции алгебры логики.

  5. Логические функции. Число различных функций от n переменных.

  6. Представление произвольной функции в виде формулы алгебры логики.

  7. ДНФ и СДНФ.

  8. КНФ и СКНФ.

  9. Минимизация функций. Карты Карно.

  10. Решение логических задач средствами алгебры логики.

  11. Логические исчисления.

  12. Классическое исчисление высказываний.

  13. Натуральное исчисление высказываний.

  14. Логика предикатов. Основные определения.

  15. Кванторы. Взаимосвязь между кванторами.

  16. Предваренная нормальная форма. Пример.

  17. Исчисление предикатов.

  18. Понятие алгоритма.

  19. Разрешимые и перечислимые множества.

  20. Алгоритмически неразрешимые проблемы. 10-я проблема Гильберта.

  21. Основные направления в определении алгоритма.

  22. Вычислимые функции.

  23. Машины Тьюринга.

  24. Нормальные алгоритмы Маркова.

  25. Основная гипотеза теории алгоритмов.