Architektura symbolických počítačů

Garant předmětu:

Neurčen

Přednášející:

Cvičící:

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.

Výsledek studentské ankety předmětu je zde: http://www.fel.cvut.cz/anketa/aktualni/courses/XP36ASP

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 2024/2025:

Rozvrh není připraven

Rozvrh na letní semestr 2024/2025:

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)