Course: Logic, Sets and Relations

« Back
Course title Logic, Sets and Relations
Course code USP/UP2LM
Organizational form of instruction Tutorial + Seminar
Level of course Bachelor
Year of study 1
Semester Summer
Number of ECTS credits 2
Language of instruction Czech
Status of course Compulsory
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Pavelková Marie, Mgr. Ph.D.
Course content
1. Propositions - truth value of propositions, negation of propositions. 2. Propositions - propositional forms and formulas, tautologies. 3. Contradiction, satisfiable propositional formula. 4. Operations with propositions, truth value tables. 5. Sets - element of a set, relations between sets. 6. Sets - representation of sets by Venn and other diagrams. 7. Operations with sets and their properties. 8. Relations on sets - properties of binary relations in a set. 9. Transitivity, connectedness and order relations. 10. Binary relation and its graph, complementary relation, inverse relation, composite relation. 11. Mapping - properties of mapping, inverse mapping, composite mapping, determination of mapping and equality. 12. Plane and spatial geometric shapes and their properties and characteristics. 13. Distinguishing plane shapes from spatial ones, network of bodies. 14. Orientation in a plane using concepts, orientation in space in relation to objects in space, orientation of various objects in space.

Learning activities and teaching methods
Monologic (Exposition, lecture, briefing), Dialogic (Discussion, conversation, brainstorming), Practice exercises, Individual work of students, Students working in pairs
  • Preparation for course credit - 8 hours per semester
  • Term paper - 10 hours per semester
  • Participation in classes - 42 hours per semester
prerequisite
Knowledge
describe the importance of propositional logic for preschool education
describe the importance of propositional logic for preschool education
analyze relationships between sets based on symbolic notations
analyze relationships between sets based on symbolic notations
characterize Cartesian products in set notation
characterize Cartesian products in set notation
explain the importance of equivalent sets for preschool education
explain the importance of equivalent sets for preschool education
list and evaluate individual types of depictions in relation to tasks for preschool children
list and evaluate individual types of depictions in relation to tasks for preschool children
Skills
justify connections in compound sentences
justify connections in compound sentences
connect knowledge from propositional logic when creating learning tasks for preschool children
connect knowledge from propositional logic when creating learning tasks for preschool children
formulate findings from Cartesian and knot graphs
formulate findings from Cartesian and knot graphs
learning outcomes
Knowledge
position of propositional logic in preschool education
position of propositional logic in preschool education
truth values of statements in conjunction, disjunction, implication and equivalence
truth values of statements in conjunction, disjunction, implication and equivalence
determination of a set by enumeration of elements and a characteristic property
determination of a set by enumeration of elements and a characteristic property
operations with sets - intersection, union, difference and complement of sets
operations with sets - intersection, union, difference and complement of sets
binary relations in a set, determination of relations based on the Cartesian product
binary relations in a set, determination of relations based on the Cartesian product
Skills
determine the truth value of a statement
determine the truth value of a statement
identify quantified statements
identify quantified statements
determine the intersection, union, difference, and complement of a set
determine the intersection, union, difference, and complement of a set
create learning tasks with statements and sets
create learning tasks with statements and sets
identify binary relations in a set based on node graphs
identify binary relations in a set based on node graphs
teaching methods
Knowledge
Monologic (Exposition, lecture, briefing)
Monologic (Exposition, lecture, briefing)
Individual work of students
Individual work of students
Dialogic (Discussion, conversation, brainstorming)
Students working in pairs
Practice exercises
Practice exercises
Dialogic (Discussion, conversation, brainstorming)
Students working in pairs
assessment methods
Written examination
Grade (Using a grade system)
Analysis of seminar paper
Analysis of seminar paper
Analysis of educational material
Analysis of educational material
Grade (Using a grade system)
Written examination
Analysis of another type of paper written by the student (Casuistry, diary, plan ...)
Analysis of another type of paper written by the student (Casuistry, diary, plan ...)
Recommended literature
  • GEROVÁ, Ľ. Propedeutika matematiky a počiatočné matematické predstavy. Banská Bystrica, 2007.
  • HEJNÝ, M., KUŘINA, F. Dítě, škola a matematika. Praha, 2001.
  • Kaslová, M. Předmatematické činnosti v předškolním vzdělávání. Praha: Raabe, 2010.
  • Krajcarová, J., & Pavelková, M. Umělecké vzdělávání u dětí s matematickým nadáním. Kreatívne vzdelávanie. In CREA-AE 2014. Zohor: Virvar, 2014.
  • Panáčová, J. & Beránek, J. Základy elementární matematiky s didaktikou pro učitelství 1. stupně ZŠ.. Masarykova univerzita, 2020.
  • PARTOVÁ, E. Relácie a ich aplikácie v predškolskej matematike. Bratislava, 2004.
  • Staudková, H., Tůmová, V., & Landová, V.. Matematika. Numerace, sčítání a odčítání do 6.. Všeň: Alter, 2019.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester