Article View: sci.logic
Article #444Re: Textbooks for Set Theory and Logic
From: Gary Merrill
Date: Fri, 02 Oct 1992 14:50
Date: Fri, 02 Oct 1992 14:50
19 lines
1594 bytes
1594 bytes
In article <chomicki.717970449@antares.cis.ksu.edu.cis.ksu.edu>, chomicki@cis.ksu.edu (Jan Chomicki) writes: |> 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. You are going to do this in *one* course for students with no prior work specifically in formal logic? With all due respect I believe you are out of your mind -- unless you plan to simply gloss virtually every topic you have mentioned. If so I would recommend that you do not use a book at all. Develop course notes and teach the course at the "conceptual" level. -- Gary H. Merrill [Principal Systems Developer, C Compiler Development] SAS Institute Inc. / SAS Campus Dr. / Cary, NC 27513 / (919) 677-8000 sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
Technical Details
Message-ID:
<BvI18J.7Ez@unx.sas.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!darwin.sura.net!gatech!concert!sas!mozart.unx.sas.com!sasghmReferences:
<chomicki.717970449@antares.cis.ksu.edu.cis.ksu.edu>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!darwin.sura.net!gatech!concert!sas!mozart.unx.sas.com!sasghm From: sasghm@theseus.unx.sas.com (Gary Merrill) Subject: Re: Textbooks for Set Theory and Logic Originator: sasghm@theseus.unx.sas.com Sender: news@unx.sas.com (Noter of Newsworthy Events) Message-ID: <BvI18J.7Ez@unx.sas.com> Date: Fri, 2 Oct 1992 14:50:43 GMT References: <chomicki.717970449@antares.cis.ksu.edu.cis.ksu.edu> Nntp-Posting-Host: theseus.unx.sas.com Organization: SAS Institute Inc. Keywords: set theory, logic Lines: 19