Heytingova operace - drobnost

Struktury, s nimiž se studenti již setkali (relace, algebraické struktury, struktury spojitosti); specifické vlastnosti, srovnání. Různé konstrukce (podobjekty, ekvivalence a kongruence, součiny, sumy a pod.) a jejich společné rysy. Zvláštní pozornost bude věnována částečným uspořádáním, a to jak obecným záležitostem, tak i aspektům speciálního významu pro informatiku. Některá základní fakta teorie kategorií.
bujon
Matfyz(ák|ačka) level I
Příspěvky: 26
Registrován: 28. 1. 2007 12:22

Heytingova operace - drobnost

Příspěvek od bujon »

Mám takový jednoduchý dotaz k Heytingove operaci. Mohl by mi někdo prosím napsat, jak se čte a -> b ? Nebyl jsem na přednášce a nevím jak to mám číst. "a šipka b" to předpokládám asi nebude ;)
Uživatelský avatar
kolage
Matfyz(ák|ačka) level I
Příspěvky: 32
Registrován: 27. 1. 2011 18:10
Typ studia: Informatika Mgr.

Re: Heytingova operace - drobnost

Příspěvek od kolage »

Jo, je to "a šipka b", byl jsem tam a sám Pultr to tak říkal :)
bujon
Matfyz(ák|ačka) level I
Příspěvky: 26
Registrován: 28. 1. 2007 12:22

Re: Heytingova operace - drobnost

Příspěvek od bujon »

aha, diky, ja myslel ze to bude mit nejaky spesl nazev :D
Odpovědět

Zpět na „MAI064 Matematické struktury“