Získat dovednost v rozlišování správného a nesprávného úsudku ve výrokovém i predikátovém kalkulu intuitivně, pravdivostní tabulkou, pomocí pravidel a užitím množin. Ovládat techniky pro zjištění typu formule výrokového kalkulu a predikátového kalkulu.
KMT/ML Matematická logika pro učitele (ZSiLS)
Opciones de matriculación
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.