Терия

МЕТОДИЧЕСКИЕ рекомендации по преподаванию дисциплины Экономическая терия
Государственное образовательное учреждение... высшего профессионального образования... РОССИЙСКАЯ ТАМОЖЕННАЯ АКАДЕМИЯ...

1. I. ТЕМАТИЧЕСКИЙ ПЛАН ПО ВИДАМ ЗАНЯТИЙ
2. ПРЕПОДАВАТЕЛЮ

ПРОГРАММА КУРСА МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕРИЯ АЛГОРИТМОВ
Логика это наука о законах мышления Это одна из древнейших наук Основные законы логики были сформулированы еще древнегреческим мыслителем... Современная математическая логика определяется как раздел математики... Данное учебно практическое пособие соответствует учебной программе курса Математическая логика и теория алгоритмов...

1. ПРОГРАММА КУРСА МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕРИЯ АЛГОРИТМОВ
2. Формулы алгебры высказываний
3. Эквивалентные формулы алгебры высказываний
4. Дизъюнктивные и конъюнктивные нормальные формы в алгебре высказываний
5. Определение формального исчисления
6. Система аксиом и правил вывода
7. Теорема о дедукции в исчислении высказываний
8. Теорема о замене в исчисления высказываний
9. Свойства выводимых и эквивалентных формул исчисления высказываний
10. Высказываний
11. Высказываний
12. Алгебраические системы
13. Формулы логики предикатов
14. В алгебраической системе
15. Логическое следствие в логике предикатов
16. Эквивалентные формулы логики предикатов
17. Пренексная нормальная форма в логике предикатов
18. Система аксиом и правил вывода
19. Предикатов
20. Исчисления предикатов
21. Машины Тьюринга
22. Примитивно рекурсивные функции
23. Частично рекурсивные функции
24. Совершенные дизъюнктивные нормальные формы, совершенные конъюнктивные нормальные формы
25. Логическое следствие в алгебре высказываний
26. Исчисление высказываний
27. Алгебраические системы.
28. Формулы логики предикатов
29. В алгебраической системе
30. Логическое следствие в логике предикатов