460-2047/02 – Logic for Practice (LvP)

Gurantor departmentDepartment of Computer ScienceCredits4
Subject guarantorprof. RNDr. Marie Duží, CSc.Subject version guarantorprof. RNDr. Marie Duží, CSc.
Study levelundergraduate or graduateRequirementOptional
Year3Semestersummer
Study languageEnglish
Year of introduction2015/2016Year of cancellation
Intended for the facultiesHGF, FEIIntended for study typesFollow-up Master, Bachelor
Instruction secured by
LoginNameTuitorTeacher giving lectures
DUZ48 prof. RNDr. Marie Duží, CSc.
MEN059 Mgr. Marek Menšík, Ph.D.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+2
Combined Credit and Examination 10+0

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.

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

Další požadavky na studenta

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

Combined form (validity from: 2015/2016 Winter semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
Credit and Examination Credit and Examination 100 (100) 51
        Credit Credit 30  15
        Examination Examination 70  30
Mandatory attendence parzicipation: obligatory participation at all exercises, 3 absences with excused leave are acceptable

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.FormStudy language Tut. centreYearWSType of duty
2019/2020 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K English Ostrava 3 Optional study plan
2019/2020 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P English Ostrava 3 Optional study plan
2019/2020 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P English Ostrava 1 Choice-compulsory study plan
2018/2019 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K English Ostrava 3 Optional study plan
2018/2019 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P English Ostrava 3 Optional study plan
2018/2019 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P English Ostrava 1 Choice-compulsory study plan
2017/2018 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P English Ostrava 3 Optional study plan
2017/2018 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K English Ostrava 3 Optional study plan
2016/2017 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P English Ostrava 1 Choice-compulsory study plan
2016/2017 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P English Ostrava 3 Optional study plan
2016/2017 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K English Ostrava 3 Optional study plan
2015/2016 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P English Ostrava 3 Optional study plan
2015/2016 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K English Ostrava 3 Optional study plan
2015/2016 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P English Ostrava 1 Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner