Mar 15, 2026  
2015-2016 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 (HCLAS)
  School of Humanities, Fine and Performing Arts of HCLAS
  School of Natural Sciences and Mathematics 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
  School of Education
  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
2015-2016 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 201A - Mathematical Logic


Semester Hours: 3
Periodically
The propositional calculus: truth tables and axiomatizations. First order theories: completeness theorem, formal number theory, Gödel’s incompleteness theorem.

Prerequisite(s)/Course Notes:
Open to graduate students in computer science; others need permission from computer science graduate director.


View Course Offering(s):

Summer Session I 2026

Summer Session II 2026

Summer Session III 2026

Fall 2026



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