Apr 19, 2024  
2016-2017 Undergraduate and Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Texas Tech at a Glance
  Colleges and Areas of Instruction
  All Academic Programs
  Graduate Programs by College
  eLearning Programs
  Course Descriptions
  Fields of Study (A-Z)
  Undergraduate Academics
  Admissions and Registration
  Resources and Support
  Academic Calendar
  Campus Map
  Faculty Directory
  Official Publications Home
  Catalog PDF
  General Information
  Addendum
  My Portfolio
HELP
2016-2017 Undergraduate and Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 5384 - Logic for Computer Scientists

3 Semester Credit Hours
An introduction to mathematical logic. The course includes proofs of several basic theorems and discusses the application of logic to different areas of computer science.


Add to Portfolio (opens a new window)