Další formáty:
BibTeX
LaTeX
RIS
@misc{1324258, author = {Pezlar, Ivo}, booktitle = {BRAK}, language = {cze}, title = {Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno)}, year = {2015} }
TY - SLIDE ID - 1324258 AU - Pezlar, Ivo PY - 2015 TI - Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno) N2 - 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 tři témata, a to (1) vývoj jazyka logických systémů (konkrétně predikátové logiky), (2) reprezentace významu pomocí pravidel (konkrétně v rámci Gentzenova systému přirozené dedukce) a (3) vliv reprezentace na naši představivost a praktické důsledky (konkrétně elektromechanizace uvažování a rozvoj počítačů). ER -
PEZLAR, Ivo. Přežití nejelegantnějšího aneb na vzhledu logického systému taky záleží (BRAK, 23. 11. 2015, Brno). In \textit{BRAK}. 2015.
|