Nov 21, 2024  
2019-2020 Undergraduate and Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Texas Tech at a Glance
  Colleges and Areas of Instruction
  eLearning Programs
  Fields of Study (A-Z)
  Course Descriptions
  Academic Requirements
  Core Curriculum Requirement
  Multicultural Requirement
  Graduate School
  Graduate Programs by College
  Undergraduate Admissions
  Registration
  Academic Advising and Support
  Finances
  Housing and Hospitality
  Student Services
  Resources and Facilities
  Academic Calendar
  Campus Map
  Faculty Directory
  Official Publications Home
  Catalog PDF
  General Information
  Addendum
  My Portfolio
HELP
2019-2020 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)