Логическое программирование
[+]
Московский физико-технический институт
Опубликован: 08.07.2011 | Доступ: свободный | Студентов: 1604 / 215 | Оценка: 4.80 / 4.70 | Длительность: 04:48:00
Тема: Программирование
Специальности: Программист
Теги: 1-грамматика, алгоритм, алгоритмы, вычисления, логика, отсечение, парадигма программирования, поиск, предикат, программирование, пролог-программа, семантика, функция, язык программирования
Лекция 9:

Типизация в логических языках
< Лекция 1 || Лекция 9
Аннотация: Возникновение типизации. Классификация языков. Система типов. Многослойная логика предикатов. Классы конкретизации. Детерминизм. Предикаты как функции. Каррирование
Дальше >>
< Лекция 1 || Лекция 9

Вопросы и ответы

вопросов: 1
Dmytro Malishevskyi
Dmytro Malishevskyi

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

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

ответить