Kurzus nemzetközi vendég- és részidős hallgatóknak
- Kar
- Bölcsészettudományi Kar
- Szervezet
- BTK Filozófia Intézet
- Kód
- BMI-LOTD-102E.2
- Cím
- Logic, lecture
- Tervezett félév
- Tavaszi
- Meghirdetve
- 2023/24/2, 2024/25/1
- ECTS
- 3
- Nyelv
- en
- Leírás
- te_kód: BMI-LOTD-102E kurzuskód: BMI-LOTD-102E
- Oktatás célja
- General aim of the course: The course provides an introduction to first-order logic. Content of the course: Syntax of first-order languages Formalization of ordinary language structures Semantics of first-order languages Central logical notions Peano arithmetic Limits of first-order logic Grading criteria, specific requirements: Grading is based on homework. Required reading: P. D. Magnus and T. Button, forallx:Cambridge, 2017. J. Barwise and J. Etchemendy, Language, Proof and Logic. CSLI Publications, 2011. Suggested further reading: L. T. F. Gamut, Logic, Language, and Meaning. Volume I: Introduction to Logic. University of Chicago Press, 1991. E. Mendelson, Introduction to Mathematical Logic. Springer, 1997.