FI:PB006 Principles of Programming Lang - Course Information
PB006 Principles of Programming Languages
Faculty of InformaticsAutumn 2010
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
- Teacher(s)
- RNDr. Libor Škarvada (lecturer)
- Guaranteed by
- prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: RNDr. Libor Škarvada - Timetable
- Tue 18:00–19:50 D1
- Prerequisites
- A basic knowledge of one imperative and one functional language is beneficial.
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Applied Informatics (programme FI, B-AP)
- Bioinformatics (programme FI, B-AP)
- Economic Information Systems (programme ESF, B-SI)
- Informatics with another discipline (programme FI, B-BI)
- Informatics with another discipline (programme FI, B-FY)
- Informatics with another discipline (programme FI, B-GE)
- Informatics with another discipline (programme FI, B-GK)
- Informatics with another discipline (programme FI, B-CH)
- Informatics with another discipline (programme FI, B-IO)
- Informatics with another discipline (programme FI, B-MA)
- Informatics with another discipline (programme FI, B-TV)
- Public Administration Informatics (programme FI, B-AP)
- Mathematical Informatics (programme FI, B-IN)
- Mathematics with Informatics (programme PřF, N-MA)
- Parallel and Distributed Systems (programme FI, B-IN)
- Lower Secondary School Teacher Training in Technology and IT Education (programme PdF, B-SPE)
- Computer Graphics and Image Processing (programme FI, B-IN)
- Computer Networks and Communication (programme FI, B-IN)
- Computer Systems and Data Processing (programme FI, B-IN)
- Programmable Technical Structures (programme FI, B-IN)
- Embedded Systems (programme FI, N-IN)
- Service Science, Management and Engineering (programme FI, N-AP)
- Social Informatics (programme FI, B-AP)
- Artificial Intelligence and Natural Language Processing (programme FI, B-IN)
- Course objectives
- The course provides the students with information about programming paradigms and basic concepts used in programming languages. Objectives: bring together different aspects of various languages and classify their principles.
- Syllabus
- Brief history of programming languages, overview of basic programming paradigms.
- Syntax, language, program. Abstract and concrete syntax.
- Static semantics. Typing, validation functions.
- Name spaces, visibility of program items. Block structure and modular structure.
- Types and type systems. Ground types, type constructors. Polymorphic types, parametric polymorphism and subtype polymorphism, overloading, type classes.
- Subtypes, inheritance. Types as sorts, types as signatures, types as theories.
- Semantics, computation.
- Imperative paradigm. Commands, state, memory locations, state transformers, mutable variables, destructive assignment.
- Functional paradigm. Expressions. functions, variables. Application, abstraction, reduction strategies.
- Logic paradigm.
- Concurrency, communication. Deadlock. Interrupts, events. Semaphores, mutual exclusion, critical sections.
- Call by value, call by name. Call by result, by value-result.
- Literature
- Teaching methods
- The course is organized as a series of lectures.
- Assessment methods
- Evaluation: final written exam.
- Language of instruction
- Czech
- Further Comments
- Study Materials
The course is taught annually. - Listed among pre-requisites of other courses
- Teacher's information
- http://www.fi.muni.cz/~libor/vyuka/PB006/
- Enrolment Statistics (Autumn 2010, recent)
- Permalink: https://is.muni.cz/course/fi/autumn2010/PB006