Unfortunately I only started typing up my solutions starting with Chapter 5, having kept them in a handwritten notebook prior to that. I do intend to eventually go back and start typing up my solutions to the earlier chapters as well to have a more complete manual. The python directory contains some quick and dirty Python scripts that were used to gain insight while working on some of the exercises. These are not really documented at all and so probably will not be of interest to anyone else. Other Documents When doing exercises it can be useful to see a list of lemmas that have been written as part of the solutions. Running the lemmas.
|Published (Last):||23 April 2010|
|PDF File Size:||11.27 Mb|
|ePub File Size:||10.70 Mb|
|Price:||Free* [*Free Regsitration Required]|
The aim of this course is to learn the basics of set theory and to simultaneously enhance our ability to write formal proofs. The Hrbacek-Jech textbook is an introductory set-theory textbook, while the Velleman book is designed to help you write proofs, and also has a bunch of worked-out problems.
Karel Hrbacek and Thomas Jech. Dekker, New York, third edition, Daniel J. Cambridge University Press, Cambridge, second edition, The books are available at the bookstore and easily available via online booksellers. Homework and Exams: You may work in groups of on the homework, but everyone must write up their own solutions, and you must clearly indicate with whom you worked on the first page of your homework.
Homeworked should be turned in via canvas in the form of a single scanned pdf of handwritten work. There is no late homework except in the usual exceptional health-related etc.
Below is the schedule for the homework and exam dates. Homework 2: Due Friday October 14 by 5pm. Final Exam: Thursday December 8, amam. Lecture Schedule. Instructor Information: Sean Walsh, email: walsh at uci. If you are unable to attend my office hours, please feel free to make an appointment. The procedure for appointments is: email me with some of your time availabilities.
Other Resources: see the course pages for previous years: Fall , Fall Problems with the website? I would greatly appreciate any information about elements of the website which are not working properly. The syllabus page shows a table-oriented view of the course schedule, and the basics of course grading. You can add any other comments, notes, or thoughts you have about the course structure, course policies or anything else.
To add some comments, click the "Edit" link at the top.
Introduction to set theory
Introduction to Set Theory