Where academic tradition
meets the exciting future

Logic for Computer Science (2017 Autumn)

Organisation: ÅAU / Faculty of Science and Engineering

Credit Points: 5

Responsible Person: Sibelius

Course code: 456509.0

4.9.–26.10.2017

Lectures:

  1. Mon 4.9.–23.10. weekly at 10–12, 115A, Agora
  2. Wed 6.9.–25.10. weekly at 10–12, 115A, Agora

Exercises:

  1. Thu 12.1.–16.3. weekly at 10–12, K124B, Agora