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 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ů:

Informatika (doktorská) (povinně volitelný předmět)
Informatika (povinně volitelný předmět)