2024-2025 Academic Catalog 
    
    Nov 22, 2024  
HELP
2024-2025 Academic Catalog

CS 2210 - Logic for Computer Scientists


Credit Hour(s): 3

Course Description: 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

Enrollment Restrictions: May not be enrolled in one of the following degrees: Intending Egr & CS, Pre_Degree.

Course Level: Undergraduate
Schedule Type(s): Lecture

Grade Mode: Standard
An additional fee is associated with this course.
Catalog Navigation
  Catalog Home
  Programs of Study - Alphabetical
  Programs of Study - Department/School
  Other Programs
  Graduation Planning Strategies (GPS) - Alphabetical
  Course Descriptions
  About Wright State University
  Accreditation
  Academic Calendar
  Admission
  Policies and Resources
  Academic Information
  Academic Program Requirements
  Academic Services
  Academic Standards
  Degree/Certificate Requirements
  Enrollment Information
  Student Rights and Responsibilities
  Wright State Core Program
  The Wright State Core Requirements
  Business, Raj Soin College of
  Engineering and Computer Science, College of
  Health, Education, and Human Services, College of
  Liberal Arts, College of
  Science and Mathematics, College of
  Graduate Programs and Honors Studies, College of
  Medicine, Boonshoft School of
  Lake Campus