Ресурси
- Лекции по математическа логика от проф. Д. Скордев.
- Лекции по логическо програмиране от проф. Д. Скордев.
- Лекции по логическо програмиране от А. Зиновиев.
- Записки по логическо програмиране от гл.ас. Владислав Ненчев
- Стари записки за резолюции от Антон Зиновиев с идеи от проф. Тинко Тинчев
- Стари упражнения по пролог от ас. Весела Балева
- Начални лекции по Технология и методология на програмирането от А. Зиновиев.
- Изходен код на нашия уеб-сайт.
- Шаблон за контролни (LaTeX)
- Повече ресурси може да намерите на индивидуалните страници на нашите членове.