![]() |
Нижегородский государственный университет им.Н.И.Лобачевского. |
![]() |
Лаборатория ITLab![]() ![]() |
Switch to English version |
![]() |
![]() Текущие новости24 апреля в 18-00 в ауд. 114 состоится очередной семинар студенческого клуба "Computer Science and Its Applications"Алексей Терехов, Надежда Коржавина, Дмитрий Грибанов, "Автоматическое доказательство теорем" Аннотация Введение в математическую логику, как способ формализации человеческой логики:
Введение в автоматическое доказательство теорем:
Введение в логическое программирование (на основе языка ПРОЛОГ)
Специальных знаний не требуется, т. к. включено введение в мат. логику. Лекция для тех, кто желает расширить свой кругозор. | ![]() |
Новости14.11.2015
16.10.2015
16.10.2015
14.10.2015
20.09.2015
![]() |
© ITLab, Нижний Новгород, 2009 |