Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Architektura symbolických počítačů

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah
PI-ASP ZK 4 3C
Garant předmětu:
Josef Kolář
Přednášející:
Cvičící:
Josef Kolář
Předmět zajišťuje:
katedra teoretické informatiky
Anotace:

Předmět poskytuje hlubší pochopení principů fungování a vnitřní struktury systémů funkcionálního a logického programování. Získá se konkrétní představa o jejich možnostech a limitech, stejně jako o tom, v čem jsou specifika implementace těchto systémů oproti běžným systémům imperativního programování.

Požadavky:

Základní znalost jazyků funkcionálního (Lisp) a logického (Prolog) programování.

Osnova přednášek:

1. Lambda kalkul.

2. Formální základy abstraktních programů.

3. Samointerpretace, architektura abstraktního počítače SECD.

4. Garbage collection v Lispu.

5. Varianty Lispu a jejich implementace.

6. Predikátová logika.

7. Hornovy klausule.

8. Rezoluční algoritmus dokazování.

9. Warrenův abstraktní stroj.

10. Různé implementace Prologu.

Osnova cvičení:
Cíle studia:

Poskytnout teoretické základy abstraktních strojů, jež slouží jako výpočetní modely při implementaci systémů funkcionálního a logického programování. Po zvládnutí těchto modelů se v dostatečně konkrétní rovině ukazují praktické problémy a návrhové alternativy, které je nutné řešit při skutečné implementaci.

Studijní materiály:

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

. Gopal Gupta, et al.: Parallel execution of prolog programs: A survey. July 2001, ACM Transactions on Programming Languages and Systems (TOPLAS)

. L.C.Paulson: Foundations of Functional Programming.\http://www.cl.cam.ac.uk/users/lcp/papers/Notes/Founds-FP.pdf

Poznámka:

Informace o předmětu a výukové materiály naleznete na https://moodle.fit.cvut.cz/courses/PI-ASP/

Další informace:
https://moodle.fit.cvut.cz/courses/PI-ASP/
Rozvrh na zimní semestr 2023/2024:
Rozvrh není připraven
Rozvrh na letní semestr 2023/2024:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 27. 3. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet1601006.html