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í...
Seznámit studenty s možností tvorby objektově orientovaných aplikací v rámci platformy Java. Po absolvování předmětu
bude student schopen:
posoudit vhodnost platformy Java pro zamýšlenou aplikac...