460-2047/02 – Logic for Practice (LvP)
| Gurantor department | Department of Computer Science | Credits | 4 |
| Subject guarantor | prof. RNDr. Marie Duží, CSc. | Subject version guarantor | prof. RNDr. Marie Duží, CSc. |
| Study level | undergraduate or graduate | Requirement | Choice-compulsory |
| Year | 1 | Semester | summer |
| | Study language | English |
| Year of introduction | 2015/2016 | Year of cancellation | 2022/2023 |
| Intended for the faculties | FEI, HGF | Intended for study types | Follow-up Master, Bachelor |
Subject aims expressed by acquired skills and competences
The course is an introduction to logical reasoning in computer science and programming. Students learn the principles of formalization of explicit knowledge in the language of propositional and first-order predicate logic. They also learn how to validly infer implicit knowledge from the explicit knowledge base. To this end they are trained to correctly understand the specification of a program, and also to rigorously specify a software process. Such a formal specification is then utilized for verification of a system and automatic code generation.
Teaching methods
Lectures
Tutorials
Summary
The course is focused on practical applications of the formal apparatus of propositional as well as first-order predicate logic. This formalism is broadly used in computer science and artificial intelligence for a rigorous specification of intuitive knowledge and of particular theories, for automatic theorem proving, and many other areas. The course is focused in particular on the principles of knowledge specification and a formal specification of a software system, as well as logic programming. The students will also get acquainted with the principles of logic programming, as well as with practical applications of non-classical logics, in particular fuzzy logic.
Compulsory literature:
M.Duží: Logic for Practice, VŠB-TU Ostrava, to appear.
Recommended literature:
Z. Manna: Mathematical Theory of Computing. McGraw-Hill, 1974.
Williams, JohnK., et. al.: Fuzzy Logic Applications. In Artificial Intelligence Methods in the Environmental Sciences, 2009, pp. 347-377.
Additional study materials
Way of continuous check of knowledge in the course of semester
During the semester course the students will solve a problem in Prolog programming language; max. 20 credit points
There will be a written test as well, max. 10 credits points.
Minimal number of credit points = 14.
E-learning
Other requirements
There are no other requirements for a student.
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
There are three basic thematic parts of the subject.
a)The language of propositional and first-order predicate logic; formalisation of explicite knowledge
b)Derivation of inferable/computable knowledge from explicit knowledge base; fuzzy logiky applications
c)Foundamentals of program specification and logic programming
Lectures:
1. Introduction: deductively valid arguments
Topic (a):
2. Language of propositional logic and formalisation in this language
3. Language of first-order predicate logic (FOL) and formalisation in FOL
4. Equivalent transformations of formulae, negation
Topic (b):
5. Proof methods in propositional logic
6. Proof methods in first-order predicate logic
7. Fuzzy sets and fuzzy logic applications
Topic (c):
8. Declarative vs. imperative program specification.
9. Rezolution method and logic programming
10.Programming in Prolog
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.