Matematická logika

Matematická logika

Matematická logika

Úvod do informatiky

Úvod do informatiky

4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

AXIOMATICKÁ VÝSTAVBA VÝROKOVÉ LOGIKY

AXIOMATICKÁ VÝSTAVBA VÝROKOVÉ LOGIKY

Matematická logika

Matematická logika

Doba římská a doba stěhování národů – Roman Age and Migration

Doba římská a doba stěhování národů – Roman Age and Migration

Reprezentace znalostí

Reprezentace znalostí

Y01MLO

Y01MLO

DISKRETNE STRUKTURE 1 Odgovori na pitanja za

DISKRETNE STRUKTURE 1 Odgovori na pitanja za

Ispit, januarski 2 rok, 17.03.2012

Ispit, januarski 2 rok, 17.03.2012

Úvod do logiky (VL): 6. Vybrané tautologie

Úvod do logiky (VL): 6. Vybrané tautologie

Matematická logika 3. prednáška

Matematická logika 3. prednáška