COMP20360
Level 2

Formal Foundations 2

Computer ScienceProfessor Liam Murphy5 creditsAutumnBlended

This module is intended to introduce a range of topics in discrete mathematics and automata theory which are frequently used in Computer Science. Topics include predicate calculus, elementary number theory and combinatorics, and an introduction to finite automata.

No score yet

A score appears after 3 reviews. So far there is 1 — read it below.