Course detail
Discreet Mathematics
FP-DMAcad. year: 2016/2017
Basic theoretical tools of applied informatics - mathematical logic, relations, graph theory and theory of formal languages and automata.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
- active participation in seminars where the attendance is compulsory,
- completion of two partial written tests marked at least with grade "E",
The exam is written and takes 1 hour:
1. Verbally formulated statements and operations with them
2. Application of laws of propositional calculus.
3. Boolean function .
4. Relations .
5. Basic properties and classification of graphs.
6. Definitions of terms or formulation of properties in the graph theory.
7. Finding the language of grammar.
8. Finding the language of automat and its grammar .
Overall evaluation:
The written part is evaluated by the sum of each task points.
If the student does not reach at least 50 out of 100 points, the entire test is evaluated by "F" (failed).
Course curriculum
Relations - relations on a set, properties of relations, equivalence.
Graphs - types of graphs, basic notions of undirected graphs, directed graphs,weighted graphs, Dijkstra algorithm of shortest path.
Languages, grammars, automata- concept of a language and a grammar, Chomsky hierarchy, finite automaton, Kleene characterization.
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading
Wiitala, S. A: Discrete Mathematics. McGraw-Hill, New York 1987 (EN)
Classification of course in study plans
Type of course unit
Lecture
Teacher / Lecturer
Syllabus
- mathematical logic,
- graphs,
- languages and automats.
Topics of exercises:
- practising of topics discussed in lectures,
- working out of individual assignments.
Exercise
Teacher / Lecturer
Syllabus
- mathematical logic,
- graphs,
- languages and automats.
Topics of exercises:
- practising of topics discussed in lectures,
- working out of individual assignments.