| Introduction
to Classical Predicate Logic |
|
|
Elõadók:
Vítezslav
vejdar
Charles University Prague,
Dept. of Logic |
|
|
|
| Ajánlás: |
| Minden kedves érdeklõdõ
számára. |
|
| Elõismeretek: |
| Az angol nyelv ismeretén kívül
más elõismeret nem szükséges, a kurzus bevezetõ
jellegû. |
|
| Számonkérés: |
| Késõbbi egyeztetés szerint. |
|
| Tematika: |
An introductory course in classical predicate
logic, discussing logical symbolism, informal proofs, logical semantics
and perhaps the logical calculi. No knowledge of logic, or knowledge of
mathematics above the high school level, is expected. Discussed topics:
logical connectives and quantifiers, other symbols, formulas as a formalization
of statements, relations and properties. Proofs, examples of informal proofs.
Gentzen logical calculus, soundness and completness of its propositional
version. Predicate calculus, its soundness and completeness. The notion
of an axiomatic theory. If there is some time remaining: the compactness
theorem and some of its consequences.
|
|
| Irodalom: |
|
|
| Jelentkezés: |
|
|
|
| Hirek,
információk: |
|
| Az elsõ (bevezetõ
és egyeztetõ jellegû) óra idõpontja február
13 (kedd) 17.30, helyszíne a 6.53 terem. Kérem, hogy akit
érdekel az óra, az jöjjön el, vagy ha semmiképpen
sem tud, akkor küldjön nekem egy mail-t! kutrovatz@hps.elte.hu |
| Utolsó felfrissítés:
2001. február 12. |
|
