Jun 12, 2025  
2021-2022 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 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
2021-2022 Graduate Studies Bulletin [ARCHIVED BULLETIN] 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 I 2025

Summer II 2025

Summer III 2025

Fall 2025



Add to Personal Catalog (opens a new window)