Date
Lectures for All Groups and Exercises for English Groups
Exercises for Polish Groups
Labs for All Groups
1 III
Lecture 1: Propositional and Predicate Calculus
Lecture 2: Automated Deduction and Resolution Proofs
5 III
Normal Forms, Satisfiability Problem
8 III
Exercise 1 (2 E-groups): Normal Forms, Satisfiability Problem
12 III
Reasoning in Predicate Calculus
15 III
Exercise 2 (2 E-groups): Reasoning in Predicate Calculus
19 III
PROLOG I
22 III
Lecture 3: Logic Programming I
Lecture 4: Logic Programming II
26 III
PROLOG II
29 III
Lecture 5: Symbol-Based Machine Learning
Lecture 6: Abduction and Induction in Expert Systems
2 IV
PROLOG III
5 IV
Lecture 7: Computational Complexity I
Lecture 8: Computational Complexity II
16 IV
PROLOG IV
19 IV
Exercise 8 (2 E-groups): NP-Complete and NP-Hard Problems
23 IV
PROLOG V
26 IV
FREE
30 IV
NP-Complete and NP-Hard Problems
10 V
Lecture 9: LISP I
Lecture 10: LISP II
7 V
SCHEME I
17 V
Lecture 11: Approximate Reasoning: Rough Sets
Lecture 12: Approximate Reasoning: Fuzzy Sets
14 V
SCHEME II
24 V
Lecture 13: Non-Classical Logics
Lecture 14: Multi-Agent Systems
21 V
SCHEME III
31 V
28 V
SCHEME IV
7 VI
Exercise 14 (2 E-groups): Repetition of Lecture Material I
4 VI
SCHEME V
14 VI
Exercise 15 (2 E-groups): Repetition of Lecture Material II
11 VI
Repetition of Lecture Material I
Phoob