Логика 6 — Резолюция в исчислении высказываний | Stanford CS221: ИИ (Осень 2021)

Для получения дополнительной информации о профессиональных и магистерских программах Стэнфордского университета в области искусственного интеллекта посетите: https://stanford.io/ai Доцент Перси Лян Доцент кафедры компьютерных наук и статистики (по справке) https://profiles.stanford.edu/percy-l... Ассистент профессора Дорса Садиг Ассистент профессора кафедры компьютерных наук и кафедры электротехники https://profiles.stanford.edu/dorsa-s... Чтобы следить за расписанием курса и программой, посетите: https://stanford-cs221.github.io/autu...