392194 Applied Logic Seminar (S) (WiSe 2009/2010)

Formal logic is used in varied places in informatics. Propositional and predicate logic, as well as temporal logic and higher-order logic are used in the verification and validation of computer algorithms, software and hardware for highly-reliable and safety-critical systems. Belief and epistemic logics are used in symbolic artificial intelligence, especially in multi-agent systems. Causal logics may be used in the analysis of complex systems and their accidents. Probability and inductive logic is (or should be!) used in the assessment of the risk of safety-critical systems. Various logics are used in formal semantics in computational linguistics.

This two-part course offers a practical introduction to these formal logics for those who are already acquainted with the basics of propositional logic and the language of predicate logic, such as found in the theoretical informatics course or the introduction to logic offered by the Philosophy and Linguistics Departments.

After an introduction to the material by the lecturer, participants will give their solutions to selected problems from the literature in the form of a short seminar presentation.

Bibliography

Huth, Ryan: Logic in Computer Science, 2nd Edition (Cambridge University Press, 2004)
Hacking: An Introduction to Probability and Inductive Logic (Cambridge University Press, 2001)
Priest: An Introduction to Non-Classical Logic, 2nd Edition (Cambridge University Press, 2008)

External comments page

http://www.rvs.uni-bielefeld.de/lectures/wintersemester.php#AppLog