Logic for Computer Science 01 – Intro Wouter Swierstra University of Utrecht 1
Today • Organisation • What is logic? • Why logic? 2
Organisation 3
Logic for computer science Lecturer: Wouter Swierstra, normally in BBG-572. Now at home most of the time. Live practical sessions: In person practical sessions are split over six groups. These are not mandatory – but I hope you fjnd them useful. I’m aware of the scheduling confmict with the Introproject. We’re working on resolving this. I’ll send out an email allocating you to your group this week. Online practical sessions: Immediately after each lecture. Split over several channels. Additional support: through MS teams chat. Mini-tests: weekly mini-tests to help you keep up. 4
Check the website and monitor the General Teams channel regularly! Note: there is no Blackboard page. I’ll add updates regularly: • Latest news • Slides from the lectures • Updates to the schedule • Exercises for the practicals • New literature and links Website Al the practical information about the course can be found on the website: http://www.cs.uu.nl/docs/vakken/b1li/ 5
I’ll add updates regularly: • Latest news • Slides from the lectures • Updates to the schedule • Exercises for the practicals • New literature and links Website Al the practical information about the course can be found on the website: http://www.cs.uu.nl/docs/vakken/b1li/ Check the website and monitor the General Teams channel regularly! Note: there is no Blackboard page. 5
Website Al the practical information about the course can be found on the website: http://www.cs.uu.nl/docs/vakken/b1li/ Check the website and monitor the General Teams channel regularly! Note: there is no Blackboard page. I’ll add updates regularly: • Latest news • Slides from the lectures • Updates to the schedule • Exercises for the practicals • New literature and links 5
Maar ik spreek natuurlijk wel gewoon Nederlands – je mag mij altijd in het Nederlands mailen of vragen stellen in het Nederlands. Of vragen om iets in het Nederlands uit te leggen als je moeite hebt met Engels. English or-of Nederlands? I’ll be teaching the lectures in English. Why? • The book is in English – and I don’t want you to get confused! • Many of my colleagues teaching practicals don’t speak Dutch. • Some MSc students taking this course as a defjciency don’t speak Dutch. 6
English or-of Nederlands? I’ll be teaching the lectures in English. Why? • The book is in English – and I don’t want you to get confused! • Many of my colleagues teaching practicals don’t speak Dutch. • Some MSc students taking this course as a defjciency don’t speak Dutch. Maar ik spreek natuurlijk wel gewoon Nederlands – je mag mij altijd in het Nederlands mailen of vragen stellen in het Nederlands. Of vragen om iets in het Nederlands uit te leggen als je moeite hebt met Engels. 6
I get distracted easily; check my email; alt-tab to my socials. Then I pick up my phone and start going through TikTok, updating my insta… Before you know it, the presentation becomes background noise. Teaching online I don’t know about you – but I really struggle to focus on online presentations. 7
Then I pick up my phone and start going through TikTok, updating my insta… Before you know it, the presentation becomes background noise. Teaching online I don’t know about you – but I really struggle to focus on online presentations. I get distracted easily; check my email; alt-tab to my socials. 7
Before you know it, the presentation becomes background noise. Teaching online I don’t know about you – but I really struggle to focus on online presentations. I get distracted easily; check my email; alt-tab to my socials. Then I pick up my phone and start going through TikTok, updating my insta… 7
Teaching online I don’t know about you – but I really struggle to focus on online presentations. I get distracted easily; check my email; alt-tab to my socials. Then I pick up my phone and start going through TikTok, updating my insta… Before you know it, the presentation becomes background noise. 7
Teaching online Usually, I fjll in a lecture slot as 45 + 15 + 45. Online – I’m not convinced this static format works. I’ll try to give lots of short breaks between the lectures; Some breaks have a little exercise associated with them. Try to pay attention during the lecture (One drawback of this setup is that rewatching the lecture is a lot less fun.) 8
Book Modelling Computing Systems: Mathematics for Computer Science ; Moller and Struth De .pdf version is available for download via the library for free. But it may still be worth buying a paper copy, if you prefer. 9
Lecture notes In addition to the book, I have a short set of lecture notes available for download from the website. We will use these for the last few lectures. There is a github repository – please open an issue or submit a pull request if you have any suggestions for improvement! https://github.com/wouter-swierstra/logic-notes 10
Lectures (colleges) & practicals (werkcolleges) & mini-test • 2 lectures and 3 practical sessions per week • Tuesday 13:15 – 15:00 lecture • Tuesday 15:15 – 17:00 practical session online • Thursday 09:00 – 10:45 lecture • Thursday 11:00 – 12:45 practical session online • Monday 13:15 – 15:00 practical session on campus • Starting next week, each Wednesday there will be a mini-test to be completed online. 11
Mini-tests In order to pass the course, you must complete six (out of seven) mini-tests . You can choose when you take the test—but they will only be available between 09:00-17:00 on Wednesdays. The mini-tests are not marked and do not count towards your fjnal mark. They serve as a check – for you and me both – to measure your understanding of the material. After each question, you will receive feedback about your answer – this is a good way to test whether or not you understand the material. To get the most out of them, I recommend studying the relevant material practicing exercises before taking the test. 12
These mini-tests are there to help you keep up. If you fjnd yourself unable to answer the questions – you probably need to catch up. Once you are behind, the lectures stop making sense and it’s all to easy to get lost entirely. Why mini-tests? In the past, I had a weekly exam that counted for some small percentage of the fjnal mark. As it’s hard to have remote exams in a controlled setting, I don’t want the exams to count towards your mark. The mini-tests are quite short and shouldn’t take longer than 20 minutes to complete. 13
Why mini-tests? In the past, I had a weekly exam that counted for some small percentage of the fjnal mark. As it’s hard to have remote exams in a controlled setting, I don’t want the exams to count towards your mark. The mini-tests are quite short and shouldn’t take longer than 20 minutes to complete. These mini-tests are there to help you keep up. If you fjnd yourself unable to answer the questions – you probably need to catch up. Once you are behind, the lectures stop making sense and it’s all to easy to get lost entirely. 13
Final mark • Two exams – one mid-term (30%) and one fjnal exam (70%) • There will be a resit opportunity (herkansing) in – provided your fjnal mark is at least a 4.0. There is no opportunity to resit mini-exams. Missing one will not efgect your mark. 14
Exams The midterm exam and fjnal exam will be digital . The questions will be a mix of open and closed questions. I may choose to ask you to answer some questions on a separate piece of paper. 15
What can we do to help? • I can set up virtual study groups to do exercises together; • Or set up an opt-in Cofgeebot to meet new students. • Or Among Us Logic Lobby to meet your fellow students after class. • … Remote classes Due to the pandemic, we have to run this course remotely. This is less fun for everyone involved. It’s OK to worry; it’s OK to struggle with the material; it’s OK to lose motivation for this course. Reach out – we’re here to help. The studiebegeleider , your tutor group, the TAs teaching the practicals and myself – we’re all here to help you pass this course. 16
Remote classes Due to the pandemic, we have to run this course remotely. This is less fun for everyone involved. It’s OK to worry; it’s OK to struggle with the material; it’s OK to lose motivation for this course. Reach out – we’re here to help. The studiebegeleider , your tutor group, the TAs teaching the practicals and myself – we’re all here to help you pass this course. What can we do to help? • I can set up virtual study groups to do exercises together; • Or set up an opt-in Cofgeebot to meet new students. • Or Among Us Logic Lobby to meet your fellow students after class. • … 16
How do I pass this course? 17
Recommend
More recommend