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

Architektura symbolických počítačů

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah
XP36ASP ZK 4 2P+2S
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 2019/2020:
Rozvrh není připraven
Rozvrh na letní semestr 2019/2020:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 19. 1. 2020
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet11845804.html