Вы здесь

  • Войдите, чтобы отправлять комментарии

Избранные темы Computer Science. Лекция 3

Лекция
Партнёр:
Предмет:
  • Computer Science
Лектор:
Александр Шень
Курс лекций:
Дата записи:
23.09.12
Дата публикации:
23.09.12
Код для блога:

Исчисление резолюций. Полнота и корректность.

Страница лекции на сайте Computer Science клуба

Другие лекции курса

9
Избранные темы Computer Science. Лекция 1
Computer Science клуб при ПОМИ РАН
Александр Шень
Хит
Избранные темы Computer Science. Лекция 2
Computer Science клуб при ПОМИ РАН
Александр Шень
Избранные темы Computer Science. Лекция 5
Computer Science клуб при ПОМИ РАН
Александр Шень
Избранные темы Computer Science. Лекция 4
Computer Science клуб при ПОМИ РАН
Александр Шень
Избранные темы Computer Science. Лекция 6
Computer Science клуб при ПОМИ РАН
Александр Шень
Избранные темы Computer Science. Лекция 7
Computer Science клуб при ПОМИ РАН
Александр Шень
Избранные темы Computer Science. Лекция 9
Computer Science клуб при ПОМИ РАН
Александр Шень
Избранные темы Computer Science. Лекция 10
Computer Science клуб при ПОМИ РАН
Александр Шень
Избранные темы Computer Science. Лекция 8
Computer Science клуб при ПОМИ РАН
Александр Шень