CIA 2326 - FORMAL ASPECTS OF COMPUTER SCIENCE -
ON-LINE MODULE HANDBOOK Module Leader: Lee McCluskey email: 'lee' followed by '@hud.ac.uk'
Module Specification : This contains information on the module's assessment, learning outcomes, content, reading lists etc.
This file contains lots of useful web resources
separation criteria in structured English
Practical:
Introduction to Prolog
This links to the directory with your Prolog
practical notes.
Open the file "notes.tex" and follow
the instructions
For fun - here is a Prolog SuDoku solver I found on the Web Save it and try running it.
The instructions for getting
Sicstus Prolog for Windows 98/XP are here.
NB THE SICTUS PROLOG MANUAL ISHERE
Prolog practical work / exercises
Prolog practical work / exercises
Prolog practical work / exercises
exercises for Unit 5
Here are more exercises with answers to keep you busy!
More notes on Logic
The Student Version of the Conflict Prediction System
Tutorial questions on Regular Expressions - see handout
More logic exercises
Please continue to read through these notes in preparation for
your coursework and next week's material
UNIT 6
Clausal Form and Unification
UNIT 7
Resolution and the Refutation Method
UNIT 9
The Resolution Refutation Procedure
UNIT 10
An Automatic Theorem Prover
UNIT 11
Applications of Logic - An Air Traffic Control Specification
UNIT 12
Revision / Term 1 Recap
UNIT 13
Introduction / Lexical Analysis / Regular Expressions / Lexical Analyser Generators
Some answers to tutorial questions
Unsupervised work throughout the week:
read through
the online chapter 1 of Appel's book
on Compilers.
Thursday March 11th: No lecture. This week you need to catch up by completing any of the exercises from previous weeks. I will attend the 10.15 and 1.15 practicals in case there are any "catch - up" questions.
Background Notes and Exercises
Exercises on Algebraic Specification
Exercises on the Algebraic Specification of a Symbol Table
Selected answers to the Algebraic Specification of a Symbol Table Exs