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

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

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).

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.

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)

Classification of course in study plans

  • Programme BAK-MIn Bachelor's

    branch BAK-MIn , 1 year of study, summer semester, compulsory

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.

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.