Course title | Introduction to mathematical logic |
---|---|
Course code | UMB/583 |
Organizational form of instruction | Lecture + Lesson |
Level of course | Bachelor |
Year of study | not specified |
Frequency of the course | In each academic year, in the winter semester. |
Semester | Winter |
Number of ECTS credits | 3 |
Language of instruction | Czech |
Status of course | Compulsory-optional |
Form of instruction | unspecified |
Work placements | unspecified |
Recommended optional programme components | None |
Lecturer(s) |
---|
|
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
|
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 |
|
Study plans that include the course |
Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester | |
---|---|---|---|---|
Faculty: Faculty of Science | Study plan (Version): Applied Informatics (1) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Winter |
Faculty: Faculty of Science | Study plan (Version): Mathematics for future teachers (1) | Category: Mathematics courses | 1 | Recommended year of study:1, Recommended semester: Winter |
Faculty: Faculty of Science | Study plan (Version): Mathematics for future teachers (1) | Category: Mathematics courses | 1 | Recommended year of study:1, Recommended semester: Winter |
Faculty: Faculty of Science | Study plan (Version): Applied Mathematics (2010) | Category: Mathematics courses | 1 | Recommended year of study:1, Recommended semester: Winter |
Faculty: Faculty of Science | Study plan (Version): Applied Informatics (1) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Winter |
Faculty: Faculty of Science | Study plan (Version): Applied Informatics (1) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Winter |
Faculty: Faculty of Science | Study plan (Version): Applied Informatics (1) | Category: Informatics courses | 1 | Recommended year of study:1, Recommended semester: Winter |