Course objectives

The course is aimed to propositional logic and first order predicate logic.

Learning outcomes

Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples.

Teaching methods

Interactive lecture

Assessment methods

Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.

Course objectives

The course is aimed to propositional logic and first order predicate logic.

Learning outcomes

Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples.

Teaching methods

Interactive lecture

Assessment methods

Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.

Course objectives

The course is aimed to propositional logic and first order predicate logic.

Learning outcomes

Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples.

Teaching methods

Interactive lecture

Assessment methods

Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.

Course objectives

The course is aimed to propositional logic and first order predicate logic.

Learning outcomes

Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples.

Teaching methods

Interactive lecture

Assessment methods

Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.

Course objectives

The course is aimed to propositional logic and first order predicate logic.

Learning outcomes

Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples.

Teaching methods

Interactive lecture

Assessment methods

Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.

Course objectives

The course is aimed to propositional logic and first order predicate logic.

Learning outcomes

Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples.

Teaching methods

Interactive lecture

Assessment methods

Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.

Course objectives

The course is aimed to propositional logic and first order predicate logic.

Learning outcomes

Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples.

Teaching methods

Interactive lecture

Assessment methods

Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.