Logic

(One of the Course Clusters.)

Logic = Logic and computation
- Logic Chair Ana, Thierry, Peter Dy, Bengt
- Logic: Automata and Formal Languages (@CS)
  - Main teacher Ana, substitute Thierry
- Logic: Logic in CS (@CS)
  - Main teacher Thierry & Jan Smith, substitute Peter
- Logic: Models of Computation (@CS)
  - Main teacher Bengt, substitute Ana
- Logic: Types for Programs and Proofs (@CS)
  - Main teacher Peter & Thierry, substitute Bengt

Related courses/clusters:

formal methods and testing
functional programming
programming language technology

Pre-requisites:

automata course should be a pre-requisite for programming language course
logic in CS should be pre-req for SEuFM