Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2024/2025

Architektura symbolických počítačů

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah
XP36ASP ZK 4 2P+2S
Garant předmětu:
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:
Další informace:
Pro tento předmět se rozvrh nepřipravuje
Předmět je součástí následujících studijních plánů:
Platnost dat k 29. 3. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet11845804.html