| Course: | LPS/Phil 104 |
| Name: | Introduction to Logic |
| Description: | An introduction to the concepts, methods, and tools of modern symbolic logic. Emphasis is on the notion of a valid argument, analyzed through the search for a formal proof or the construction of a counter-example. The course is heavily computer-aided: students will familiarize themselves with such award-winning logic packages as "Tarski", "Fitch", and the notorious "GradeCruncher". For more information see the course web site at http://eee.uci.edu/06f/66020/ |