CSSE 490: Logic
We define logic as the study of valid reasoning and will give
systematic definitions of the rules of inference of FOL as well as how
they are used in proof systems. We will study soundness and
completeness of FOL and understand the ramifications of these
properties. We will furthermore study non standard logic systems.
Course Outcomes
Students who successfuly complete this course should be able to:
- Explain the role of logic in rational inquiry
- Give proofs in FOL
- Learn the use of a wide variety of logical systems
- Explain the power and limitation of logical systems in a wide
variety of applications
Prerequisites
CSSE 230 and MA 275.
Instructor
Michael Wollowski
Book
Grading
| Homework assignments. Regularly given proofs | 40%
|
| Class presentations. Infrequently scheduled presentation of
materials from book. | 5%
|
| Presentation of a logic application. | 15%
|
| Group presentation of a logic system. | 40%
|
Citizenship
The success of this course depends on your active participation in
class.
Please come to class prepared and do things that contribute to your
learning and that of others.
Please avoid behavior that is distracting to your learning and that
of others.
Academic Integrity
Please consult the CSSE department's Policy
on Academic Honesty as a rough guideline on cooperation.