May 15, 2024  
2011-2012 Catalog 
    
Catalog Navigation
  Catalog Home
  Notice to Readers
  President’s Message
  Appendices
  Catalog User Guide (pdf)
  Archived Catalogs
  University Academic Calendar (pdf)
  University Academic Policies
  University Graduation Requirements
  General University Requirements (GURs) 2011-12 (pdf)
  Writing Proficiency Requirement (WP)
  About Western Washington University
  Student Services
  Programs of Study
  Programs by Degree Type
  Course Descriptions
  College of Business and Economics
  Fairhaven College of Interdisciplinary Studies
  College of Fine and Performing Arts
  Graduate School
  College of Humanities and Social Sciences
  Huxley College of the Environment
  College of Sciences and Technology
  Woodring College of Education
  Interdisciplinary Studies
  Extended Education and Summer Programs
  Campus Map
  My Portfolio
HELP
2011-2012 Catalog [ARCHIVED CATALOG]

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

CSCI 311 - DISCRETE STRUCTURES AND FUNCTIONAL PROGRAMMING II

Propositional and predicate logic. Formal and informal proof. Resolution theorem proving. Applications of logic: program correctness, automatic reasoning, logic programming.

Prerequisites & Notes:
CSCI 211; MATH 124 or MATH 157

Credits: 4


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