Технологии ИИ 1
Определения Технологии ИИ 2
Определения Технологии ИИ 3
Исчисление высказываний Технологии ИИ 4
Множество ИВ Технологии ИИ 5
ИВ и теория релейно-контактных схем Технологии ИИ 6
Язык предикатов первого порядка Технологии ИИ 7
Правильно построенные формулы (ППФ) и предложения Технологии ИИ 8
Принцип резолюции Технологии ИИ 9
Технологии ИИ 10
Технологии ИИ 11
Пример 1 Технологии ИИ 12
Пример 2 Технологии ИИ 13
Технологии ИИ 14
Технологии ИИ 15
Резолюции в Прологе Технологии ИИ 16
Технологии ИИ 17
Текст программы. Начало Технологии ИИ 18
Технологии ИИ 19
Программа. Окончание Технологии ИИ 20
Пример с Сидоровым Технологии ИИ 21
Алгоритм унификации Технологии ИИ 22
Префиксная форма Технологии ИИ 23
Идея алгоритма Технологии ИИ 24
Технологии ИИ 25
Технологии ИИ 26
Технологии ИИ 27
Технологии ИИ 28
Технологии ИИ 29
Технологии ИИ 30
Технологии ИИ 31
Технологии ИИ 32
Технологии ИИ 33
Технологии ИИ 34
Технологии ИИ 35
Технологии ИИ 36
Технологии ИИ 37