Main page | Study Branches/Specializations | Groups of Courses | All Courses | Roles                Instructions

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.

BIK-PPA.21 Programming Paradigms Extent of teaching: 14KP+4KC
Instructor: Janoušek J. Completion: Z,ZK
Department: 18101 Credits: 5 Semester: Z

Annotation:
The course deals with basic paradigms of high-level programming languages, including their basic execution models, benefits, and limitations of particular approaches. Functional programming paradigm and its basic principles are explained in details. Logic programming is introduced as another way of declarative programming. The principles are demonstrated on lambda calculus and on Lisp (Racket) and Prolog programming languages. Moreover, usage of these principles is demonstrated on modern mainstream programming languages such as C++ and Java.

Lecture syllabus:
1. High-level programming languages and their paradigms.
2. Basic runtime environment for executing programs.
3. Functional programming: Lambda calculus.
4. Informal introduction to LISP, from Lambda calculus to LISP.
5. Recursion, higher order functions and their composition.
6. Macros.
7. Functional programming in modern programming languages.
8. [2] Efficient interpretation of functional languages: SECD virtual machine.
10. Programming in logic: Prolog - introduction.
11. Unification, cut operator.
12. [2] More complex examples, graph algorithms in Prolog.

Seminar syllabus:
1. Lambda calculus I 2. Lambda calculus II
3. Lambda calculus III
4. Lisp I 5. Lisp II
6. Lisp III
7. Prolog I 8. Prolog II

Literature:
1. Lee K. D. : Foundations of Programming Languages. Springer, 2014. ISBN 978-3-319-13314-0.
2. Hoyte D. : Let Over Lambda. lulu.com, 2008. ISBN 978-1435712751.
3. Brammer M. : Logic Programming with Prolog (2nd Edition). Springer, 2013. ISBN 978-1-4471-5487-7.
4. Weitz E. : Common Lisp Recipes: A Problem-Solution Approach. Apress, 2016. ISBN 978-1-4842-1177-9.

Requirements:
Basic knowledge of imperative programming and of OOP (C and C++)

https://courses.fit.cvut.cz/BI-PPA

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
BIK-SI.21 Software Engineering 2021 (in Czech) PS 3
BIK-PS.21 Computer Networks and Internet 2021 (in Czech) V 3


Page updated 28. 3. 2024, semester: Z/2023-4, L/2019-20, L/2022-3, Z/2019-20, Z/2022-3, L/2020-1, L/2023-4, Z/2020-1, Z,L/2021-2, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška