Logic Summer School 2013

Here are the notes

Here are the exercises:

day 1

day 2 hints

day 3 There are no hints today. All of the exercises apart from the *s are do-able.

day 4 Again no hints today. Good luck!

day 5

day 6 Here are some hints to get you on your way.

day 7 Here is a 'hint'

day 8

day 9

day 10 Don't forget to go over the problems that you didn't get from the last week and weekend.

day 11

day 12

day 13

I'm also cataloging some extra exercises for those who find themselves with abundant spare time. Forcing Extras