ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] What words mean

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)

<Prev in Thread] Current Thread [Next in Thread>