W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2001

Logic and proof tutorial resources

From: Smith, Ned <ned.smith@intel.com>
Date: Thu, 29 Nov 2001 12:12:49 -0800
Message-ID: <0DCC27458EB5D51181840002A507069E0C312B@orsmsx117.jf.intel.com>
To: www-rdf-logic@w3.org
I'd like to find good concise tutorial material for
logic & proof disciplines. I've found WikiPedia[1] at Ohio State to
be a good resource. It doesn't assume the reader is a logician.
However it lacks information on the mechanics of proofs. 

I expect for semantic web vision to be realized, proof mechanics must be
accessible to the average developer/web professional. HTML and the browser
made the Internet more accessible when commandline processors to things like
gopher, ftp and smtp were the norm.

Does the list recommend resources in addition to[1]?

[1] http://www.wikipedia.com/wiki/Larrys_Text

Ned M. Smith
Intel Architecture Labs          Phone: 503.264.2692
2111 N.E. 25th Ave               Fax: 503.264.6225
Hillsoboro OR. 97124            mailto:ned.smith@intel.com
Received on Thursday, 29 November 2001 15:12:54 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:37 UTC