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.

  • 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