|
Lecturer(s)
|
-
Chmelík Slavomil, PhDr. Ph.D.
|
|
Course content
|
1st Classical propositional calculus built a table method. 2nd Semantic resulting in propositional calculus. Rules of deduction. 3rd Resulting semantic inference rules. Scheme of direct evidence and the evidence resulting semantic dispute. Hilbert´s scheme of lines and method Gentzen´s tree. 4th Judgmental form in propositional calculus. 5th Conventional building predicate calculus method Venn interpretation. 6th Resulting in the semantic predicate calculus. 7th Semantic inference rules resulting in the predicate calculus. 8th Judgments in the predicate calculus. 9th Hypothetical method in mathematical logic. 10th Introduction to non-classical logics.
|
|
Learning activities and teaching methods
|
Lecture supplemented with a discussion, Practicum
- Contact hours
- 26 hours per semester
- Preparation for an examination (30-60)
- 30 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| know logical operations |
| Skills |
|---|
| evaluate a simple formula of propositional calculus |
| negate statements |
| Competences |
|---|
| N/A |
| N/A |
| learning outcomes |
|---|
| Knowledge |
|---|
| explain the concept of logically equivalent formulas |
| list the procedures for proving the conclusion from the given premises |
| Skills |
|---|
| decide on the type of propositional calculus formula |
| decide on the correctness of a simple judgment in propositional calculus |
| perform a set interpretation of a simple predicate calculus formula |
| Competences |
|---|
| N/A |
| teaching methods |
|---|
| Knowledge |
|---|
| Lecture |
| Self-study of literature |
| One-to-One tutorial |
| Skills |
|---|
| Seminar classes |
| Skills demonstration |
| One-to-One tutorial |
| Competences |
|---|
| Lecture |
| Lecture supplemented with a discussion |
| Self-study of literature |
| Individual study |
| One-to-One tutorial |
| assessment methods |
|---|
| Knowledge |
|---|
| Combined exam |
| Test |
| Continuous assessment |
| Skills |
|---|
| Combined exam |
| Test |
| Skills demonstration during practicum |
| Competences |
|---|
| Combined exam |
|
Recommended literature
|
-
Drábek, Jaroslav. Světonázorové problémy v matematice. Díl 1., Matematická logika a formální teorie ; Světonázorové problémy spojené s formalizací matematiky ; 3. metodologická krize matematiky : Určeno pro posl. 5. roč. učitelství všeobec. 2., přeprac. vyd. Plzeň : Pedagogická fakulta, 1987.
-
Hromek, Petr. Logika v příkladech. 1. vyd. Olomouc : Univerzita Palackého, 2002. ISBN 80-244-0578-4.
-
Smullyan, Raymond, M. Dáma s tygříkem a další logické hrátky.. Praha : Argo, 2017. ISBN 978-80-7363-701-9.
-
Smullyan, Raymond, M. Jak se jmenuje tahle knížka?. Praha: Portál, 2015. ISBN 978-80-262-0822-8.
|