Мужик хочет, чтобы я ему объяснил несколько тем
+++- +++
Хотел бы пройти обучение с разбором следующих тем в рамках обучения по курсу Теоретическая информатика. Интересуют подготовка по следующим темам:
1. Введение в логику
2. Синтаксис и семантика логики высказываний,
2. исчисление естественного замыкания,
3. Сослагательные и дизъюнктивные нормальные формы
4. Введение в алгебру алгебраические структуры,
5. булевая алгебра
6. Введение в теорию формальных языков
7. Грамматика и формальные языки,
8. обычные языки,
9. контекстно-свободные языки,
10. иерархия Хомского,
11. приложения формальных языков
12. Введение в теорию предсказуемости и теорию сложности
13. Алгоритмически неразрешимые проблемы,
14. машины Тьюринга,
15. регистрационные машины,
16. теория сложности
17. Введение в проверку программ
18. Принципы анализа программ,
19. верификация по Хоаре
С уважением Владислав."
за 6-7 занятий
на немецком языке.
