Architektura symbolických počítačů

Přednášející:

Neurčen (gar.)

Cvičící:

Neurčen (gar.)

Předmět zajišťuje:

katedra počítačů

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.

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

1. Peter M. Kogge: The Architecture of Symbolic Computers. McGraw-Hill, Inc.

2. Gopal Gupta, et al.: Parallel execution of prolog programs: a survey.

July 2001, ACM Transactions on Programming Languages and Systems (TOPLAS)

3. L.C.Paulson: Foundations of Functional Programming.

http://www.cl.cam.ac.uk/users/lcp/papers/Notes/Founds-FP.pdf

Poznámka:

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů:

• Doktorské studium, prezenční forma (povinně volitelný předmět)
• Doktorské studium, kombinovaná forma (povinně volitelný předmět)
• Doktorské studium, strukturované prezenční (povinně volitelný předmět)
• Doktorské studium, strukturované kombinované (povinně volitelný předmět)