Logica II per Informatica

This year I will teach the course “Logica II” for the M.sc. degree in Computer Science.  I think I will follow Moore’s modified method for the course (see also the wikipedia entry for the original method).

There are some freely available notes, looking promising,  I will use during the course.

Other reference (standard books) that may be used as sources of inspiration during the course are:

Further information will follow on this website.

 

Tags: ,

Leave a Reply


Warning: Undefined variable $user_ID in /Library/WebServer/Documents/lucaspada/wp-content/themes/open-sourcerer/comments.php on line 65

Captcha * Time limit is exhausted. Please reload the CAPTCHA.