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 8) where exercises are presented and you can exercise yourself. On some Fridays (February 22 and March 15 and 29) 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.

For students who did not pass for the exam on April 11: there will be a meeting on Friday, June 21, 12:45-14:00 in Metaforum 14.In this meeting the examination of April 11 will be discussed, and you may ask any questions on the material, in order to be well prepared for the resit exam on June 27.

There will be 4 groups.
Group 1: Joris Geurts
Group 2: Theo Cats
Group 3: Karina Mankevic
Group 4: Rowin Versteeg
On Wednesday, 13:30-15:15, these groups will all have a separate room:
Group 1: AUD 14
Group 2: AUD 15
Group 3: Atlas 6.208
Group 4: AUD 13
On Friday, 8:45-10:30, these groups will be joined:
Group 1+3: AUD 9
Group 2+4: AUD 11
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 6 lecture Chapters 1 to 7, Modules 1.1-1.6
Friday, February 8 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 13 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 13 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 15 tutor meeting 8.1, 8.2(a-d), 8.3(a-c) 8.5, 8.7(d)
Wednesday, February 20 tutor meeting 9.1, 9.2, 9.6(a), 11.1, 11.3(a,c), 12.3, 12.4(a-c)
Wednesday, February 20 lecture Chapters 13,14, Sections 15.1,15.2, Modules 3.4 - 3.11
Friday, February 22 interim test Chapters 1-12 = modules 1.1-1.6, 2.1-2.6, 3.1-3.3
Wednesday, February 27 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, February 27 lecture Chapters 15,16, Modules 3.12 - 3.15, 4.1 - 4.4
Friday, March 1 tutor meeting 15.5, 15.6, 15.7, 15.8, 16.1, 16.2, 16.4(b,c), 16.6
Wednesday, March 13 tutor meeting 16.3,16.5,16.7,16.8,16.9
Wednesday, March 13 lecture Chapters 16,17, Modules 4.5 - 4.8, 5.1 - 5.3
Friday, March 15 interim test Chapters 1-16 until page 224 = all modules until 4.4
Wednesday, March 20 tutor meeting 16.10, 16.11, 16.12(a,b),17.2, 17.3, 17.4, 17.5, 17.9(a,b)
Wednesday, March 20 lecture Chapter 18, excluding Section 18.6, Modules 5.4 - 5.12
Wednesday, March 27 tutor meeting 18.1, 18.2, 18.3(a,b), 18.4(a), 18.5, 18.8(a)
Wednesday, March 27 lecture Chapter 19 until page 300, Modules 6.1 - 6.4
Friday, March 29 interim test Chapters 1-18 until page 276 = all modules until 5.12
Wednesday, April 3 tutor meeting 19.3,19.4,19.6,19.7,19.9,19.10
Wednesday, April 3 lecture Overview course
Friday, April 5 tutor meeting examinations (Files -> exams) 20180201 except 6,7, 20180412 except 6b and 7, 20180705 except 2e
Thursday, April 11 Examination Chapters 1-18 until page 276, Chapter 19 until page 296 = all modules




Last change: June 25, 2019