CS313K Logic, Sets, and Functions
Schedule Details
Spring, 2008
- Unique Id: 55500, 55505, 55510, 55514, 55515
- Lecture Meets: TT 3:30 - 5:00 WEL 2.246
- Instructors: Robert S. Boyer and J Strother Moore
- Office (Moore): TAY 4.140A
- Email: moore@cs.utexas.edu
- Office Hours: TT 2:30 - 3:30 pm
- TAs:
- Sainath Shenoy sainath@cs.utexas.edu,
- Bakhtiyar Uddin bu56@cs.utexas.edu,
- Ian Wehrman iwehrman@cs.utexas.edu
- Mid-Term: in class, Thursday, March 6, 3:30--5:00 WEL 2.246
- Final Exam: Friday, May 12, 2:00--5:00 pm, TBD
From the catalog
Sets, relations, functions, sentential and predicate logic, proof techniques,
algorithms, and elementary metatheory. Mathematically oriented. Prerequisite:
Three years of high school mathematics. Three lecture hours and one
laboratory hour a week for one semester.
Note: This course is required of computer sciences majors. Typically, few
except computer sciences majors take this course.
Textbook
We will closely follow the text of Robert L. Causey, Logic, Sets, and
Recursion, Second Edition, 2006, Jones and Bartlett, ISBN
0-7637-3784-4. 512+ix pages. NOTE: this is the second edition, not the older
revised edition with supplement. We will proceed through the Causey text in
the order of the Table of Contents, leaving off some sections at the ends of
some chapters. Thus the order of study is Sentential Calculus, Set Theory,
Number Theory, and finally Predicate Calculus.
See Boyer's list of topics
for more details.