Let us calculate.

Interactive Logic Software

with one comment

[Update, 8/28] It seems that Hans van Ditmarsch has thought about compiling such a list long ago; and a mighty list it is! Scroll down to find more interesting software, such as the Carnegie Mellon AProS, or the interactive logic course blogic, created by David Velleman, plus many-many others to try out online, or download and use on your computer. [/update]

Here are several useful web-based tools for teaching logic at the introductory level:

Have fun trying them out! 🙂


Written by Stefan Ionescu

August 25, 2008 la 6:39 pm

Un răspuns

Subscribe to comments with RSS.

  1. Thank you!


    August 27, 2008 at 12:30 pm

Lasă un răspuns

Completează mai jos detaliile tale sau dă clic pe un icon pentru a te autentifica:


Comentezi folosind contul tău Dezautentificare / Schimbă )

Poză Twitter

Comentezi folosind contul tău Twitter. Dezautentificare / Schimbă )

Fotografie Facebook

Comentezi folosind contul tău Facebook. Dezautentificare / Schimbă )

Fotografie Google+

Comentezi folosind contul tău Google+. Dezautentificare / Schimbă )

Conectare la %s

%d blogeri au apreciat asta: