FPF:FPFVA041 Introduction to Logic - Course Information

FPFVA041 Introduction to Logic

Extent and Intensity

0/1/0. 5 credit(s). Type of Completion: z (credit).

Teacher(s)

doc. RNDr. Luděk Cienciala, Ph.D. (seminar tutor)

Guaranteed by

doc. RNDr. Luděk Cienciala, Ph.D.
Faculty of Philosophy and Science in Opava

Prerequisites (in Czech)

TYP_STUDIA(N)

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

• Angličtina (dvouoborové) (programme FPF, N7310 Filo) (2)
• English (programme FPF, N7310 Filo) (3)
• Archaeology (programme FPF, N7109 Arch) (2)
• Audio-visual works (programme FPF, AVT-np)
• Audio-visual Creation (programme FPF, N8203 DrUm)
• Bohemistika (programme FPF, N7310 Filo) (2)
• Computational Physics (programme FPF, N1701 Fyz)
• Computer Science and Technology (programme FPF, N1801 Inf) (2)
• History (programme FPF, N7105 HiVe) (2)
• History - Museology (programme FPF, N7105 HiVe) (2)
• Information and Library Studies (programme FPF, N7201 InSK) (2)
• Information Studies (programme FPF, KNIH-nav)
• Computer Science (programme FPF, N1801 Inf) (2)
• Library science with the focus on public libraries of the community type (programme FPF, N7201 InSK) (2)
• Kulturní dědictví v regionální praxi (programme FPF, N7106 HiSt) (2)
• Cultural History (programme FPF, N7105 HiVe) (2)
• German in combination with another discipline (programme FPF, N7310 Filo) (2)
• German (programme FPF, N7310 Filo) (3)
• German (programme FPF, NJ) (2)
• Ochrana kulturního dědictví (programme FPF, N7105 HiVe) (2)
• Computational Physics (programme FPF, N1701 Fyz)
• Theoretical Physics (programme FPF, N1701 Fyz) (2)
• Physics (programme FPF, N1701 Fyz) (2)
• Creative Photography (programme FPF, N8204 ITF)
• Secondary School Teacher Training in English (programme FPF, N7504 UcSS)
• Secondary School Teacher Training in Czech language and literature (programme FPF, N7504 UcSS)
• Secondary School Teacher Training in History (programme FPF, N7504 UcSS)
• Secondary School Teacher Training in German (programme FPF, N7504 UcSS) (2)
• Teacher Training - shared framework (programme FPF, N7504 UcSS)
• Public community type libraries (programme FPF, KNIH-nav)

Course objectives

The course is aimed to propositional logic and first order predicate logic.

Syllabus

• 1. Introduction to logic – propositions, arguments, deductive and inductive arguments, validity and truth
• 2. Symbolic logic – symbols for conjunction, disjunction, negation, conditional and biconditional statement
• 3. Propositional logic – truth function, tautology, contradiction, satisfiable formula, the Short-cut truth table method, the Truth tree (tableau) method
• 4. Propositional logic – normal forms of propositions
• 5. Propositional logic – resolution
• 6. Propositional logic – deductive proofing in Hilbert and Gentzen axiom systems
• 7. Predicate logic – syntax and semantic
• 8. Predicate logic – representation, free and bounded variables
• 9. Predicate logic – interpretation and inferences
• 10. Predicate logic – unification, resolution

Literature

required literature
• HODEL, Richard E. An introduction to mathematical logic. Reprint. Dover Publications, 2013. info
• ing M. Copi, Carl Cohen, Kenneth McMahon. Introduction to Logic. Routledge, 2013. ISBN 9780205820375. info

recommended literature
• Švejdar, V. Logika: neúplnost, složitost a nutnost. Praha, Academia, 2002. info
• Sochor, A. Klasická matematická logika. Praha, Univerzita Karlova, 2001. info
• Štěpánek, P. Matematická logika. Prraha, Univerzita Karlova, 2000. info
• Jirků, P., Vejnarová, V. Neformální výklad základů formální logiky. VŠE Praha, 2000. URL info
• Lukasová, A.:. Logické základy umělé inteligence I. Ostrava, 1999. info
• Gahér, F. Logika pro každého. Bratislava, IRIS, 1998. info
• Gahér, F. Logické hádanky a paradoxy. Bratislava, IRIS, 1997. info
• Štěpán, J. Logika a logické systémy. Olomouc, Votobia, 1992. info
• Manna, Z. Matematická teorie programů. Praha, SNTL, 1981. info

Teaching methods

Interactive lecture
Lecture with a video analysis

Assessment methods

Exam

Language of instruction

Czech

Teacher's information

Credit: full-time students wrote the exercises two credit tests scoring 20 points each.
Exam: Total of examination exam can earn 60 points. For the successful completion students need to get 30 points. Mark for full-time study is determined by adding the points for the exam and points that the student earned during the semester in the course. Mark the combined study is determined from the points gained from examination test.

• Enrolment Statistics (recent)
  
• Permalink: https://is.slu.cz/course/fpf/summer2021/FPFVA041