Maths Resources Term 2, 2021 Announcements Course Outline Course Schedule Ed Forum Glossary Maths Resources Moodle - Lecture Recordings Assignment 0 Spec TeX Guide Web Submission Assignment 1 Spec TeX Guide Web Submission Assignment 2 Spec Web Submission Java Resources Monitors Video Multithreading Video Semaphores Video Volatile Video Web Tutorials Week 1 Homework Thursday Slides Condensed Thursday Slides Wednesday Slides Condensed Wednesday Slides Week 2 Homework Thursday Code Thursday Notes Thursday Slides Condensed Thursday Slides Wednesday Code Week 3 Homework Promela Code Thursday Code Thursday Slides Condensed Thursday Slides Wednesday Slides Condensed Wednesday Slides Week 4 Homework Thursday Code Thursday Slides Condensed Thursday Slides Wednesday Code and Notes Wednesday Slides Condensed Wednesday Slides Week 5 Homework Thursday Slides Condensed Thursday Slides Wednesday Code and Notes Wednesday Slides Condensed Wednesday Slides Week 7 Homework Thursday Notes Thursday Slides Condensed Thursday Slides Wednesday Notes Wednesday Slides Condensed Wednesday Slides Week 8 Homework Thursday Slides Condensed Thursday Slides Wednesday Code Wednesday Slides Condensed Wednesday Slides Week 9 Homework Thursday Notes Thursday Slides Wednesday Notes Wednesday Slides Condensed Wednesday Slides Week 10 Old Exams Thursday Slides Wednesday Notes Wednesday Slides Old Exam Papers final05s2 final06s2 final07s2 final08s2 final09s2 final10s2 final11s2 final13s2 final14s2 final17s2 Maths Resources If you find yourself struggling with the mathematical component of this course, here are some steps to follow to get caught up: Examine the content of the videos 10 through 25–with particular emphasis on the videos 17 through 22–of the YouTube video playlist Discrete Mathematics 1 by TheTrevTutor. These videos explain some of the required prior knowledge and are suitable for novices to mathematical logic. Depending on your prior knowledge, you might need to watch all these videos or only some of them in order to revise or learn the basics of propositional/statement and predicate/first-order logic. In particular, ensure that you understand and can independently apply in logical proofs: the logic laws, the conditionals and the rules of inference. You need to be able to independently solve all example exercises given in these videos. Scan through Chapter 3 of the free online textbook Mathematics for Computer Science by E. Lehman, F.T. Leighton and A.R. Meyer. Depending on your level of knowledge (prior knowledge and knowledge from watching the videos mentioned above), you might need to read the whole Chapter 3 or only some of its sections to further strengthen your understanding of mathematical logic. To check your level of understanding of propositional/statement and predicate/first-order logic, independently write answers to the following exercises from Chapter 3 of Mathematics for Computer Science: Problem 3.8 (pages 74, 76), but additionally prove this claim using the logic laws (in 1.b use an argument by cases, in the new 1.c use the logic laws) Problem 3.15 (page 80) Problem 3.46 (pages 99-100) If you have difficulties with some of these questions, ask for help. 2021-08-05 tor 15:45 Announcements RSS