460-2047/01 – 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 graduateRequirementChoice-compulsory
Year1Semestersummer
Study languageCzech
Year of introduction2014/2015Year of cancellation2022/2023
Intended for the facultiesFEI, HGFIntended for study typesBachelor, Follow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
ALB0016 Ing. Adam Albert
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
Part-time 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.

Additional study materials

Way of continuous check of knowledge in the course of semester

Podmínky udělení zápočtu: V průběhu semestru budou dva písemné testy. Z každého může student získat max. 15 bodů. Maximum bodů, které lze získat na zápočet = 30 bodů. Minimální počet bodů pro získání zápočtu = 14, a to z každého testu minimálně 7 bodů.

E-learning

Other requirements

There are not defined other requirements for 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)Thelanguageof propositional and 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 predicate logic and formalisation in FOL 4. Equivalent transformations of formulae, negation Topic (b): 5. Proof methods in propositional logic 6. Proof methods in predicate logic 7. Fuzzy sets and fuzzy logic applications Topic (c): 8. Declarative vs. imperative program specification. 9. Rezolution method andlogic programming 10.Programming in Prolog

Conditions for subject completion

Full-time form (validity from: 2014/2015 Winter semester, validity until: 2022/2023 Summer semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of pointsMax. počet pokusů
Exercises evaluation and Examination Credit and Examination 100 (100) 51
        Exercises evaluation Credit 30 (30) 15
                Zápočtová písemka Written test 10  5
                Zpracování úlohy v jazyce Prolog Project 20  5
        Examination Examination 70 (70) 30 3
                Zkouškový test Written examination 30  10
                Ústní zkouška Oral examination 40  15
Mandatory attendence participation: obligatory participation at all exercises, 3 absences with excused leave are acceptable

Show history

Conditions for subject completion and attendance at the exercises within ISP: Completion of all mandatory tasks within individually agreed deadlines.

Show history

Occurrence in study plans

Academic yearProgrammeBranch/spec.Spec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2022/2023 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2022/2023 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2022/2023 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2021/2022 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2021/2022 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 1 Choice-compulsory study plan
2021/2022 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2021/2022 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2020/2021 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 1 Choice-compulsory study plan
2020/2021 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2020/2021 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2020/2021 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2019/2020 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2019/2020 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2019/2020 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2019/2020 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 1 Choice-compulsory study plan
2018/2019 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2018/2019 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2018/2019 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2018/2019 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 1 Choice-compulsory study plan
2017/2018 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2017/2018 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2016/2017 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2016/2017 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 1 Choice-compulsory study plan
2016/2017 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2016/2017 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2015/2016 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2015/2016 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2015/2016 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2015/2016 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 1 Choice-compulsory study plan
2014/2015 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology P Czech Ostrava 3 Optional study plan
2014/2015 (B2647) Information and Communication Technology (2612R025) Computer Science and Technology K Czech Ostrava 3 Optional study plan
2014/2015 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics P Czech Ostrava 1 Choice-compulsory study plan
2014/2015 (N3654) Geodesy, Cartography and Geoinformatics (3608T002) Geoinformatics K Czech Ostrava 1 Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner

Assessment of instruction



2019/2020 Summer
2018/2019 Summer
2015/2016 Summer
2014/2015 Summer