Materiały wykładowe w postaci dokumentów PDF

• Sztuczna inteligencja — wprowadzenie
• Eksploracja danych — wprowadzenie
• Analiza danych z wykorzystaniem zbiorów przybliżonych
• Generowanie reguł minimalnych
• Wnioskowanie w systemach regułowych
• Realizacja systemu ekspertowego z wykorzystaniem pakietu Sphinx
• Wnioskowanie w warunkach niepewności, model współczynników pewności
• Wersja opisowa — sieć Bayesa i model współczynników CF.
• Model współczynników CF — tylko wzory i przykład.
• Synteza przykładowej bazy wiedzy
• Tablice decyzyjne, przykładowe zadania

Rachunek zdań, rachunek predykatów, dowodzenie twierdzeń:

• Rachunek zdań, metoda założeniowa, prezentacja FLASH.
• Rachunek zdań, metoda założeniowa, ściągaw a reguł pierwotnych.
• Rachunek zdań, metoda założeniowa, prezentacja i ćwiczenia by Tomek Jach.
• Rachunek zdań, metoda założeniowa, prezentacja by Piotr Paszek.
• Rachunek zdań, metoda założeniowa, prezentacja by Jerzy Pogonowski.
• Logika, metoda założeniowa, szerzej i bardziej formalnie, prezentacja by Michał Lipnicki.
• Dowody założeniowe w pigułce by Mariusz Urbański.