Directory of Classes
NOTE: Course information changes frequently. Please re-visit these pages periodically for the most recent and up-to-date information.

Spring 2019 Computing Science: Philosophy GU4801 section 001
MATH LOGIC I

Call Number 19570
Day & Time
Location
M 12:10pm-2:00pm
716 Philosophy Hall
Points 3
Grading Mode Standard
Approvals Required None
Instructor Tamar A Lando
Type LECTURE
Course Description Syntax and semantics; deductive systems; completeness and compactness theorems; first order calculi; Godel's completeness theorem; basic model theory, Skolem functions; Skolem-Lowenheim theorems.
Web Site Vergil
Department Philosophy
Enrollment 25 students (42 max) as of 9:06PM Tuesday, August 20, 2019
Final Exam Day/Time
M 9:00am-12:00pm
Final Location 716 Philosophy Hall
Subject Computing Science: Philosophy
Number GU4801
Section 001
Division Graduate School of Arts and Sciences
Campus Morningside
Section key 20191CSPH4801G001

Home      About This Directory      Online Bulletins      ColumbiaWeb      SSOL
SIS update 08/20/19 21:06    web update 08/20/19 21:19