Celkem máme k dispozici
3
kategorií
52
témat
106
zdrojů
Nově přidáno
Logické spojky – shrnutí
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=shr-spojky
Implikace
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=implikace
Disjunkce
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=disjunkce
Konjunkce
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=konjunkce
Logické spojky – úvod
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=ucel
Značení – výroková logika
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=znaceni
Negace výroku
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=negace
Pravdivostní ohodnocení
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=ohodnoceni
Výrok
https://www2.karlin.mff.cuni.cz/~portal/logika/?page=vyrok
Kombinatorika (Jana Farská) - webová učebnice
https://www2.karlin.mff.cuni.cz/~portal/kombinatorika/