Skvělý cvičící. UTI se s ním zvládne bez problému.
gobbl3r - 10.04.2012
Úvod do teoretické informatiky
148 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í...