Other formats:
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) (Survival of the most elegant. Why representation of logical system also matters (BRAK, 23. 11. 2015, Brno)). In \textit{BRAK}. 2015.
|