IA010 Principles of Programming Languages

Fakulta informatiky
jaro 2019
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
Dr. rer. nat. Achim Blumensath (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
Čt 21. 2. až Čt 16. 5. Čt 12:00–13:50 A217
Předpoklady
Knowledge of at least one imperative (C/C++/Java) and one functional language. Knowledge of additional programming languages is an advantage.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
By the end of the course, the student will be able:
to choose a programming language (programming paradigm) suitable for a given problem domain;
to analyze both strong and weak aspects of a given programming language;
to quickly obtain an in-depth understanding a of new programming language;
Výstupy z učení
After sucessfully completing this course students will be familiar with the most common features of programming languages. They will know how these features are used. They will be able to discuss what features can be used to solve a given programming problem and the advantages and disadvantages of the various options.
Osnova
  • A brief history of programming languages.
  • Expressions and functions.
  • Types, type checking, type inference.
  • State and side-effects.
  • Modules.
  • Control-flow.
  • Declarative programming.
  • Object-oriented programming.
  • Concurrency.
Literatura
    doporučená literatura
  • VAN ROY, Peter a Seif HARIDI. Concepts, techniques, and models of computer programming. Cambridge, Massachusetts: MIT Press, 2004, xxvii, 900. ISBN 0262220695. info
    neurčeno
  • SEBESTA, Robert W. Concepts of Programming Languages. 10th Edition. Addison-Wesley, 2012, 816 s. ISBN 978-0-13-139531-2. info
  • Programming language pragmatics. Edited by Michael Lee Scott. 2nd ed. Oxford: Elsevier Science [distributor], 2006, xxxi, 875. ISBN 9780126339512. info
Výukové metody
The course is organized as a series of lectures.
Metody hodnocení
Evaluation: final written exam.
Vyučovací jazyk
Angličtina
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2015, jaro 2016, jaro 2017, jaro 2018, jaro 2020, jaro 2021, podzim 2021, podzim 2022, podzim 2023, podzim 2024.