Logic (BA, double-subject) - AFS400001
|
|
Schedule Noticeboard
|
||
Last update: Mgr. Vít Punčochář, Ph.D. (22.11.2021)
Požadavky k zápočtu i ke zkoušce jsou dány celým objemem probrané látky a průběžným řešením úkolů. Úkoly je třeba řešit ve stanoveném termíny, na pozdější odevzdání nebude brán zřetel s ohledem na rovnost podmínek pro všechny účastníky kurzu. Zápočet i zkouška probíhají formou pohovoru nad odevzdanou přípravou. |
|
||
Last update: Mgr. Vít Punčochář, Ph.D. (22.11.2021)
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 |