Логическо програмиране
Вж. също тази система за предикатна резолюция и тази Google Drive папка.Препоръчана литература:
- A. Nerode, R. Shore - Logic For Applications
| Name | Type | Size | Modified |
|---|---|---|---|
| ФМИ ЛП 2018-2019 - Лекции.pdf | File: PDF | 11.68 MiB | Sat, 30 Sep 2023 03:28:13 GMT |
| ФМИ ЛП 2018-2019 - Упражнения.pdf | File: PDF | 4.03 MiB | Sat, 30 Sep 2023 03:28:13 GMT |
Notice: Unless noted or implied otherwise, all content on this page is licensed under CC0, i.e. it has no restrictions for modification and redistribution.