Module 02642 (2001)
Syllabus page 2001/2002
06-02642
Logic & Theory Seminar
Level 3/H
Links | Outline | Aims | Outcomes | Prerequisites | Teaching | Assessment | Books | Detailed Syllabus
The Module Description is a strict subset of this Syllabus Page. (The University module description has not yet been checked against the School's.)
Relevant Links
Outline
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 areas of logic and theory. 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 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.
Aims
The aims of this module are to:
- offer a module where students can study a specific topic from Logic or Theoretical Computer Science to a point where current research issues can be understood
- provide an opportunity to develop topics which were touched upon in other modules
- lead to an appreciation of the methods of original research, and inculcate an interest in pursuing postgraduate education
- encourage a critical evaluation of original publications in the light of practical experience and subsequent developments
- improve students' communication and presentation skills
- improve students' abilities to set their own goals and pursue them according to their own timetable
Learning Outcomes
| On successful completion of this module, the student should be able to: | Assessed by: | |
| 1 | understand in detail one particular topic in Logic, Theoretical Computer Science, or Artificial Intelligence | Handouts produced by students, examination |
| 2 | present such material to an audience | The two lecturers attending the presentation |
| 3 | engage in a scientific discussion | The two lecturers attending the presentation |
Restrictions, Prerequisites and Corequisites
Restrictions:
None
Prerequisites:
06-05934 (Models of Computation)
Co-requisites:
None
Teaching
Teaching Methods:
10 x 1.5/2 hr seminars given by students, meetings between student(s) & members of staff
Contact Hours:
Assessment
- Supplementary (where allowed): As the sessional assessment
- 2 hr examination (50%), continuous assessment (50%).
Recommended Books
None
Detailed Syllabus
Not applicable
Last updated: 29 July 2001
Source file: /internal/modules/COMSCI/2001/xml/02642.xml
Links | Outline | Aims | Outcomes | Prerequisites | Teaching | Assessment | Books | Detailed Syllabus