The course lecture notes Data Logic chapters 0 through 19 are put at CampusNet.
Weekly messages are distributed through DTU Campusnet..
Additional course material:
Solutions to exercises in ch. 1, 2, 3.
Solutions to exercises in ch. 4, 5, 6
Solutions to exercises in ch. 7, 8, 9, 10
Solutions to exercises in ch. 11, 12, 13
Solutions to exercises in ch. 14, 15, 16
Course schedule:
is announced via Campusnet
Last update January, 2008