Course: Logic, Sets and Relations

» List of faculties » FHS » USP
Course title Logic, Sets and Relations
Course code USP/UK2LM
Organizational form of instruction Consultation + Tutorial + Seminar
Level of course Bachelor
Year of study not specified
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. Statements - truth value of statements, negation of statements. 2. Statements - propositional forms and formulas, tautologies. 3. Contradiction, satisfiable propositional formula. 4. Operations with statements, truth value tables. 5. Sets - set element, relations between sets. 6. Sets - representation of sets with Venn and other diagrams. 7. Operations with sets and their properties. 8. Relations on sets - properties of binary relations in a set. 9. Transitivity, connection and order relations. 10. Binary relation and its graph, complementary relation, inverse relation, composite relation. 11. Mapping - properties of mapping, inverse mapping, composite mapping, definition of mapping and equality. 12. Plane and spatial geometric figures and their properties and characteristics. 13. Distinguishing plane figures 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), Demonstration, Individual work of students
  • Preparation for course credit - 30 hours per semester
  • Term paper - 23 hours per semester
  • Participation in classes - 7 hours per semester
prerequisite
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
justify connections with compound statements
justify connections with compound statements
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
design a didactic activity for preschoolers using relationships in binary relations
design a didactic activity for preschoolers using relationships in binary relations
critically assess the importance of representation in creating ideas about quantity in preschool children
critically assess the importance of representation in creating ideas about quantity in preschool children
learning outcomes
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
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
Demonstration
Demonstration
Dialogic (Discussion, conversation, brainstorming)
Individual work of students
Individual work of students
Monologic (Exposition, lecture, briefing)
Monologic (Exposition, lecture, briefing)
Dialogic (Discussion, conversation, brainstorming)
assessment methods
Written examination
Analysis of the student's performance
Analysis of the student's performance
Analysis of educational material
Grade (Using a grade system)
Written examination
Grade (Using a grade system)
Analysis of educational material
Analysis of seminar paper
Analysis of seminar paper
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
  • Francová, M., Lvovská L. Texty k základům elementární geometrie. Brno: Masarykova univerzita., 2014.
  • 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, 2014.
  • Panáčová, J., Beránek, J.. Základy elementární matematiky s didaktikou pro učitelství 1. stupně ZŠ.. Brno: Masarykova univerzita, 2025.
  • 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