Errata

Errata

Errata

itt - Webnode

itt - Webnode

Funkcionální programování - Lambda kalkulus

Funkcionální programování - Lambda kalkulus

Vektory

Vektory

Ověřování platnosti úsudků metodou protipříkladu

Ověřování platnosti úsudků metodou protipříkladu

11. Ověřování, zda je formule tautologií metodou protipříkladu

11. Ověřování, zda je formule tautologií metodou protipříkladu

Matematická logika

Matematická logika

LDAP2JIP s grafikou

LDAP2JIP s grafikou

skrypt wykładu

skrypt wykładu

Úvod do logiky (VL): 10. Výrokově

Úvod do logiky (VL): 10. Výrokově