Formal Foundations (PG)

20

CM-1037D

2015/6

Semester 1

A

FHEQ Level 7

Standard module

Computer Science

SCIM (Dept of Computer Science)

Prof A Vourdas

Dr A Csenki, Dr D R W Holton

None

None

To equip students for more advanced studies in programming and show them the limitations of what programming can achieve.

The delivery of the module will consist of lectures and tutorials.

Study Hours: | ||||||

Lectures: | 36.00 | Directed Study: | 152.00 | |||

Seminars/Tutorials: | 12.00 | Other: | 0.00 | |||

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

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

Master the mathematical tools inherent in the construction and analysis of computing systems, and of the fundamental concepts of computer theory.

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

Appreciate and in your later academic life use the concept of recursion,

Appreciate the importance of strings and string processing in Computer Science,

Be aware of tools (such as egrep) using regular expressions,

Recognize computer programs as implementations of algorithms and appreciate their limitations

Apply mathematical techniques which are necessary for the design and evaluation of computer programs and computer systems.

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

Conduct a critical analysis in the area of computer systems, its basics and more advanced features.

001. | Assessment Type | Duration | Percentage |

Coursework | 1.00 | 15% | |

Description | |||

Coursework/Test:Computer Theory | |||

002. | Assessment Type | Duration | Percentage |

Examination - closed book | 2.00 | 85% | |

Description | |||

Discrete Maths; Computer Theory; Queing Networks | |||

900. | Assessment Type | Duration | Percentage |

Examination - closed book | 2.00 | 100% | |

Description | |||

Supplementary assessment |

Texts:

(Computer Theory only)

Daniel Cohen: Introduction to Computer Theory, Wiley, New York, 1999.

(About half of this book will be `covered`, albeit in a conversational, sometimes informal, style appropriate for the material & audience.)

5