2015-2016 Academic Catalog 
    
    May 12, 2024  
HELP
2015-2016 Academic Catalog [ARCHIVED CATALOG]

CS 2210 - Logic for Computer Scientists


Credit Hour(s): 3
Fundamental material in foundations of logic most relevant to Computer Science. Propositional logic, predicate logic, modeling of knowledge, and algorithms for logical reasoning.
Prerequisite(s): Undergraduate level MTH 2570 Minimum Grade of D or Undergraduate level CS 2200 Minimum Grade of D
Level: Undergraduate
Schedule Type(s): Lecture
Catalog Navigation
  Catalog Home
  Programs of Study
  Other Programs
  Course Descriptions
  About Wright State University
  Accreditation
  Academic Calendar
  Admission
  Faculty
  Policies and Resources
  Business, Raj Soin College of
  Education and Human Services, College of
  Engineering and Computer Science, College of
  Graduate School
  Lake Campus
  Liberal Arts, College of
  Medicine, Boonshoft School of
  Nursing and Health, College of
  Professional Psychology, School of
  Science and Mathematics, College of
  University College