od kr4UT1k » 23. 12. 2008 12:25
teoreticka - eulerova funkce, výpočet, vztah s grupami a monoidy
prakticka - je (Q,<=) svaz? a je úplný? modulární?
zlehka jsem se zasekl na dokazování vzorce pro výpočet e. fce, tak mi dal na jedničku ještě rychle zformulovat větu, že každá booleova algebra je izomorfní booleově algebře potenční množiny atomů s prunikem, sjednocenim, doplnkem, prazdnou mnozinou a mnozinou vsech atomu, +popsat tu bijekci, bez důkazu
teoreticka - eulerova funkce, výpočet, vztah s grupami a monoidy
prakticka - je (Q,<=) svaz? a je úplný? modulární?
zlehka jsem se zasekl na dokazování vzorce pro výpočet e. fce, tak mi dal na jedničku ještě rychle zformulovat větu, že každá booleova algebra je izomorfní booleově algebře potenční množiny atomů s prunikem, sjednocenim, doplnkem, prazdnou mnozinou a mnozinou vsech atomu, +popsat tu bijekci, bez důkazu