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í...
0 souborů
Mnoho praktických problémů má jeden společný rys - vhodné řešení musí splňovat řadu z reality plynoucích omezení (rozvrh výuky, plán pracovní činnosti, přidělení rádiových frekvencí, ...). V posled...