Nov 24, 2024  
2019-2020 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
  Dual Degrees (Undergraduate/Graduate Degrees)
  Accelerated Programs
  Badge Study
  Hofstra College of Liberal Arts and Sciences (HCLAS)
  School of Humanities, Fine and Performing Arts of HCLAS
  School of Natural Sciences and Mathematics of HCLAS
  School of Education of HCLAS
  Peter S. Kalikow School of Government, Public Policy and International Affairs of HCLAS
  Frank G. Zarb School of Business
  The Lawrence Herbert School of Communication
  Fred DeMatteis School of Engineering and Applied Science
  School of Health Professions and Human Services
  Hofstra Northwell School of Graduate Nursing and Physician Assistant Studies
  Academic Calendars and Deadlines
  Facilities and Services
  General Information and Definitions
  HEGIS Codes
  Printable Forms
  @HofBulletins on Twitter
  My Personal Catalog
HELP
2019-2020 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)