Logic and Set Theory

The information below is relevant for all students registered for the regular version of this course (code: 2IT60). Students who take Logic and Set Theory as a homologation module that is part of their master's program (CSE or ES), should refer to the information pertaining to the homologation variant of this course (see [Homologation]).

Course Design

The course 2IT60 Logic and Set Theory is a course of 5 ECTS. This means that we expect you to spend 140 hours of study on this course. We strongly advise you to spread these hours evenly over the 8 weeks of the quartile, that is, you should spend some 16 hours per week on the course. There are 7 scheduled contact hours per week (lectures: 4 hours, tutorials: 1 hour; tests and instructions: 2 hours). Most students need to spend another 8 or 9 hours per week on selfstudy (mostly spent on trying to solve exercises!). To stimulate active participation in the course, and an even distribution of the studyload for the course, there are weekly tests on Wednesdays (starting in week 2), in the first hour of the test & tutorial session. Since your results for the tests count for a significant portion of your final grade, participation to the tests is, effectively, mandatory.

Lectures

The purpose of the lectures is to present, explain and motivate the course material. On the [Schedule] you will find the course material that will be discussed in the lectures. It is good practice to prepare for the lectures by reading course material in advance. Although the lecturer will do most of the talking during a lecture, interaction is very much appreciated. If you have a question, please raise your hand and ask. Your questions will greatly improve the lecture!

There are generally two lectures a week, but the schedule in the first week of the course is slightly different from the schedule in the other weeks of the course.

The schedule in the first week of the course is as follows:

When: Where:
Wed (6-Sep-2017) 5+6+7+8 AUD 3 + AUD 6
Fri (8-Sep-2015) 3+4 AUD 3 + AUD 6

The schedule from the second week onwards is as follows:

When:Where:
Wed 7+8 AUD 3 + AUD 6
Fri 3+4 AUD 3 + AUD 6

The lecturer is Bas Luttik.

In previous years, the lectures have been recorded on video. You can find them at videocollege.tue.nl under TUe lectures/(2) Computer Science/2IT60 . The technical quality of the recordings is, however, not great. Also the contents of the lectures tend to vary a bit every year. Therefore, we strongly recommend against skipping lectures and relying on the recordings. The recordings are suitable to watch explanations for a second time if you did not understand them during the lectures.

Tutorials, Tests and Instructions

It is of essential importance for a good understanding of the course material that you extensively practice with it by doing exercises. To support you in this activity, there will be tutorials and test & instruction sessions.

The tutorials take place on Fridays. Students are divided up into small groups of 10-15 and each group will meet its tutor for one lecture hour (at lecture hours 1, 2, 5, or 6). This is your chance to ask detailed questions about exercises, get hints and further explanations, etc. Also at the tutorials the weekly tests (see below) will be returned, with some feedback written on it. You are supposed to come prepared to the tutorials by seriously trying all the exercises on the program for that week (see the [Schedule]). There will not be enough time to discuss all the exercises in the tutorial, so it is crucial that you come prepared and know what you need to ask to the tutor.

To find out when and where your tutorial takes place, and who is your tutor, see Canvas.

On Wednesdays 5+6 (starting in week 2) there is a combined test and instruction session. In the first hour of the session you will make a test. This test will consist of a selection of the exercises on the program for the lab session of the preceding week. The test will be corrected by a student assistant and returned at the following tutorial. Your results for the tests will contribute considerably to the final grade for the course (see [Assessment]). In the remaining time of the test and instruction session, an instructor will discuss solutions to the exercises in the test and answer any questions you may still have about the course material of the preceding week.

Groups: Instructor: Test & instruction (Wed 5+6): Tutorials (Fri 1, 2, 5, or 6):
1a-h Gerard Zwaan Flux 1.03 see Canvas
2a-f Theo Cats AUD 11 see Canvas
3a-f Pieter Cuijpers AUD 15 see Canvas
4a-f Mahmoud Talebi AUD 12 see Canvas
5a-f Jaap van der Woude AUD 16 see Canvas
6a-f Fei Yang AUD 14 see Canvas

Question hours

Feel free to drop by the office of the lecturer (MF 6.072) to ask questions related to the course, but note that he is not always there or available. On Mondays 18:15-20:00hrs (weeks 2-8 of the course), the lecturer will be present in AUD 6 to answer your questions. You need to come prepared with concrete questions. Questions may also be asked by e-mail; they will then be answered by a student assistant.

Selfstudy

You are expected to spend about 8 hours a week on selfstudy. Selfstudy will consist of

  • preparing for lectures by studying the treated course material in advance,
  • preparing for the test and tutorial sessions by making the scheduled exercises,
  • getting additional practice by doing exercises for which standard solutions are available (see [Course Material])
  • preparing for the final examination by reviewing the course material and practicing with old examinations (see [Course Material]).