1
$\begingroup$

I'm a college student who major in Computer Science. Our math professor is giving a lecture about Logic in depth, and has given us some handouts.

Because of the in-depth lecture, I find it really hard to understand symbols and the theory system inside the handouts.

Can anybody provide me with some directions (the things need to know mainly, some books to read)?

P.S. Some propositions in homework need to be proved accurately and the proof is supposed to be written carefully. Any good ideas?

EDIT

What is PL Model, and something called Tarski semantics, like supp(phi)? And the lecture combines the Logic Foundation with Boolean Set Theoretic, which involves low-level formal definition of Boolean Algebra.

  • 2
    Some examples of the symbology or constructions that have confused you would probably help us the most in recommending an appropriate set of resources.2012-09-25
  • 0
    @TimDuff You're right. Let me see..2012-09-25
  • 0
    PL Model = Propositional Logic (PL)2012-09-25
  • 0
    @Amzoti I know, but what is `Model`?2012-09-25
  • 2
    Cori and Lascar's Mathematical Logic (first volume) has always been a favorite of mine - they define the language of propositional logic in the first chapter, boolean algebras in the second, and some model theory as it relates to the predicate calculus in the third - here the semantics of the object language are also discussed. The book does a very good job clarifying the distinction between the object language and the metalanguage.2012-09-25
  • 0
    http://cs.famaf.unc.edu.ar/~careces/esslli08/esslli08-2-h.pdf2012-09-25
  • 0
    Did you look at Wikipedia before asking here? It is it a useful first stop for info on logic.2012-09-25
  • 0
    @PeterSmith Of course. But that's not what I'm looking for. :)2012-09-25
  • 0
    @TimDuff Thanks, it's exactly what I need.2012-09-25
  • 0
    @Amzoti Thank you for interesting slides.2012-09-25
  • 0
    For a brief introduction to logic and proof, you might consider the tutorial included with my DC Proof software, available free at my website http://www.dcproof.com2012-09-26

0 Answers 0