Course detail
Discreet Mathematics
FP-DMAcad. year: 2020/2021
Basic theoretical tools of applied informatics - mathematical logic, relations, graph theory and theory of formal languages and automata.
Language of instruction
Czech
Number of ECTS credits
5
Mode of study
Not applicable.
Guarantor
Department
Learning outcomes of the course unit
Acquired knowledge will be utilized in solving problems associated with the use of informatics in managerial decision making.
Prerequisites
Secondary school mathematics and informatics.
Co-requisites
Not applicable.
Planned learning activities and teaching methods
The lessons consist of one-hour lecture and two-hour practical seminar. The lecture combines theory with illustrative examples. The practical exercise is concerned on handling numerical tasks.
Assesment methods and criteria linked to learning outcomes
Conditions for awarding course-unit credits:
- 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).
- 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
Mathematical logic - constants, variables, statenaents, logical operations,laws of mathematical logic, Boolean algebras and functions, representation of Boolean functions, applications in logical circuit design.
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.
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
Not applicable.
Aims
The goal of the course is to make students familiar with basic concepts and relations of mathematical logic, relations, graph theory and principles of theory of graphs and automats, with possibilities of their applications in the field.
Specification of controlled education, way of implementation and compensation for absences
Attendance at lectures is not checked. Attendance at exercises (seminars) is compulsory and is regularly checked. A student is obliged to give reasons for his/her absence. If the teacher accepts the reason for the absence (which is completely under his/her competence), he/she will decide about the form of compensation for the missed lessons.
Recommended optional programme components
Not applicable.
Prerequisites and corequisites
Not applicable.
Basic literature
1) Mezník, I: Diskrétní matematika. FP VUT v Brně v Akademickém nakladatelství CERM, s.r.o. Brno, Brno 2004. ISBN 80-214-2754-X. (CS)
Recommended reading
Šlapal, J.: Metody diskrétní matematiky. FSI VUT v Brně, Brno 2001 (CS)
Wiitala, S. A: Discrete Mathematics. McGraw-Hill, New York 1987 (EN)
Wiitala, S. A: Discrete Mathematics. McGraw-Hill, New York 1987 (EN)
Type of course unit
Lecture
26 hod., optionally
Teacher / Lecturer
Syllabus
Topics of lectures:
- mathematical logic,
- graphs,
- languages and automats.
Topics of exercises:
- practising of topics discussed in lectures,
- working out of individual assignments.
- mathematical logic,
- graphs,
- languages and automats.
Topics of exercises:
- practising of topics discussed in lectures,
- working out of individual assignments.
Exercise
13 hod., compulsory
Teacher / Lecturer
Syllabus
Topics of lectures:
- mathematical logic,
- graphs,
- languages and automats.
Topics of exercises:
- practising of topics discussed in lectures,
- working out of individual assignments.
- mathematical logic,
- graphs,
- languages and automats.
Topics of exercises:
- practising of topics discussed in lectures,
- working out of individual assignments.