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
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