Lecturer(s)
|
-
Kalová Jana, doc. RNDr. Ing. Ph.D.
|
Course content
|
Content of lectures: Propositional calculus, language of the logic, formulas, evaluation of formulas. Predicate logic, language and its semantics. Boolean algebra, properties of the Boolean conjunctions and their interpretation. Fundamental notions of set theory, correspondence between sets, Cartesian product, relations and their properties, mappings, ordered sets, equivalence and subdivision. Content of practicals: Practicing theoretical concepts on specific examples
|
Learning activities and teaching methods
|
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Projection
- Class attendance
- 26 hours per semester
- Preparation for classes
- 40 hours per semester
- Preparation for exam
- 20 hours per semester
|
Learning outcomes
|
To show to students the basic methods of mathematical logic. Students will have a general awarness of methods of mathematical logic. They will use the knowledge mainly during studying mathematics and informatics
Studenti získají přehled o metodách matematické logiky. Znalosti využijí zejména při studiu matematiky a informatiky.
|
Prerequisites
|
Elementary knowledge of high school mathematics.
|
Assessment methods and criteria
|
Oral examination, Written examination, Student performance assessment, Test, Interim evaluation
Managing the curriculum on the required level is checked by two tests in the course of the stay and one final exam test.
|
Recommended literature
|
-
Kolář, J., Štěpánková, O., Chytil, M. : Logika, algebry a grafy, STNL, Praha, 1989..
-
Štěpánek , P. : Matematická logika, SPN Praha 1982..
-
Švejdar, V. : Logika - neúplnost, složitost a nutnost, Academia, Praha 2002..
-
Demlová, M., Pondělíček, B. Matematická logika. ČVUT, Praha, 1997.
-
Strach, J. Logika. Brno, 2009. ISBN 978-80-210-5025-9.
|