Logic
| Rating: | Not rated yet |
| Rate item | |
| Type: | Course Related Materials |
| Grade Level: | Post-secondary |
Subject: Mathematics and Statistics
Institution Name:
Carnegie Mellon University
Collection Name: Carnegie Mellon University - Open Learning Initiative
Abstract: Logic and Proofs is an introduction to modern symbolic logic. It provides a rigorous presentation of the syntax and semantics of sentential and predicate logic. However, the distinctive emphasis is on strategic argumentation. Students learn effective strategies for constructing natural deduction proofs. This learning is supported by the Carnegie Proof Lab: it provides a sophisticated interface, in which students can give arguments by strategically guided forward and backward steps.
Details
Course Type: Full Course
Material Types: Activities and Labs, Assessments, Lecture Notes, Syllabi, Other
Media Formats: Audio, Graphics/Photos, Text/HTML
Language: English
Additional Information
Geographic
Regional Relevance: All
