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