FPF: UIMOIBP015 Logic and Logic Programming (Winter 2024)
Course objectives
The course follows the course Introduction to Logic. We deal with several logic systems, the last one, Clause Axiomatic System, is used as a basis for logic programming. In the course, the students deal mainly with theoretical bases of logic programming, ie the basic idea, possibilities and procedures. We move from the procedures demonstrated in clause Logic to programming in the Prolog programming language.
Learning outcomes
Students will be able to:
- use deduction and derivation in logical systems;
- describe the Clause axiomatic system;
- apply principles of logic programming to a simple practical problem.
Teaching methods
Interactive lectures
Tutorials
Assessment methods
Credit: compulsory attendance at seminars min. 75%, written and online test.
Exam: test.
Course syllabus
FPF: UIINK51 Logic and Logic Programming (Winter 2024)
Course objectives
The course follows the course Introduction to Logic. We deal with several logic systems, the last one, Clause Axiomatic System, is used as a basis for logic programming. In the course, the students deal mainly with theoretical bases of logic programming, ie the basic idea, possibilities and procedures. We move from the procedures demonstrated in clause Logic to programming in the Prolog programming language.
Learning outcomes
Students will be able to:
- use deduction and derivation in logical systems;
- describe the Clause axiomatic system;
- apply principles of logic programming to a simple practical problem.
Teaching methods
Interactive lectures
Tutorials
Assessment methods
Credit: compulsory attendance at seminars min. 75%, written and online test.
Exam: test.
Course syllabus
FPF: UIMOIBK015 Logic and Logic Programming (Winter 2024)
Course objectives
The course follows the course Introduction to Logic. We deal with several logic systems, the last one, Clause Axiomatic System, is used as a basis for logic programming. In the course, the students deal mainly with theoretical bases of logic programming, ie the basic idea, possibilities and procedures. We move from the procedures demonstrated in clause Logic to programming in the Prolog programming language.
Learning outcomes
Students will be able to:
- use deduction and derivation in logical systems;
- describe the Clause axiomatic system;
- apply principles of logic programming to a simple practical problem.
Teaching methods
Interactive lectures
Tutorials
Assessment methods
Credit: compulsory attendance at seminars min. 75%, written and online test.
Exam: test.
Course syllabus
FPF: UIINP51 Logic and Logic Programming (Winter 2024)
Course objectives
The course follows the course Introduction to Logic. We deal with several logic systems, the last one, Clause Axiomatic System, is used as a basis for logic programming. In the course, the students deal mainly with theoretical bases of logic programming, ie the basic idea, possibilities and procedures. We move from the procedures demonstrated in clause Logic to programming in the Prolog programming language.
Learning outcomes
Students will be able to:
- use deduction and derivation in logical systems;
- describe the Clause axiomatic system;
- apply principles of logic programming to a simple practical problem.
Teaching methods
Interactive lectures
Tutorials
Assessment methods
Credit: compulsory attendance at seminars min. 75%, written and online test.
Exam: test.
Course syllabus
