May 16, 2024  
2013-2014 Graduate Studies Bulletin 
    
Catalog Navigation
  Bulletin Home
  Course Descriptions
  Academic Calendars
  Academic Honesty
  Admission (Graduate)
  Archived Bulletins
  General Information and Policies
  Tuition, Financial Aid and Scholarships
  Distance Learning
  Programs (by Degree, University-wide)
  Programs (by School)
  Programs (Alphabetically, University-wide)
  Colleges and Departments
  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
  Accreditations
  Academic Deadlines
  Administrative Organization
  Board of Trustees, Senior Administration and Academic Deans
  Campus Map
  Endowed Chairs and Distinguished Professorships
  Consumer Information and Student Right to Know
  Facilities and Services
  Faculty Listing
  FERPA Information
  Hofstra at a Glance
  HEGIS Codes
  Hofstra portal
  Printable Forms
  Bulletin Help
  My Personal Catalog
HELP
2013-2014 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)