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

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

Путь к странице
  • В начало / ►
  • Курсы / ►
  • Видеолекции / ►
  • cs201_vl / ►
  • Описание

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 ступень

        • Архив

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

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

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