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