1. School of Computing and Engineering, University of Huddersfield Formal Aspects of Computer Science - CIA 2326 Lee McCluskey, room 2/07 Email lee@hud.ac.uklee@hud.ac.uk http://scom.hud.ac.uk/scomtlm/ Web site (after noon today..) http://scom.hud.ac.uk/scomtlmhttp://scom.hud.ac.uk/scomtlm/cia2326/

2. School of Computing and Engineering, University of Huddersfield FACS - Overview Logic Formal Languages + Parsing Algebra -- show how they apply to computing -- will use a very high level language to illustrate – Prolog.

3. School of Computing and Engineering, University of Huddersfield FACS - Overview Formal Software Specification Langauges [TERM 2] e.g. Z, VDM, B Formal Systems = Formal Languages + Method of Reasoning e.g. Logic [TERM 1] Algebra [TERM 2] Formal Language = Set of symbols + Precise order [Term 2] PROLOG - Programming language to illustrate ideas [Term 1]

4. School of Computing and Engineering, University of Huddersfield FACS - Overview NB change from last year - New lecturer - Slightly adjusted syllabus – less formal specification, more language processing/parsing - No B-Tool, instead Prolog Therefore the exam/coursework will be significantly different from previous years.

5. School of Computing and Engineering, University of Huddersfield FACS - Assessment Referring to the Module Spec: First component of the assessment: one assignment (weighted 40%) assessing outcomes 19.1.1 and 19.2.1-19.2.3. This will involve a practical investigation into FOL or algebra, with the students having to program in the declarative language used for teaching. [probably Logic + Prolog] Second component of the assessment: a 2 hour examination (weighted 60%) assessing all outcomes. [ that is, exam will examine all the year’s material]

6. School of Computing and Engineering, University of Huddersfield Sketch of Course – 1 (see website) TERM 1 Prolog Logic Term 2 Formal Languages and Parsing Algebra and Formal Specification

7. School of Computing and Engineering, University of Huddersfield Resources All materials will be on website… http://scom.hud.ac.uk/scomtlmhttp://scom.hud.ac.uk/scomtlm/cia2326/ I will put a link from BB to there. The areas covered are very well covered in computer science, hence your main resources will be - tutorials, examples I distribute - a section in the website will be devoted to resources (mainly interesting sites I have found) - Additionally, there are tons of stuff on the web For the algebra, logic, Prolog parts, I have an online book + online chapters for you to read through

8. School of Computing and Engineering, University of Huddersfield Assessment First component of the assessment: one assignment (weighted 40%) assessing mainly ability outcomes. This will involve a practical investigation into logic, with some programming in Prolog. Second component of the assessment: a 2 hour examination (weighted 60%) assessing all outcomes.

9. School of Computing and Engineering, University of Huddersfield Content 1: Prolog Prolog (Programming in Logic) is a DECLARATIVE programming language. Most languages are “imperative” - that is formed mainly from commands (assignment, method call, iteration etc) Prolog is based on logic. It is composed of facts and rules. Eg. male(fred). parent(fred,emma). fatherof(X,Y) :- male(X),parent(X,Y).

10. School of Computing and Engineering, University of Huddersfield Content 2: Logic Logic is used to model computer systems, specifications, and knowledge. It have been used for 000's of years to simulate human reasoning. It is fundamental to past and future computing developments. For example, to understand the future “semantic” web fully, one needs to know about logic.

11. School of Computing and Engineering, University of Huddersfield Content 3: Formal Languages and Parsing Computing is full of formal languages (all programming languages, for a start) How to recognise a “sentence” in a language is to do with parsing. Grammars are used to generate languages.

12. School of Computing and Engineering, University of Huddersfield Content 4: Algebra and Formal Specification Algebra is fundamental to the understanding of operations on data, and the meaning of data itself. Data types themselves can be modelled as “algebras”. Formal specifications of computer systems are often “algebraic” in nature.

13. School of Computing and Engineering, University of Huddersfield Tutorial / Practical Session Introduction to Prolog in Labs