![](../../external.gif?link=http://tcpulse.com/assets/space.gif)
![](../../external.gif?link=http://tcpulse.com/assets/space.gif) The study of formal logical systems, which model the reasoning of mathematics, scientific disciplines, and everyday discourse. Propositional Calculus and First-order Logic. Syntax, axiomatic treatment, derived rules of inference, proof techniques, computer-assisted formal proofs, normal forms, consistency, independence, semantics, soundness, completeness, Lowenheim-Skolem Theorem, compactness, equality. 3 hrs. lec. | ![](../../external.gif?link=http://tcpulse.com/assets/space.gif) | ![](../../external.gif?link=http://tcpulse.com/assets/space.gif)
Popularity index | ![](../../external.gif?link=http://tcpulse.com/assets/pCCCCCC.gif) | ![](../../external.gif?link=http://tcpulse.com/assets/space.gif) Students also scheduled | ![](../../external.gif?link=http://tcpulse.com/assets/pCCCCCC.gif) | |
No comments about this course have been posted, yet. Be the first to post!
Share your opinion on this course with other Pulse readers. Login below or
register to begin posting.