To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | "John F. Sowa" <sowa@xxxxxxxxxxx> |
Date: | Fri, 22 Feb 2008 20:57:49 -0500 |
Message-id: | <47BF7D9D.5050300@xxxxxxxxxxx> |
Paola, (01) > would there be a diagram illustrating the difference that we can > look at (02) You can look at the diagrams in my tutorial on math and logic: (03) http://www.jfsowa.com/logic/math.htm Mathematical Background (04) This is a summary of the notation and terminology of the following topics: (05) 1. Sets, Bags, and Sequences 2. Functions 3. Lambda Calculus 4. Graphs 5. Relations 6. Representing Relations by Graphs 7. Lattices 8. Propositional Logic 9. Predicate Logic 10. Axioms and Proofs 11. Formal Grammars 12. Game Graphs 13. Model Theory (06) For diagrams, see Section 4 on graphs: (07) http://www.jfsowa.com/logic/math.htm#Graph (08) And Section 6 on lattices: (09) http://www.jfsowa.com/logic/math.htm#Lattice (010) John (011) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (012) |
Previous by Date: | Re: [ontolog-forum] Knowledge 2008, Peter Yim |
---|---|
Next by Date: | Re: [ontolog-forum] What words mean, Azamat |
Previous by Thread: | Re: [ontolog-forum] What words mean, Pat Hayes |
Next by Thread: | Re: [ontolog-forum] What words mean, Christopher Menzel |
Indexes: | [Date] [Thread] [Top] [All Lists] |