(http://www.coli.uni-saarland.de/~saurer/lehre/ws00/mg1-engl-ws00.html)
Diese Seite gibt es auch auf Deutsch.
This course - the first of a 2-semester sequence - introduces set theory,
ordering relations, some algebra (groups, lattices) as well as propositional
logic and first order predicate logic with identity. The emphasis will be
on logic. Each of the two logics will be investigated from four aspects:
formal syntax, formal (model-theoretic) semantics, proof theory and application
to natural language (formalisation, "informal semantics"). The aim of the
course is to make the student familiar with basic logical skills such as
formalizing natural language sentences, construction of formal proofs within
a natural deduction system and semantic evaluation of (sets of) formulas
(truth table method, determining truth conditions of formulas).
None
Computational Linguistics (CL) diploma program and CL as a minor for M.A.
students: obligatory course for the pre-diploma exam ("Diplom-Vorprüfung").
There will be a midterm and a final exam, 45 min each, upon the passing of
which a graded certificate ("benoteter Schein") will be issued. The course
carries 5 credit points.(For further details regarding course requirements,
in particular registration for the exams, see German version.)
Partee, B., A. ter Meulen, R.Wall, Mathematical Methods in Linguistics.
Kluwer 1990.
Leblanc, H., W. Wisdom, Deductive Logic. Allyn and Bacon, 1976.
Thomason, R., Symbolic Logic. Macmillan, 1970.
Wed 16-18, Building 35, Room U10; first meeting: 08 November 2000
Weeks 1 and 2 | Basic concepts of set theory |
Weeks 3 and 4 | Basic concepts of ordering relations and algebraic structures (groups, lattices) |
Weeks 5 - 8 | Propositional logic: Formalisation, syntax and semantics |
Week 8 | Midterm exam on material of the first half of the course; sample exam |
Weeks 9 and 10 | Propositional logic: Proof theory (Natural Deduction) |
Weeks 11 - 13 | Predicate logic: Formalisation, syntax, proof theory (Natural Deduction) |
Weeks 14 and 15 | Predicate Logic: formal (model-theoretic) semantics |
Week 16 | Final exam on material of the second half of the course; sample exam |
Course
mechanics (in German only)