Featured Programs
Experiential Learning Opportunities
Claim up to $500 in flight credits!
Get up to $500 in flight credits or grants toward study or internship programs abroad when you apply by March 15, 2025. See our Official Rules for full details.
Logic and Sets - Period 4
Computer Science Program
Amsterdam, Netherlands
Dates: 1/29/21 - 6/26/21
Logic and Sets - Period 4
OVERVIEW
CEA CAPA Partner Institution: Vrije Universiteit Amsterdam
Location: Amsterdam, Netherlands
Primary Subject Area: Mathematics
Instruction in: English
Course Code: X_401090
Transcript Source: Partner Institution
Course Details: Level 100
Recommended Semester Credits: 3
Contact Hours: 84
DESCRIPTION
The sets part of the course starts by introducing the concepts of sets, Venn diagrams, product sets and relations. The student then learns the main characteristics and properties of three particular types of relation: ordering relations, equivalence relations and functions. The sets part concludes with a study of the principle of mathematical induction.
The logic part focuses in the first place on propositional logic: truth tables, boolean operators, functional completeness, logical puzzles, SAT-solving, logic circuits and OBDDs. In addition the student will learn the meaning and use formulas of predicate logic, to express mathematical properties and sentences from natural language.
Vrije Universiteit Amsterdam (VU Amsterdam) awards credits based on the ECTS system. Contact hours listed under a course description may vary due to the combination of lecture-based and independent work required for each course therefore, CEA's recommended credits are based on the ECTS credits assigned by VU Amsterdam. 1 ECTS equals 28 contact hours assigned by VU Amsterdam.
The logic part focuses in the first place on propositional logic: truth tables, boolean operators, functional completeness, logical puzzles, SAT-solving, logic circuits and OBDDs. In addition the student will learn the meaning and use formulas of predicate logic, to express mathematical properties and sentences from natural language.
Vrije Universiteit Amsterdam (VU Amsterdam) awards credits based on the ECTS system. Contact hours listed under a course description may vary due to the combination of lecture-based and independent work required for each course therefore, CEA's recommended credits are based on the ECTS credits assigned by VU Amsterdam. 1 ECTS equals 28 contact hours assigned by VU Amsterdam.