Fórum studentů MFF UK

Ahoj, ja som dnes tiež zložil štátnice. Potvrdzujem ozaj priateľskosť atmosféry a všetkých skúšajúcich z troch povinných okruhov sa ma nikto nepýtal na vyčísliteľnosť, tj. dostal som len dve otázky Logika (neznáma skúšajúca): vety o dedukcii. Vyslovené a dokázané pre VL, potom rozšírené pre PL, spom...

Ten nešťastník som bol zrejme ja, nestihol som sa škrtnúť.

Sorry.

1. Zväzy ako algebry — definícia, dokázať ekvivalentnosť s posetom (X, ≤) 2. Alexandrova lemma 3. Birkhoffova veta o prvo(filtroch|ideáloch) K 1. som definíciu napísal, ale pri triviálnosti ako je ukázať ekvivalenciu s klasickým čiastočným usporiadaním som sa začal motať; nakoniec som sa dostal na s...

No ja mám tiež Tichonovovu vetu o produktoch kompaktov ako poslednú vec, ale ja som vynechal poslednú (riadnu) prednášku + extra prednášku v skúškovom. Heine-Borel bol na ktorejsi pred-pred-predposlednej prednáške, ktorá sa venovala stručne metrickým priestorom. Ani by som nevedel, keby som z toho n...

Môžete pls niekto povedať, pokiaľ sa došlo v rámci štandardnej prednášky a čo sa už bralo na náhradnej prednáške v skúškovom? Na týchto posledných som nebol. Dík.

Volna algebra je algebra nezviazana nijakymi (nadbytocnymi) rovnicami, iba nagenerovana z konstant a operacii co najrozlisujucejsim sposobom. (Nadbytocnymi mam na mysli irelevantnymi k triede algebier samotnej — ak chcem volnu algebru v triede komutativnych grup, tak zrejme obmedzeniu komutativnosto...

Imho je v skriptach chyba a x << y by malo platit prave ak ∀ usmernenú D ⊆ X: y ≥ sup D ⇒ ∃ d ∈ D tž. x ≤ d Je to velmi podobne definicii suprema v realnych cislach. Ak je nieco aspon take velke ako supremum D, tak potom ak si vezmes cokolvek ostro mensie, tak najdes prvok d vacsi nez to cokolvek. R...

Dostal som Quicksort, popisal som teda A4-ku nejakymi zakladnymi vecami, ako je definicia, nejaky jednoduchy pseudokod (tak, ze "usporiadaj prvky pola tak, ze ∀i < pivot : pole <= pole[pivot], ∀i > pivot : pole > pivot" bola jedna instrukcia, tj. ziadne porno s cyklami, if-mi a iteracnymi ...