Information on the course

Logic and Set Theory (2ITS60)


This is the information about the 5ects course Logic and Set Theory 2ITS60, for the bachelor Psychology and Technology.

The lecturer is prof dr H. Zantema, Metaforum 6.078, tel 2749, h.zantema@tue.nl

Content:
Subjects:
Propositions, truth tables, equivalence, logical consequence, tautology, contradiction, contingency.
Predicates, quantifiers, variable binding.
Logical derivation, reasoning with propositions and predicates, conclusion, assumption, context, validity.
Set, subset, intersection and union, complement, difference, the empty set, powerset, cartesian product.
Relation, equivalence relation, class, partition. Mapping (function), image and source, injection, surjection, bijection, inverse function, composition of relations and functions.
Induction, inductive definition.

Format of the course:
There will be only one lecture a week (Wednesday 7+8) presenting the highlights of the course. The full course is available in professional video recordings by dr. Bas Luttik. These can be accessed via Modules at Canvas. Very important are the tutor meetings (Wednesday 5+6, and Friday 1+2, starting on Friday, February 7) where exercises are presented and you can exercise yourself. On some Fridays (February 21 and March 13 and 27) the tutor meeting is replaced by an interim test, see below. These interim tests will be on the same location as the tutor meeting, and will be 60 minutes: from 8:45 - 9:45. Right after the test the solutions will be presented, again at the same location.


There will be 3 tutor groups.
Group 1: Joris Geurts
Group 2: Theo Cats
Group 3: Peter Lambooij

On Wednesday, 13:30-15:15 (starting on Feb 12), tutor meetings will be in the following rooms:
Group 1: Luna 1.056
Group 2: Luna 1.240
Group 3: MF 7

On Friday, 8:45-10:30 (starting on Feb 7), tutor meetings will be in the following rooms:
Group 1: Flux 1.05
Group 2: Gemini-Zuid 3A.13
Group 3: MF 7

Registration for these groups is done via Canvas

Assessment:
There will be three interim tests and a final exam. The average of the best two grades for the three interim tests will be combined with the grade for the final exam to determine the final grade for the course, either in a 30%-70% or a 50%-50% ratio (whichever yields the best result for the student), with the extra proviso that the grade for the final exam must be at least 5.0 in order to pass the course.

Examination of April 11, 2019

Literature: The leading course text is the following book:
Rob Nederpelt, Fairouz Kamareddine: Logical Reasoning: A First Course
Texts in Computing, Vol. 3 King's College Publications, London Second revised edition, 2011.

Lectures, tutor meetings and interim tests:


date format material
Wednesday, February 5 lecture Chapters 1 to 7, Modules 1.1-1.6
Friday, February 7 tutor meeting 2.1, 2.2, 2.3, 2.4(a,b), 2.6 (only for 2.4(a,b)), 2.8 (only for 2.4(a,b)) 3.1, 3.2
Wednesday, February 12 tutor meeting 4.1, 4.2, 4.3, 4.4(b,c), 4.5(a,b) 5.1(c,d), 5.2 7.1, 7.2(c,d)
Wednesday, February 12 lecture Chapters 8-12 (skipping 9.7, 9.8, 9.9, 11.1, 11.2), Modules 2.1-2.6, 3.1-3.3
Friday, February 14 tutor meeting 8.1, 8.2(a-d), 8.3(a-c) 8.5, 8.7(d)
Wednesday, February 19 tutor meeting 9.1, 9.2, 9.6(a), 11.1, 11.3(a,c), 12.3, 12.4(a-c)
Wednesday, February 19 lecture Chapters 13,14, Sections 15.1,15.2, Modules 3.4 - 3.11
Friday, February 21 interim test Chapters 1-12 = modules 1.1-1.6, 2.1-2.6, 3.1-3.3
Wednesday, March 4 tutor meeting 13.1(a), 13.2(a) 14.1, 14.2(b), 14.3(a), 14.5(b),14.6(a), 14.7, 14.8(a,b), 15.2, 15.3, 15.4
Wednesday, March 4 lecture Chapters 15,16, Modules 3.12 - 3.15, 4.1 - 4.4
Friday, March 6 tutor meeting 15.5, 15.6, 15.7, 15.8, 16.1, 16.2, 16.4(b,c), 16.6
Wednesday, March 11 tutor meeting 16.3,16.5,16.7,16.8,16.9
Wednesday, March 11 lecture Chapters 16,17, Modules 4.5 - 4.8, 5.1 - 5.3
Friday, March 13 interim test Chapters 1-16 until page 224 = all modules until 4.4
Wednesday, March 18 tutor meeting 16.10, 16.11, 16.12(a,b),17.2, 17.3, 17.4, 17.5, 17.9(a,b)
Wednesday, March 18 lecture Chapter 18, excluding Section 18.6, Modules 5.4 - 5.12
Friday, March 20 tutor meeting 18.1, 18.2, 18.3(a,b), 18.4(a), 18.5, 18.8(a)
Wednesday, March 25 tutor meeting 18.1, 18.2, 18.3(a,b), 18.4(a), 18.5, 18.8(a)
Wednesday, March 25 lecture Chapter 19 until page 300, Modules 6.1 - 6.4
Friday, March 27 interim test Chapters 1-18 until page 276 = all modules until 5.12
Wednesday, April 1 tutor meeting 19.3,19.4,19.6,19.7,19.9,19.10
Wednesday, April 1 lecture Overview course
Friday, April 3 tutor meeting examinations (Files -> exams) 20180201 except 6,7, 20180412 except 6b and 7, 20180705 except 2e
Thursday, April 9 Examination Chapters 1-18 until page 276, Chapter 19 until page 296 = all modules




Last change: January 15, 2020