Week1 - Introduction #

This week, I give an introduction to the course and some study tips. Then we discuss the words statement, formula and proof and learn about the basics of propositional logic.

Resources #

• Slides (to be published)
• Kahoot (to be published)

Useful Links #

• THE SCRIPT is your main rescource for the course
• D-INFK discord
• moodle course page
• diskmath.ch is a website maintained by multiple TAs. It contains explanations, tutorials, exercises and more for a lot of the topics from the lecture
• old course page contains a timeline of the lectures last year
• eduapp shows your timetable and contains a campus map
• eth videoportal lets you watch the recorded lectures afterwards
• VIS website contains the exam collection
• shivi.io maintained by another TA, contains lecture notes for the first year subjects
• algebra book “Abstract Algebra: Theory and Applications” is a nice, freely available book if you want to get another perspective on / dive deeper into algebra

Exercise Sheet Recommendations #

All exercises this week are important and you should have a look at them. Don’t forget to hand in 1.5 to receive bonus points! For 1.6 remember to only apply one rule each step and exactly that rule. Even if some steps might be obvious to you, being exact is very important in Diskmath and you should start developing good habits early on.