Recent Changes - Search:

CSE dept.


This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.


edit SideBar

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
Edit - History - Print - Recent Changes - Search
Page last modified on April 14, 2014, at 11:57 AM