Where academic tradition
meets the exciting future

Logic for Computer Science (2017 Spring)

Organisation: ÅAU / Faculty of Science and Engineering

Credit Points: 5

Responsible Person: Sibelius

Course code: 456509.0

9.1.–16.3.2017

Lectures:

  1. Mon 9.1.–13.3. weekly at 13–15, 115A, Agora
  2. Thu 12.1.–16.3. weekly at 10–12, 115A, Agora

Exercises:

  1. Wed 11.1.–15.3. weekly at 13–15, K124B, Agora