Inf1: Computation and Logic 2015

if-then-else

Contents

  1. People
  2. Learning Materials
  3. Tutorials and Assignments
  4. Course description
  5. General Information & Other Resources

People

Lecturer:Michael Fourmanmfourman@inf.ed.ac.uk
Teaching Assistant:Dave Cochrandcochra2@inf.ed.ac.uk

InfBASE

InfBase provides drop-in help, in the person of our course tutor, Dave, for all first- and second-year courses in Informatics. It meets as follows:

Mondays15:00-16:00FH 1.B19
Tuesdays12:00-13:00FH 1.B10
Wednesdays12:00-13:00FH 1.B10
Thursdays17:00-18:00FH 1.B19
Fridays16:00-17:00FH 1.B19

Forum

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.

Learning Materials

Lectures

Normally Thursdays 11:10-12:00 and Fridays 14:10-15:00.

Videos

Recordings of most lectures are available online. 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.

Last year's lecture videos are also available.

Tools

The Single Watched Literal Explorer is designed to help you explore the single watched literal algorithm.

Exceptions

Sometimes we will swap slots with INF1-FP.

Week Monday 14:10-15:00 LT4 AT Tuesday 11:10-12:00 LT4 AT Thursday 11.10-12:00 LT5 AT Friday 14:10-15:00 LT5 AT
1 INF1-FP INF1-FP INF1-CL INF1-CL
2 INF1-FP INF1-CL INF1-FP INF1-FP
3 INF1-FP INF1-CL INF1-CL INF1-CL
4 INF1-CL INF1-CL INF1-FP INF1-FP
5 INF1-FP INF1-FP INF1-CL INF1-FP
6 INF1-FP INF1-FP INF1-CL INF1-CL
7 INF1-FP INF1-FP INF1-CL INF1-CL
8 INF1-FP INF1-CL INF1-FP INF1-CL
9 INF1-FP INF1-FP INF1-CL INF1-CL
10 INF1-FP INF1-CL INF1-CL INF1-CL
11 INF1-FP INF1-FP INF1-CL INF1-CL

Tutorials and Assignments

Tutorials, assignments, and readings are essential components of this course.

Tutorials

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.

Reading

Week 3: read pages 642-648 of Chapter 12 of the Aho and Ullman book.

Obligatory Exercise

A take-home exercise was provided on Thursday 26th of November. 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 in the final week of term. 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.

Context

This course supplies foundational knowledge for Informatics courses taken in subsequent years of study. It runs alongside the Informatics 1 Functional Programming course, which provides complementary experience in programming.

General Information & Other Resources

  1. Past papers for all Informatics courses and modules, organised by year. Search through each year to find available Inf1 Computation and Logic past papers.
  2. Wikipedia is a good source for many topics, such as,
  3. Click here for Matt Chapman's Finite State Machine animator.
    This is a Java Applet that allows you to draw FSMs in a window and experiment with them.
  4. There is no need for a text book for this course, but those who are interested in more reading can see the following books: Computation: "An introduction to formal languages and automata" by Peter Linz. Logic: "The essence of Logic", John Kelly, 1997. if you still want to read more on logic: "Logic for computer science", Steve Reeves, 1990.


Home : Teaching : Courses : Inf1 

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