Article View: sci.logic
Article #440Textbooks for Set Theory and Logic
From: Jan Chomicki
Date: Thu, 01 Oct 1992 20:13
Date: Thu, 01 Oct 1992 20:13
21 lines
1509 bytes
1509 bytes
I will be teaching a Set Theory and Logic course to first-year computer science graduate students. The course should provide them with some basic mathematical sophistication, as well as theorem proving skills. The students should already have some knowledge of mathematics, e.g., calculus. I intend to cover naive and axiomatic set theory, and propositional and predicate logic. Specific topics include: cardinal and ordinal numbers, transfinite induction, ZFC, proof systems (Hilbert- and Gentzen-style, possibly resolution), soundness and completeness of proof systems, some basic model theory. I would appreciate any recommendations for or against using certain textbooks. I may actually use two books: one for Set Theory and one for Logic. Thank you. -- Jan Chomicki Computing and Information Sciences chomicki@cis.ksu.edu 234 Nichols Hall Phone: (913) 532-6350 Kansas State University Fax: (913) 532-7353 Manhattan, KS 66506-2302
Technical Details
Message-ID:
<chomicki.717970449@antares.cis.ksu.edu.cis.ksu.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!ux1!news.byu.edu!gatech!darwin.sura.net!zaphod.mps.ohio-state.edu!moe.ksu.ksu.edu!cis.ksu.edu!chomickiShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!ux1!news.byu.edu!gatech!darwin.sura.net!zaphod.mps.ohio-state.edu!moe.ksu.ksu.edu!cis.ksu.edu!chomicki From: chomicki@cis.ksu.edu (Jan Chomicki) Newsgroups: sci.logic Subject: Textbooks for Set Theory and Logic Date: 1 Oct 1992 20:13:15 GMT Organization: Kansas State University, Dept. of Computing and Information Sciences Lines: 21 Distribution: world Message-ID: <chomicki.717970449@antares.cis.ksu.edu.cis.ksu.edu> NNTP-Posting-Host: antares.cis.ksu.edu Keywords: set theory, logic