Lukáš Vích

Skvělý cvičící. UTI se s ním zvládne bez problému.

gobbl3r

gobbl3r - 10.04.2012

Úvod do teoretické informatiky

48 souborů

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řidat hodnocení
Cookies nám pomáhají poskytovat Vám naše služby. Využíváním těchto služeb souhlasíte s jejich použitím.