Apr 24, 2024  
2004-2005 Graduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  ***Courses Offered***
  Academic Calendars
  Board of Trustees
  Hofstra at a Glance
  Graduate Admission
  General Information
  Tuition and Fees
  Financial Aid
  Colleges & Departments
  Graduate Programs Offered
  New College
  Law School
  Services
  Facilities
  Recreation & Leisure
  Clinics
  Cultural Resources
  Alumni Relations
  Faculty Listing
  Chairs & Professorships
  Administrative Staff
  Hegis Codes
  Campus Map
  FERPA
  My Personal Catalog
HELP
2004-2005 Graduate Bulletin [ARCHIVED BULLETIN]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Personal Catalog (opens a new window)

CSC 201B - Logic Application to Software

Every other year
Application of predicate logic and nontruth functional logics to software design and use. Logic programming (PROLOG), database and telecommunications schemata, query analysis, correctness proofs for subroutines, operating system kernels, security. Finite state machines and temporal logic applied to protocol specification.

Prerequisites & Notes
CSC 201A or MATH 202.

Credits: 3 s.h.




Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Personal Catalog (opens a new window)