Thursday, March 24, 2011

A simple list of Logic teaching materials

ProofWeb Courses, provers from Radboud University Nijmegen, NL. Preprints in Publications

CMU Open Learning Pittsburgh

Logic in Action Amsterdam

Gateway to Logic, logic teaching software from Vienna, Austria.

Peter Smith, An Introduction to Formal Logic, slides.

Curtis Brown, lectures on Logic.

A whole lot of logic books...

Computational Thinking (slides by Brigitte Pientka)

Computational Thinking (oped and slides by J. Wing)

Less relevant to me:

Paul Teller's Logical Primer

Twootie and Bertie software for natural deduction

JAPE (Oxford) seems to be dead?

No comments:

Post a Comment