17. Дискретная математика. Теория алгоритмов Классификация алгоритмических моделей
Дискретная математика: http://vk.com/math_help_student
В начале лекции рассказывается об истории возникновения математики, формировании понятий "Доказательство" и "Вычисление". Определяется понятие "Алгоритм", приводятся основные требования, предъявляемые к алгоритму. Во второй половине лекции рассказывается о классификации алгоритмических моделей, начинается знакомство с машинами Тьюринга.
Видео 17. Дискретная математика. Теория алгоритмов Классификация алгоритмических моделей канала MathHelpStudent
В начале лекции рассказывается об истории возникновения математики, формировании понятий "Доказательство" и "Вычисление". Определяется понятие "Алгоритм", приводятся основные требования, предъявляемые к алгоритму. Во второй половине лекции рассказывается о классификации алгоритмических моделей, начинается знакомство с машинами Тьюринга.
Видео 17. Дискретная математика. Теория алгоритмов Классификация алгоритмических моделей канала MathHelpStudent
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
20. Дискретная математика. Разрешимые и перечисляемые множества Теория автоматов
16. Дискретная математика. Матричные методы в графах.
25. Дискретная математика. Логика Исчисления высказываний и исчисление предикатов
15. Дискретная математика. Графы.
28. Дискретная математика. Метод резолюций в исчислении высказываний и исчислении предикатов
26. Дискретная математика. Метатеория Введение в исчисление предикатов
14. Дискретная математика. Сетевое планирование.
21. Дискретная математика. Свойства и варианты конечных автоматов
11. Дискретная математика. Теория графов.
23. Дискретная математика. Формальные системы Свойства, интерпретация, моделирование
13. Дискретная математика. Деревья. Оптимизация.
27. Дискретная математика. Интерпретация и полнота исчисления предикатов
22. Дискретная математика. Алгоритмические возможности конечных автоматов Сети Петри
Матлог 6. Исчисление высказываний (продолжение).
24. Дискретная математика. Формальные грамматики
10. Дискретная математика. Предикаты. Теория графов.
12. Дискретная математика. Теория графов (продолжение).
18. Дискретная математика. Машина Тьюринга Вычислимость Примеры Способы задания
19. Дискретная математика. Рекурсивные функции
9. Дискретная математика. Классы логических функций.