Popis předmětu - AE4M36TPJ

Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
AE4M36TPJ Programming Language Theory Rozsah výuky:2P+2C
Garanti:  Role:PO Jazyk výuky:EN
Vyučující:  Zakončení:Z,ZK
Zodpovědná katedra:13136 Kreditů:6 Semestr:Z

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

Cíle studia:

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

Osnovy přednášek:

Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type Reconstruction

Osnovy cvičení:

Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type Reconstruction

Literatura:

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

Požadavky:

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

Webová stránka:

https://edux.feld.cvut.cz/courses/A4M36TPJ/

Klíčová slova:

Formal semantics, type theory.

Předmět je zahrnut do těchto studijních plánů:

Plán Obor Role Dop. semestr
MEOI5NEW Softwarové inženýrství PO 1


Stránka vytvořena 9.12.2019 11:51:01, semestry: Z,L/2020-1, L/2018-9, Z,L/2019-20, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)
Za obsah odpovídá: doc. Ing. Ivan Jelínek, CSc.