Nov 04, 2024  
2024-2025 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  About K-State
  University Leadership
  Kansas Board of Regents
  University Department Heads & Administrators
  Campuses
  Statements and Disclosures
  Governance and Faculty
  Academic Calendars
  All-University Regulations
  Academic Policies and Procedures
  General Education: K-State Core
  General Education: K-State Core Elementary Education PK-6
  Tuition and Fees
  Student Financial Assistance
  Glossary and Abbreviations
  K-State Course Search
  Course Description Key
  Courses
  Colleges and Departments
  Degrees and Certificates Offered
  Academic Degree Maps
  Accelerated Degree Programs
  Online Programs
  Archived KSU Catalogs
  K-State Research and Extension
  Research Facilities and Centers
  Academic Advising
  International Programs
  Services for Students
  Support Services
  Undergraduate Admission
  KSIS
  Auxiliary Services and Facilities
  K-State Athletics
  K-State Libraries
  Webmail
  My Portfolio
HELP
2024-2025 Undergraduate Catalog
Add to Portfolio (opens a new window)

CIS 301 - Logical Foundations of Programming

Credits: 3

Logical formalisms used to model and reason about computer systems. Propositional and predicate logic, syntax, semantics, and proof theory; soundness and completeness issues. Mathematical induction. Program verification: invariants and program logics.

Repeat for Credit
N

Requisites
Prerequisite: CIS 200. Students may enroll in CIS courses only if they have earned a grade of C or better for each prerequisite to those courses.

Typically Offered
Fall, Spring


KSIS Course Search



Add to Portfolio (opens a new window)