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

Programming Language Theory

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah Jazyk výuky
AE4M36TPJ Z,ZK 6 2P+2C
Přednášející:
Cvičící:
Předmět zajišťuje:
katedra počítačů
Anotace:

This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.

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

Požadavky:

Familiarity with the basic notions of predicate logic and set theory.

Osnova přednášek:

Operational Semantics

Denotational Semantics

Fixed Points

State

Data

Types

Polymorphism

Type Reconstruction

Osnova cvičení:

Operational Semantics

Denotational Semantics

Fixed Points

State

Data

Types

Polymorphism

Type Reconstruction

Cíle studia:

Familiarity with the basic concepts of programming language theory; ability to formally define a (reasonably simple) programming language.

Studijní materiály:

F. Turbak et al.: Design Concepts in Programming Languages

Poznámka:
Další informace:
https://edux.feld.cvut.cz/courses/A4M36TPJ/
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 3. 6. 2020
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet2230806.html