ÚVOD DO LOGICKÉHO MYŠLENÍ

Garant:

Přednášející:

Cvičící:

Tutor pro studenty v kombinované formě studia:

Aktuální informace

Informace pro studenty v kombinované formě studia

Tutor:

Náplň předmětu

Cílem předmětu je ..

Požadavky na zápočet

Písemka Aktivita na cvičení

Podmínky pro získání zápočtu

Zkouška

Cvičení

Materiály

Slidy z přednášek

Introduction to Logical thinking

Prezentace 1

Propositional logic

Prezentace 2

Propositional logic

Prezentace 3

Naive theory of sets

Prezentace 4

1st-order Predicate logic

Prezentace 5

Interpretation, model

Prezentace 6 - 7

Relations, mappings, countable and uncountable sets

Prezentace 8

Relations and functions

Prezentace 9 - 10