Apr 06, 2025  
2013-2014 Undergraduate Catalog 
    
Catalog Navigation
Catalog Home
Courses
Programs
Schools/Colleges and Departments
About the Catalog
About the University
Academic Advising
All-University Regulations
Auxiliary Services and Facilities
Calendar
Degrees & Certificates Offered
Disclosures
Enrollment
Glossary and Abbreviations
Grades
International Programs
K-State Athletics
K-State Research and Extension
Outreach
Research Facilities and Centers
Services for Students
Student Financial Assistance
Support Services
Tuition and Fees
Undergraduate Admission
University Faculty
General Education: K-State 8
General Education: UGE
Archived Catalogs
Catalog Updates
iSIS
K-State Libraries
K-State Online
Webmail
My Portfolio
2013-2014 Undergraduate Catalog [ARCHIVED 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.

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.

When Offered
Fall, Spring

UGE course
No

K-State 8
Empirical and Quantitative Reasoning


KSIS Course Search



Add to Portfolio (opens a new window)