A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.
NI-MPJ Modelling of Programming Languages Extent of teaching: 2P+1C Instructor: Completion: Z,ZK Department: 18101 Credits: 5 Semester: Z Annotation:
The analysis, transformation, and code generation processes depend on the semantics of the language; in particular, they are correct if they preserve the semantics of the language. This course explores the semantics of programming languages. The students will learn the language models with emphasis on functional languages, students are expected to understand the basics of the lambda calculus and here get acquainted with the advanced lambda calculus. The students also get hands-on-experience with semantic modeling and execution tools.
Lecture syllabus:
1. Functional programming with Racket. 2. Grammars and pattern matching. 3. Reduction relations and evaluation contexts. 4. Identifiers, binding, and substitution. 5. - 6. (2) Advanced lambda calculus (call-by-name, call-by-value). 7. Types: Static checking and soundness. 8. Data types. 9. Models of state and memory. 10. Exceptions and control operators. 11. - 12. (2) Abstract machines. 13. Hygienic macros (on syntax trees). Seminar syllabus:
1. Grammars and pattern matching in Racket and Redex 2. Computation in Redex: metafunctions and reduction relations 3. Checking properties of language models 4. Type rules and subject reduction 5. Extending models of languages 6. Correspondence between language models 7. Syntactic abstraction in Racket Literature:
1. Felleisen, M. - Findler, R. B. - Flatt, M. : Semantics Engineering with PLT Redex. MIT Press, 2009. ISBN 9780262062756. 2. Scott, M. L. : Programming Language Pragmatics (4th Edition). Morgan Kaufmann, 2015. ISBN 9780124104099. Requirements:
BI-PPA or some familiarity with functional programming and mathematics (basic logic, sets, and relations)
https://courses.fit.cvut.cz/NI-MPJ/ The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester NI-MI.2020 Managerial Informatics V 1 NI-TI.2018 Computer Science V 1 NIE-DBE.2023 Digital Business Engineering VO 1 NI-PB.2020 Computer Security V 1 NI-TI.2023 Computer Science V 1 NI-TI.2020 Computer Science V 1 NI-SP.2020 System Programming PS 1 NI-SPOL.2020 Unspecified Branch/Specialisation of Study VO 1 NI-WI.2020 Web Engineering V 1 NI-SPOL.2020 Unspecified Branch/Specialisation of Study VO 1 NI-PSS.2020 Computer Systems and Networks V 1 NI-NPVS.2020 Design and Programming of Embedded Systems V 1 NI-SI.2020 Software Engineering (in Czech) V 1 NI-ZI.2020 Knowledge Engineering V 1
Page updated 24. 4. 2024, semester: Z/2020-1, Z/2019-20, Z/2023-4, Z/2021-2, L/2022-3, Z/2024-5, L/2019-20, Z/2022-3, L/2020-1, L/2021-2, L/2023-4, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška