CS 2210

Logic for Computer Scientists

Wright State University-Main Campus · UGRD · Fall 2026

1 section

Catalog 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

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #wright_main_campus-CS2210Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?