ВУЗ:
Составители:
Рубрика:
67
12
Метод резолюций
для исчисления
высказываний.
2 Решение логических
задач.
2
13
Исчисление
предикатов.
2 Понятие квантора.
Интерпретация
формул. Алфавит.
2
14 Промежуточный контроль знаний
(Контрольная работа №2)
2
15
Предваренная
нормальная форма и
скулемовская
стандартная форма.
2 Решение задач на
ПНФ и ССФ.
2
16
Подстановка и
унификация.
Алгоритм
унификации.
2 Нахождение
унификатора.
2
17
Метод резолюции в
исчислении
предикатов.
2 Решение задач на
метод резолюции в
исчислении
предикатов
2
18
Коллоквиум № 1 2
19
Заключительный
обзор курса.
Консультации по
подготовке к
итоговому
контролю знаний.
2 Заключительный
обзор курса.
Консультации.
2
2
20
Итоговый контроль знаний 2
3. Описание курса (дисциплины):
1. Информация о преподавателе (ссылка на страницу)
Зарипова Эльвира Ринатовна, старший преподаватель,
http://www.telesys.pfu.edu.ru/about/zaripova.html
Страницы
- « первая
- ‹ предыдущая
- …
- 65
- 66
- 67
- 68
- 69
- …
- следующая ›
- последняя »
