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