My Tags For This Item

To save your tags,
please sign in
Not a member yet?
Register now

My Review For This Item

To save your reviews,
please sign in
Not a member yet?
Register now

My Notes For This Item

To save your notes,
please sign in
Not a member yet?
Register now

My Saved Searches

To save your searches,
please sign in.
Not a member yet?
Register now.

Logic

 
Rating: Not rated yet
  Rate item
Type: Course Related Materials
Grade Level: Post-secondary
Subject: Mathematics and Statistics
Institution Name: Carnegie Mellon University

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

Tags For This Item

Tags are a way to find OER by keywords added by users
This item wasn't tagged yet.

Keywords

Keywords are descriptions assigned by the provider or the OER Commons Team.