The University of Birmingham
School of Computer Science

Logic and Theory Seminar

10 credits, Semester 1
Banner Code: 06-02642

Level: 3
Status: Closed
Staff: Dr. Mark Ryan, and others.
Objectives
To study in detail one particular topic in Logic, Theoretical Computer Science, or Artificial Intelligence. For students to present part of the material to a restricted audience. To learn to engage in a scientific discussion.
Module Description
Each week, one [or a group of] students will present a topic, from a list provided by the staff members, or a topic of their own choosing (subject to approval) within the area selected for the seminar that term. For each topic there will be two or three references to consult during the preparation, and the student(s) will meet with a member of staff to discuss and plan the form of the presentation.

The student (or group of students) giving the presentation should to split their topic into three subtopics, and for each subtopic to prepare some exercises or questions for the audience. Each subtopic presentation should last 15-20 minutes, and be followed by 15-20 minutes in which the audience does the exercises.
Delivery
10 seminars of 1.5 or 2 hours, given by students. Prior meetings between student[s] and members of staff.
Assessment
50% continuous, on the basis of preparation and presentation of seminar, notes, hand-outs or slides, and contribution to other seminars; 50% examination.
Faculty: Science
Prerequisites: Models of Computation (year 2)
Co-Requisites: None
Max/Min Course Numbers: unspecified
Key Texts Topics change from year to year, and suitable items will be recommended.

Syllabus

Computer Science Home Page (http://www.cs.bham.ac.uk/)

+++++++++++++++++++++++++

Page maintained by M.D.Ryan@cs.bham.ac.uk

Last updated 7th January 2000