Московский физико-технический институт
Опубликован: 08.07.2011 | Доступ: свободный | Студентов: 1601 / 212 | Оценка: 4.80 / 4.70 | Длительность: 04:48:00
Специальности: Программист
Лекция 3:

Логика

< Лекция 1 || Лекция 3
Аннотация: История логики, формальная аксиоматическая система, логика и исчисление предикатов, эрбановская интерпретация.
< Лекция 1 || Лекция 3
Dmytro Malishevskyi
Dmytro Malishevskyi

Пропала возможность скачивать презентации к лекциям курса. Куда писать баг-репорт?

P.S.: Курс "Логическое программирование".