Sylabus
Kurz je zaměřen na základní logické pojmy (pravda, negace, logická platnost, důkaz, logická pravda, vlastnosti a relace, množiny) a problémy (pluralita logik, axiomatizace). Průběžně budou vyloženy základy výrokové logiky a teorie množin.
Od 30.11.2021 bude předmět vyučován online, přes zoom. Pro přihlášení na přednášku použijte tento link: https://cesnet.zoom.us/j/94524602859?pwd=QnJoNmpuYVJqZ2RnZmoydTArbFBZdz09