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.

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.