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,

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.

Changes due to Corona pandemy

Starting on March 16, there will be no lectures and tutor sessions any more. As the full material is on the video modules to be accessed from Canvas, for the lectures no further replacement will be organized; please follow the scheme indicated in the schedule below, and do the indicated exercises. For questions on the exercises you may contact the tutors; a special email address has been created for this goal. Moreover, online conferences replacing the tutor sessions are organized in Canvas, these are on the same time as the usual tutor sessions. Further announcements, in particular also on the third interim test and the examination, will be given via Canvas.

The material for the first interim test on February 21 is everything presented at the first two lectures, and all modules until (including) 3.3. In the book this corresponds to everything until (including) Chapter 12.

The material for the second interim test on March 13 is everything presented at the first four lectures (with the emphasis on lectures 3 and 4), and all modules until (including) 4.5. In the book this corresponds to everything until (including) Section 16.7.

The material for the third interim test on March 27 is everything until (including) Chapter 18, excluding Section 18.6. This corresponds to all modules until (including) 5.12. This third test is not done at the TU/e but you should upload your results in ANS; instructions to do so are given in Canvas.

Format of resit examination June 25, 2020

The examination of June 25 will be designed to be doable in 120 minutes and will be held online.
The format will be as follows:
No other material than pen / pencil and blank paper is allowed.
Join the MS teams meeting as will be announced in ANS.
When you are in this meeting, at 18:00 you can download the problems of the examination. Then you do the examination, while being visible in the MS teams meeting via your webcam. For any occasion of not being visible you should announce this and state why.
When you are finished, show your sheets to your webcam one by one. Then upload the sheets via your smartphone or scanner in ANS. In at least one upload you should include your student identification card, typically by putting it on a blank part of a sheet. Then you may leave the MS teams meeting.
No later than 21:00 all your jpg pictures should have been uploaded.

There are 3 tutor groups.
Group 1: Joris Geurts, and Wouter van Hoof
Group 2: Theo Cats, and Emmie Bessems
Group 3: Peter Lambooij, and Karina Mankevic

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, changed to AUD 14 starting on February 14
Group 3: MF 7

Registration for these groups is done via Canvas

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. Due to the Corona issues a third option has been added: the best (or only) interim test counts for 20 % and the final exam for 80 %

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.5
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.4, 4.6 - 4.8, 5.1 - 5.3
Friday, March 13 interim test Chapters 1-16 until page 224 = all modules until 4.5, excluding part of 4.4
Wednesday, March 18 tutor meeting REPLACED by online variant 16.10, 16.11, 16.12(a,b),17.2, 17.3, 17.4, 17.5, 17.9(a,b)
Wednesday, March 18 lecture REPLACED by watching video modules Chapter 18, excluding Section 18.6, Modules 5.4 - 5.12
Friday, March 20 tutor meeting REPLACED by online variant 18.1, 18.2, 18.3(a,b), 18.4(a), 18.5, 18.8(a)
Wednesday, March 25 tutor meeting REPLACED by online variant 18.1, 18.2, 18.3(a,b), 18.4(a), 18.5, 18.8(a)
Wednesday, March 25 lecture REPLACED by watching video modules Chapter 19 until page 301, Modules 6.1 - 6.8
Friday, March 27 interim test, see instructons on Canvas Chapters 1-18 until page 276 = all modules until 5.12
Wednesday, April 1 tutor meeting REPLACED by online variant 19.3,19.4,19.6,19.7,19.9,19.10
Wednesday, April 1 lecture REPLACED by watching video modules Overview course
Friday, April 3 tutor meeting REPLACED by online variant 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 301 = all modules

Last change: June 9, 2020