ISMU Učební materiály

Výroková logika:
Basics of ML -> ml-classification.pdf

Predikátová logika:
Advanced_machine_learning -> l3_inductive_logic_programming