Introduction to Theoretical Computer Science

Pairing Function & Projections

Since the question came up a few times: The pairing function and the corresponding projections π_i for exercise E5.4 can be found in the script in Lemma 8.3.

(Note that you may not, of course, use the subsequent exercise 8.4 from the script since that's exactly our task!)

LaTeX snippet for FOR and WHILE programs

As promised, we have uploaded a LaTeX snippet for FOR and WHILE programs. Of course, you do not have to use it and are free to use any other implementation / package (as long as it's readable ;) ).

Reminder: Room Change for Office Hour

This is just a quick reminder that tomorrow's (Thursday, 21st Nov) Office Hour will take place in a different room: E1.3, seminar room 014.

 

As announced in the lecture and the tutorials, room E1.3 015 will be closed next week (Nov 18th - 22nd). As a result, some tutorials and both office hours will take place in different locations.

Tutorial 6 (Jona Prinz)	E1.3, lecture hall 001
Tutorial 7 (Moritz Lohmann)	E2.5 (math lecture hall), lower floor, seminar room 4
Tutorial 8 (Adrian Scherhag)	E1.3, seminar room 107
Tutorial 9 (Jan Gindorf)	E1.3, seminar room 107
Office Hour on Wednesday 10:15	E1.3, seminar room 107
Office Hour on Thursday 14:15	E1.3, seminar room 014

 

Note that this is only valid next week. The following weeks, the rooms will be as usual.

As a quick follow-up to the current exercise sheet, we are planning to upload a small LaTeX template to help you write FOR and WHILE programs in the next few days.

A quick reminder to everyone that today (Friday, November 1st) is a holiday in Saarland. Therefore, there will be no lecture today. However, the deadline for the second sheet remains today at 8am. To accomodate the request of some students, the third exercise sheet was released a bit earlier this time (note that the first uploaded version contained outdated submission date). It is due on Friday, November 8th, at 8am.

We'll see you back next week at the tutorials on Tuesday and the lecture on Wednesday!

On Plagiarism

The first exercise sheet having been submitted, we would like to remind you of the policy regarding plagiarism. Naturally, you can and should work together in your submission group to solve the exercises (note that working together does not mean splitting the work!).

However, copying work from another group as well as from other sources counts as plagiarism, and will be handled as such. The consequences can reach from the sheet being graded with 0 points to loss of rights to examination.

Therefore, it is in your best interest to earnestly work on the sheets within your group. If you have troubles with a particular exercise, you can use the office hours to receive help.

Regarding the Readability of Submissions

Those of you who prefer handwritten solutions are reminded that we do not accept photographed submissions. At the last sheet, we have received many solutions with very bad quality. In the future, we reserve the right to reject these solutions, even if they are correct content-wise.

Please scan your solutions with a scanner. To that end, you may use the scanners at the university or the Student’s Council scanner.

This Friday is a Holiday!

Last but not least: This Friday is a holiday in Saarland. Therefore, there will be no lecture on Friday. However, the exercise submission deadline is still unchanged on Friday.

The first exercise sheet can be submitteed now. You may submit the sheet for your group on your Personal Status page in the CMS. Only one person from each group needs to upload. The submission can be made until Friday, 25th October at 8:00 am.

Note that the submission is split into the three exercises. Therefore, you must upload each exercise separately in the respective upload fields. If you already have a single PDF file, you may split it using free tools such as pdfarranger.

If you have any technical problems with the upload, notify your tutor on time.

The tutorials have been assigned. You can see which tutorial you were assigned to in your Personal Status page on the CMS. The first tutorial will be on the upcoming Tuesday.

Should this assigned tutorial slot for some reasons not work for you anymore, you can swap tutorials if you find a person in a different tutorial to swap with. In this case, write an email to the Assistant.

Reminder: Submission Groups

You have until the upcoming Wednesday (23rd October at 23:59) to register your submission groups in the CMS. In order to do that, you have to go to your Personal Status page on the CMS, where you will find buttons to join or create groups.

Groups can be up to 3 people and are independent of the assigned tutorial slots.

Still looking for a group?

Here are some places you can look for potential submission groups teammates:

• Tutorial on Tuesday
• Office Hour on Wednesday
• in the Forum

Reminder: Exercise Sheet

The deadline for the first exercise sheet is on the upcoming Friday at 8am. The submission will open on Thursday, 24th October, at which point you will be able to upload your solutions on your Personal Status page.