Embedded Files
ЛОП
Методички и литература для чтения:
Методички и литература для чтения:
Большим М.А. Логические основы программирования.pdfБарендрегт Х. Лямбда-исчисление.pdfЗюзьков В.М. Математическое введение в декларативное программирование.pdfБратко И. Язык Пролог.pdfТак же для работяг, что желают сами поисправлять студенческую методичку по ЛОПу, прошу сюда:
https://github.com/comiam/LOP-book
Page updated
Google Sites
Report abuse