| Lecturer: | Michael Fourman | mfourman@inf.ed.ac.uk |
| Teaching Assistant: | Dave Cochran | dcochra2@inf.ed.ac.uk |
InfBase provides drop-in help.
| Mondays | 09:00-11:00 | FH 1.B19 |
| Thursdays | 14:00-15:00 | FH 1.B32 |
The Piazza page for Inf1-CL provides an online forum for Inf1-FP in which you can post questions and answers on anything related to the course. The course lecturer, teaching assistant, tutors and demonstrators will also read and answer questions.
Normally Thursdays 11:10-12:00 and Fridays 14:10-15:00.
I failed to record the lecture. The sound track here is an abbreviated delivery. I hope to replace this with a better version...
Recordings of most lectures from 2015 are available online.
We hope to record lectures this session — watch this space.
Please note that these recordings supplement lectures by allowing you to review the material presented and revise for the exam. They are not intended as a substitute for attending and participating in the lectures themselves.
For reasons beyond our control, some lectures have not been recorded, and you should not rely on the recording of future lectures. Moreover, the Lecture videos do not capture use of the blackboard.
2014 lecture videos are also available.
Matthew Hepburn's FSM Workbench, which will be used in our FSM and regex tutorial exercises.
The Single Watched Literal Explorer is designed to help you explore the single watched literal algorithm.
Sometimes we will swop slots with INF1-FP. These swops are shewn in bold.
| Week | Monday 14:10-15:00 LHC, DHT | Tuesday 11:10-12:00 LT5 AT | Thursday 11.10-12:00 LT5 AT | Friday 14:10-15:00 LT4 AT |
|---|---|---|---|---|
| 1 | INF1-FP | INF1-FP | INF1-CL | INF1-FP |
| 2 | INF1-FP | INF1-FP | INF1-CL | INF1-FP |
| 3 | INF1-FP | INF1-CL | INF1-CL | INF1-CL |
| 4 | INF1-FP | INF1-FP | INF1-CL | INF1-CL |
| 5 | INF1-CL | INF1-CL | INF1-CL | INF1-CL |
| 6 | INF1-FP | INF1-FP | INF1-CL | INF1-CL |
| 7 | INF1-FP | INF1-FP | INF1-CL | INF1-CL |
| 8 | INF1-FP | INF1-FP | INF1-CL | INF1-CL |
| 9 | INF1-FP | INF1-FP | INF1-CL | INF1-CL |
| 10 | INF1-FP | INF1-FP | INF1-CL | INF1-CL |
| 11 | INF1-FP | INF1-FP | INF1-CL | INF1-FP |
Tutorials: These start in week 3 and take place each week until the end of semester, including week 11. If you are ill or otherwise unable to attend one week then email your tutor, and if possible attend another tutorial group in the same week.
Link: Tutorial group times, places and membership.
If you wish to move to a different tutorial group, please ask the ITO through their online contact form and explain your constraints. Or visit them in Forrest Hill.
Students are expected to prepare for each tutorial, which includes completing the tutorial exercises and the reading.
You must attempt the work before the tutorial and bring with you a copy of the work you have done. Tutorials are mandatory, and the only way to learn is to do the work before the tutorial, not at the tutorial. Students who have not done the work in advance will be sent away.
The important points to take from this question are: --learn the definitions: 0:18 rules 1:06 entailments 3:37 valuations 4:30 validity and counterexamples.
A take-home exercise will be provided by Friday 18th of November (the link currently points to last year's version). The aim of this exercise is to give you practice at tackling exam-style questions.
You should do the takehome exercise and bring it to class on Thursday 24th November. The marking scheme will be explained, you will mark your answers, and you will have the opportunity to get feedback on any questions or misunderstandings you may have.
|
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Logging and Cookies Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |
