IMA12 The Mathematics 2

Faculty of Education
Spring 2025
Extent and Intensity
0/1/0. 2 credit(s). Type of Completion: z (credit).
In-person direct teaching
Teacher(s)
doc. RNDr. Jaroslav Beránek, CSc. (seminar tutor)
Mgr. Jitka Panáčová, Ph.D. (seminar tutor)
Guaranteed by
Mgr. Jitka Panáčová, Ph.D.
Department of Mathematics – Faculty of Education
Supplier department: Department of Mathematics – Faculty of Education
Course Enrolment Limitations
The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
Mathematical logic. Set theory - applications (Sets and their visualizations, operations with sets). Propositional forms and formulae, definitions of basic notions, deducible rules of propositional and predicate calculus, proofs of theorems. Binary relations, their visualizations and properties ordering, equivalence, mapping. Study and utilizing of the concepts in school mathematics.
Learning outcomes
At the end of the course students should be able to understand and explain the fundaments of Mathematical Branches, Fundaments of logic and set theory. > Propositions, propositional formulae. > Sets and their visualizations. > Operations with sets. > Propositional forms. > Definitions of basic notions. > Deducible rules of propositional and predicate calculus. > Proofs of theorems. > Binary relations, their visualizations and properties. > Equivalence relations, set partitions. > Ordered sets. > Composition of relations. > Study and utilizing of the concepts in school mathematics. Mappings between sets, equivalent sets, finite and infinite sets.
Syllabus
  • Solving of selected problems of propositional calculus, set theory especially verbal problems. Rules of derivation of propositional and predicate calculus - examples of correct and erroneous reasoning. Proofs of mathematical theorems, examples of basic principles of proofs of specific simple mathematical theorems. Study of specific binary relations with respect to school mathematics.
Teaching methods
Seminar. Solving of problems.
Assessment methods
Seminar Credit: Active participation in the seminar and homework
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught annually.
The course is taught: every week.
Information on the extent and intensity of the course: 8 konzultací KS.
The course is also listed under the following terms Spring 2024.
  • Enrolment Statistics (Spring 2025, recent)
  • Permalink: https://is.muni.cz/course/ped/spring2025/IMA12