Apr 26, 2024  
2014-2015 Undergraduate Bulletin 
    
  Bulletin Home
  Course Descriptions
  Academic Programs/Majors
  Glossary of Academic Terms
  Archived Bulletins
  The University
  Admission
  Scholastic Standards
  Financial Information
  Services for Students
  Teacher Education
  My Favorites
HELP
2014-2015 Undergraduate Bulletin [ARCHIVED]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favorites (opens a new window)

LOG-305 Symbolic Logic

3 cr.
Repeatable for Credit: No
Propositional and first-order quantificational languages and deductive systems, proof construction, introduction to soundness and completeness, application to natural language reasoning and computability.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favorites (opens a new window)