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.
MI-FLP Functional and Logical Programming Extent of teaching: 2P+1C Instructor: Completion: Z,ZK Department: 18101 Credits: 4 Semester: L Annotation:
Students will be acquainted with principles of functional and logic programming. They will be able to write their programs in Lisp and Prolog programming languages.
Lecture syllabus:
1. Declarative programming languages. Lambda calculus as a formalism for functional programming. 2. Basic data types and functions in Lisp, lists. 3. Variables, type predicates, recursion and iteration in Lisp. 4. Mapping functionals, control statements. 5. Input and output, macros. 6. Structures, vectors, arrays, hash tables. 7. Implementation of Lisp. 8. Predicate logic, Horns clauses and SLD resolutions as an introduction to Prolog. 9. Predicates, clauses, facts, operators in Prolog. 10. Control of the computation in Prolog, lists. 11. Data structures, input, output. 12. Implementation of Prolog. 13. Logic programming and proof trees - relation to attributed grammars. Seminar syllabus:
1. Recursive programming, solving simple problems in an imperative programming language using recursion. 2. Introduction to the use of Lisp programming environment in computer lab. 3. Simple functions for processing lists in Lisp. 4. Assignment of semestral works. 5. Recursive and iterative solutions, efficiency of recursion. 6. Mapping functionals. 7. Arrays, hash tables, input and output. 8. Macros, structures. 9. Consultations on semestral works. 10. Introduction to the use of Prolog programming environment in computer lab. 11. Recursion in Prolog, arithmetic and list predicates. 12. Input and output, control of the computation. 13. Checking semestral works. Literature:
1. Shapiro, S. C. ''Common Lisp: An Interactive Approach''. W. H. Freeman, 1991. ISBN 0716782189. 2. Seibel, P. ''Practical Common Lisp''. Apress, 2005. ISBN 1590592395. 3. Clocksin, W. F., Mellish, C. S. ''Programming in Prolog (5th Edition)''. Springer, 2003. ISBN 3540006788. Requirements:
Basic knowledge of imperative programming.
Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/MI-FLP/ The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester NI-TI.2018 Computer Science V 2 MI-SP-SP.2016 System Programming PO 2 MI-SP-TI.2016 System Programming PO 2 MI-SPOL.2016 Unspecified Branch/Specialisation of Study VO 2 MI-PB.2016 Computer Security V 2 MI-WSI-WI.2016 Web and Software Engineering V 2 MI-PSS.2016 Computer Systems and Networks V 2 MI-WSI-ISM.2016 Web and Software Engineering V 2 MI-NPVS.2016 Design and Programming of Embedded Systems V 2 MI-WSI-SI.2016 Web and Software Engineering V 2 MI-WSI-ISM.2016 Web and Software Engineering V 2 MI-ZI.2016 Knowledge Engineering V 2 MI-ZI.2018 Knowledge Engineering V 2
Page updated 26. 4. 2024, semester: Z/2020-1, L/2021-2, L/2019-20, L/2022-3, Z/2019-20, L/2020-1, L/2023-4, Z/2022-3, Z/2021-2, Z/2023-4, Z/2024-5, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška