P36ASP | Architektura symbolických počítačů (pro PGS) | Rozsah výuky: | 2+2 | ||
---|---|---|---|---|---|
Přednášející (garant): | Kolář J. | Typ předmětu: | S | Zakončení: | ZK |
Zodpovědná katedra: | 336 | Kreditů: | 4 | Semestr: | L |
Anotace:
Formální základy abstraktních programů, samointerpretace, abstraktní počítač SEDC, varianty Lispu a jejich implementace, predikátová logika a její dokazovací stroj, Warrenův abstraktní stroj, různé implementace Prologu.
Literatura Č:
Literatura A:
|
Stránka vytvořena 14. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |