23. 11. 2015 Ivo Pezlar
Ivo Pezlar Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží 23. 11. 2015 Anotace Konkrétnímu vzhledu logických systémů se obecně nevěnuje příliš pozornosti. V přednášce se ale pokusím ukázat, že způsob reprezentace může mít mnohem větší vliv na to, jak s logikou pracujeme, než by se na první pohled mohlo zdát. Zaměřím se na […]