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