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 Základy programování je předmět, který svou náplní pokrývá oblasti základních znalostí studentů bakalářského
studia, a to ve vztahu především k programátorsky cíleným předmětům. Studenti b...