Перейти к основному содержанию
EDU-MMCS
Вы не вошли в систему (Вход)

Информация о курсе

  1. В начало
  2. Курсы
  3. Видеолекции
  4. cs201_vl
  5. Описание

CS201. Математическая логика


Пропустить Навигация
Навигация
  • В начало

    • Мои курсы

    • Мои курсы

    • Курсы

      • Видеолекции

        • ParallelLec

        • Calculus4

        • Calculus1

        • Calculus2

        • Calculus3

        • CS108V

        • cs201_vl

          • Введение

          • Лекция 1 Основные определения. ИС

          • Лекция 2. Правила вывода. Дерево вывода. Примеры в...

          • Лекция 3 Допустимые правила

          • Лекция 4 Эквивалентность формул в ИС

          • Лекция 5 Нормальные формы в ИС

          • Лекция 6 Семантика ИС

          • Лекция 8 Вывод в ИВ. Эквивалентность ИС и ИВ.

          • Лекция 9 Применение теоремы об эквивалентности. Пр...

          • Лекция 7 ИВ. Теорема о дедукции

          • Лекция 11 Истинность формул в сигнатуре. ИПС

          • Лекция 10 Метод резолюций

          • Лекция 12 Коллоквиум Продолжение темы

          • Лекция 15 теорема о существовании модели

          • Лекция 16 ИП

          • Лекция 17 Скулемизация АС

          • Лекция 18 Метод унификации в ИП

          • Лекция 19 Метод резолюций в ИП

          • Лекция 20 Применение в программировании

        • CS207

      • Весенний семестр

        • Прикладная математика и информатика

        • Фундаментальная информатика и ИТ

        • Математика, механика

        • Педагогическое образование

        • Магистратура

          • Разработка мобильных приложений и компьютерных игр

        • Аспирантура

        • Вечернее отделение

        • Другое

      • Осенний семестр

        • Прикладная математика и информатика

        • Фундаментальная информатика и ИТ

        • Математика, механика

        • Педагогическое образование

        • Магистратура

          • Разработка мобильных приложений и компьютерных игр

        • Аспирантура

        • Вечернее отделение

        • Другое

      • Воскресная компьютерная школа

        • Пользователь компьютера плюс

        • Пользователь прикладных программ

        • Программирование I ступень

        • Программирование II ступень

        • Программирование III ступень

        • Архив

      • Воскресная математическая школа

        • Олимпиадная математическая школа

        • Открытое тестирование - 2023 г.

        • Открытое тестирование - 2022 г.

        • Повышение квалификации

        • Архив

        • Доступная математика

        • ВМШ - 22

      • Государственная итоговая аттестация

      • Дополнительное образование

      • Олимпиады

      • Разное

      • Архив курсов

Вы не вошли в систему (Вход)
cs201_vl
Сводка хранения данных
Скачать мобильное приложение Яндекс.Метрика