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

Re: Logic and proof tutorial resources

From: <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 1 Dec 2001 03:12:21 +0100
To: ned.smith@intel.com
Cc: www-rdf-logic@w3.org
Message-Id: <OF16BD8D5A.458125BC-ONC1256B15.000BACA0@bayer-ag.com>


> 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

that's great
we also think about
  http://www.stanford.edu/~elitach/soco/theory.htm

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 30 November 2001 21:12:35 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:16:02 UTC