| Name | Type | Size |
|---|---|---|
| ФМИ ЛП 2018-2019 - Лекции.pdf | File: PDF | 11.68 MiB |
| ФМИ ЛП 2018-2019 - Упражнения.pdf | File: PDF | 4.03 MiB |
Логическо програмиране
Зимен семестър 2018-2019
Вж. също тази система за предикатна резолюция и тази Google Drive папка.
Препоръчана литература:
- Anil Nerode, Richard Shore - Logic for Applications