An introduction to modern logic and set theory (required of computer sciences and engineering majors). The purpose of this course is to introduce the student to the study of symbolic logic (both sentential and quantified) elementary set theory, theory of relations and orderings, functions, and mathematical induction. Although we shall also be looking at some metatheoretical concepts, our primary focus shall be on proof construction-- both formal proofs for logic and informal mathematical style proofs for sets, relations, functions, and induction.
This course may fulfill a degree requirement. If you are a UT student, contact your UT academic advisor. If you are not a UT student, contact the University Extension advisor.
The first course meeting day is Tuesday, September 13.
Official UT Course Description: Sets, relations, functions, sentential and predicate logic, proof techniques, algorithms, and elementary metatheory. Mathematically oriented.
Prerequisites: Three years of high school mathematics.