Subject: Logic for information professionals
Course: Logic for information professionals
ECTS credits: 5
Language: Croatian
Duration: 2 semesters
Status: compulsory for one subject study
Method of teaching: 1 lecture hour + 1 hour of practical class
Prerequisite: n/a
Assessment: written and oral exam

Course description:
Propositional logic. Proposition definition. Propositional logic operations. Simple and complex propositions. Hypotheses and  results. Proposition calculus inference rules. Substitution rule, modus ponens rule, resolution rule. Boolean algebra. Boolean algebra representation: logical set algebra, proposition algebra. Logic expression minimalization. Logical functions. Electronic logic gates with switch. Normal forms. Identity true formulas of proposition calculus. Formal deduction of identity true proposition calculus formulas. Predicate logic. Mapping and operations. Term and term operations. Relations and relation based operations. First-order quantification calculus formulas. First-order quantification calculus formula transformations. Normal forms. Hypotheses and results. Definitons. Formal systems. Axioms and results. Deductions. Cardinal interpretation. Completeness, uncontradictoriness, decidability. Basic terms of model theory. Model existence and uncontradictoriness. Gödel's theorems. Skolem-Löwenheim theorem. Gödel numbers. Undecidability of formal theory of numbers and first-order quantification calculus.
The subjects of the practical classes are the same as ones presented in lectures.

Course objectives:
The objective of this course is for student to acquire knowledge of basic elements of mathematical logic necessary for understanding of other courses from the study.

Quality check and success of the course: Quality check and success of the course will be done by combining internal and external evaluation. Internal evaluation will be done by teachers and students using survey method at the end of semester. The external evaluation will be done by colleagues attending the course, by monitoring and assessment of the course.

Reading list:
1. Čubrilo, M.: Matematička logika za ekspertne sisteme, Informator, Zagreb, 1989.
2. Barwise, J. Etchemendy, J.: The Language of First-Order Logic, CSLI Pub., Stanford California, 1993.
3. Mendelson, E.: Introduction To Matematical Logic, D.V.N. Company Inc., New York, 1964.