Nov 25, 2024  
2014-2015 Graduate Studies Bulletin 
    
Catalog Navigation
  Bulletin Home
  Course Descriptions
  Our Mission
  About Our University
  Academic Honesty
  Academic Policies and Procedures
  Admission (Graduate)
  Archived Bulletins
  Tuition, Financial Aid and Scholarships
  Programs (Alphabetically, University-wide)
  Programs (by Degree, University-wide)
  Programs (by School)
  Distance Learning
  Hofstra College of Liberal Arts and Sciences
  Frank G. Zarb School of Business
  The Lawrence Herbert School of Communication
  School of Education
  School of Engineering and Applied Science
  School of Health Sciences and Human Services
  Academic Calendars and Deadlines
  Facilities and Services
  General Information and Definitions
  HEGIS Codes
  Printable Forms
  @HofBulletins on Twitter
  My Personal Catalog
HELP
2014-2015 Graduate Studies 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


Semester Hours: 3
Periodically
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.

Prerequisite(s)/Course Notes:
CSC 201A  or MATH 202 .




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