Пропала возможность скачивать презентации к лекциям курса. Куда писать баг-репорт? P.S.: Курс "Логическое программирование". |
Московский физико-технический институт
Опубликован: 08.07.2011 | Доступ: свободный | Студентов: 1601 / 212 | Оценка: 4.80 / 4.70 | Длительность: 04:48:00
Тема: Программирование
Специальности: Программист
Теги:
Лекция 3:
Логика
< Лекция 1 || Лекция 3
Аннотация: История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.
< Лекция 1 || Лекция 3