Катедра по математическа логика и приложенията й

Ресурси

• Лекции по Математическа логика от проф. Д. Скордев.
• Лекции по Логическо програмиране от проф. Д. Скордев.
• Някои упражнения по Пролог от ас. Весела Балева.
• Компилатор на Пролог: Strawberry Prolog
• Ние се стремим нашите страници да отговарят на стандарта HTML 4.01 Transitional! Ако желаете, може видите изходния им GTML код.
• Повече ресурси може да намерите на индивидуалните страници на нашите членове.

Последна редакция: 16.11.2010 в 09,19 часа