(Měl jsem pouze na ML - přednášky) Dokáže vysvětlit látku. Občas má tendence se do toho zamotat a vysvětluje zdlouhavěji (má tedy trošku delší přednášky), ale je vidět, že tomu rozumí. Neměl jsem při ústní zkoušce, ale zdá se, že je přísnější.
Seung - 01.02.2012
Inteligentní systémy
9 souborů
Student bude seznámen s problémy, které jsou předmětem discipliny Logická sémantika a reprezentace znalostí. Přesné určení významu výrazu přirozeného jazyka spočívá v nalezení algoritmicky struktur...Inteligentní systémy
9 souborů
Student bude seznámen s problémy, které jsou předmětem discipliny Logická sémantika a reprezentace znalostí. Přesné určení významu výrazu přirozeného jazyka spočívá v nalezení algoritmicky struktur...Matematická logika
14 souborů
Cílem předmětu je seznámit studenty s pojmovým aparátem a metodami výrokové logiky, predikátové logiky 1. řádu a teorií formálních systémů. Tento aparát a tyto metody jsou běžně používány v různýc...