Informatics 1 - Introduction to Computation

Description

An introduction to concepts of programming, using a functional programming language, and to concepts of computation and specification using finite-state systems and propositional logic. These provide examples of the logical ideas of syntax and semantics and the computational ideas of structure and behaviour. Students learn to specify, model and solve small-scale problems succinctly and at an abstract level. Assessment Information: Written Exam 0%, Coursework 100%, Practical Exam 0%