Course: Logic, Sets and Relations

» List of faculties » FHS » USP
Course title Logic, Sets and Relations
Course code USP/UP2LM
Organizational form of instruction 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
- Propositions - truth value of a proposition, a negation of proposition. - Propositions - propositional forms and formulas, a tautology. - Contradiction, satisfiable propositional formula. - Operations with propositions, truth tables. - Sets - an element of a set, relations between sets. - Sets - representation of sets by Venn and other diagrams. - Operations with sets and their properties. - Relations on sets - properties of binary relations in set. - Transitivity, connection between them and relational ordering. - Binary relation and its graph, supplementary relation, inverse relation, composite relation. - Projection - projection properties, inverse projection, composite projection, projection specification and equality. - Plane and spatial geometric shapes and their properties and characteristics. - Distinguishing planar formations from spatial, network of objects. - Orientation in plane using terms, 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
not specified
not specified
learning outcomes
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
Dialogic (Discussion, conversation, brainstorming)
Dialogic (Discussion, conversation, brainstorming)
Practice exercises
Practice exercises
Students working in pairs
Students working in pairs
Individual work of students
Individual work of students
Monologic (Exposition, lecture, briefing)
Monologic (Exposition, lecture, briefing)
assessment methods
Written examination
Analysis of educational material
Analysis of educational material
Analysis of seminar paper
Analysis of seminar paper
Grade (Using a grade system)
Grade (Using a grade system)
Written examination
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.
  • LIPKOVÁ, L., PETRÍK. Základy elementárnej aritmetiky. Prešov, 1996.
  • PALUMBÍNY, D. a kol. Základy elementárnej aritmetiky. PdF Nitra, 1989.
  • PARTOVÁ, E. Relácie a ich aplikácie v predškolskej matematike. Bratislava, 2004.


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