| Course title | Selected Chapters in Logic |
|---|---|
| Course code | KMT/VYKLQ |
| Organizational form of instruction | Seminar + On-line Activities |
| Level of course | Bachelor |
| Year of study | 3 |
| Semester | Summer |
| Number of ECTS credits | 2 |
| Language of instruction | Czech |
| Status of course | Optional |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Lecturer(s) |
|---|
|
| Course content |
|
The course builds predicate calculus (quantifiers, formula, tautology), and the notion of mathematical theory (language, axioms, theorems, definitions, proofs of mathematical theorems
|
| Learning activities and teaching methods |
| Monologic Lecture(Interpretation, Training) |
| Learning outcomes |
|
This follows the propositional calculus and builds the predicate calculus (quantifiers, formulas, tautology) and the concept of mathematical theory (language, axioms, theorems, definitions, proofs of theorems).
|
| Prerequisites |
|
unspecified
|
| Assessment methods and criteria |
|
Seminar Work
To understand mathematical theories as such, to be able to use theoretical knowledge of proofs. |
| Recommended literature |
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester | |
|---|---|---|---|---|
| Faculty: Faculty of Education | Study plan (Version): Mathematics focused on education (BB18) | Category: Pedagogy, teacher training and social care | 3 | Recommended year of study:3, Recommended semester: Summer |
| Faculty: Faculty of Education | Study plan (Version): Mathematics focused on education (BB16) | Category: Pedagogy, teacher training and social care | 3 | Recommended year of study:3, Recommended semester: Summer |
| Faculty: Faculty of Education | Study plan (Version): Mathematics focused on education (BB18) | Category: Pedagogy, teacher training and social care | 3 | Recommended year of study:3, Recommended semester: Summer |