Formal Foundations

20

CM-0111L

2015/6

Semester 1

A

FHEQ Level 4

Linked 10+10

Computer Science

SCIM (Dept of Computer Science)

Dr R Holton

Dr A Csenki

None

None

To provide the foundations for formal specification and modelling of computer systems

Classes are given for individual help with the answers to the exercises and the lecture notes, revision, and feedback on the results of the coursework and the test

Study Hours: | ||||||

Lectures: | 24.00 | Directed Study: | 126.00 | |||

Seminars/Tutorials: | 48.00 | Other: | 0.00 | |||

Laboratory/Practical: | 0.00 | Formal Exams: | 2.00 | Total: 200.00 |

On successful completion of this module you will be able to...

understand the mathematical language of computer science and understand some of the fundamental

Concepts of computer theory.

On successful completion of this module you will be able to...

construct and validate many of the logical tools inherent in the construction and analysis of computer systems.

On successful completion of this module you will be able to...

explain in writing how logic is used as a tool for describing computer systems.

001. | Assessment Type | Duration | Percentage |

Classroom test | 0.35 | 10% | |

Description | |||

Discrete Mathematics | |||

002. | Assessment Type | Duration | Percentage |

Coursework | 15% | ||

Description | |||

Coursework/test; Computer Theory | |||

003. | Assessment Type | Duration | Percentage |

Examination - closed book | 2.00 | 75% | |

Description | |||

Discrete maths; Computer Theory; Queuing networks | |||

900. | Assessment Type | Duration | Percentage |

Examination - closed book | 2.00 | 100% | |

Description | |||

Supplementary examination |

(b) Introduction to Computer Theory: Basic concepts of formal language theory; alphabets, strings, languages, operations on strings and languages, recursive definitions, regular expressions, Finite automata, Deterministic and non-deterministic finite automata, Kleene`s theorem, Pushdown automata, Context-free grammars, Turing machines, Computability, Decidability.

(c) Introduction to Probability and Statistics: Averages, standard deviation, probability and conditional probability of events, probability distribution.

5