University of Glasgow
Area of Study
Taught In English
Course Level Recommendations
ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.
Recommended U.S. Semester Credits5
Recommended U.S. Quarter Units7
Hours & Credits
This course introduces students to the meta-theory of propositional and predicate logicBy the end of the course, students should be able to:
- Use the method of proof by induction on length of formula and length of proof;
- Find a formula in disjunctive normal form for any given truth table;
- Determine whether a set of connectives is expressively adequate;
- Distinguish semantic from syntactic entailment, and explain what is meant by soundness and completeness proofs;
- Prove propositional sequents;
- Prove the soundness and completeness theorems for propositional logic;
- Explain the main ideas in Tarski's truth definition for predicate logic;
- Prove simple sequents of predicate logic;
- Explain the main ideas in the soundness and completeness theorems for predicate logic;
- Determine simple properties of binary relations.
Courses and course hours of instruction are subject to change.
Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.
ECTS (European Credit Transfer and Accumulation System) credits are converted to semester credits/quarter units differently among U.S. universities. Students should confirm the conversion scale used at their home university when determining credit transfer.
Please note that some courses with locals have recommended prerequisite courses. It is the student's responsibility to consult any recommended prerequisites prior to enrolling in their course.