Na první pohled sympaťák, na druhý ocas co na přednáškách vysvětluje zmateně a nesrozumitelně. Celková organizace průběhu UTI byla dost ubohá. Tolik z mé strany.
Vysvětlit umí dobře, je to celkem machr na matiku, ale celkem mě naštvalo jak si u obhajoby SPR hrál na blbečka jen aby si prověřil jestli tomu rozumím a celkem se v tom pitval.
Na SPR perfektní, umí dobře vysvětlit řešení a navíc pokud má člověk problém, odepíše i v sobotu a v neděli aby pomohl, to se opravdu jen tak nevidí ! Takže SPR vřele doporučuji!
Studenti se seznámí se základy výrokové a predikátové logiky. Probereme pojem přímého a nepřímého důkazu a základní metody pro důkaz logické pravdivosti a platnosti úsudku. Dále se studenti seznámí...
Předmět je věnován návrhu, analýze a implementaci algoritmů s důrazem na hledání co nejefektivnějších algoritmů z hlediska výpočetní složitosti. Cílem kurzu je seznámit studenty s různými technikam...