Fórum studentů MFF UK

Byl jsem na zkoušce minulej tejden.

Otázky:
1) occur-check - definovat lepší modovanost a jak to souvisí
2) idea dokazování správnosti - pre a post podmínky
3) stupňové zobrazení, definovat pomocí toho zastavení a napsat nějakej jednoduchej příklad

Tak taky přidám zkušenost s jinou komisí - Šámal, Majerech, Hnětynka, Hoksza 1) jsem měl ok a Šámal se jen ptal, jak by se definice dala upravit, aby fungovala i v nekonečnu - řekl jsem jen, jak vypadá okolí nekonečna a víc se neptal 2) napsal jsem definici dvou jevů, nezávislost n po dvou a pak i t...

Ještě u tý 7) byl místo intu long a bylo mi řečeno, že se mělo odhalit i to, protože se long nikdy nebude inkrementovat atomicky.

Dnešní otázky:
CEM - Common Evaluation Methodology
- co to je
- úrovně vyhodnocení EAL
- jaký formální model to přináší

Správa konfigurací/verzí
- co to je
- bezpečnostní výhody
- softwarové hrozby (obecně)

Dodávám skupinu B: 1) Zformulujte a dokažte Cayley-Hamiltonovu větu (7) Definujte vlastní vektor matice. (1) 2) Mějme matici řádnu n A = pod diagonálou pětky, jinak všude dvojky např. pro n=4: 2 2 2 2 5 2 2 2 2 5 2 2 2 2 5 2 a) spočítejte det(A) (3) b) spočítejte A nn -1 (3) 3) Buď A = 3 2 4 2 0 2 4...

Kvíz si moc nepamatuju, ale byl dosti vražednej - bylo nás tam něco málo přes 20 a jen 3 zvládli 8 bodů, víc než 8 níkdo. Tak se nad námi Obdržálek slitoval a nechal napsat test i nás se sedmi body s tím, že musíme písemku napsat hezky :D. Z kvízu si vzpomínám zhruba na: 1) zpětnovazební řadič 2) or...

Z toho jsem bral něco taky, ale ne všechno mi vonělo, tak jsem to různě kombinoval

Já čerpal z tohohle, tak třeba ti to taky pomůže
http://ies-prague.org/forum/attachment.php?item=935

Moje sada:

1) limita posloupnosti
2) Cauchyův součin řad, derivace inverzní funkce
3) limitní srovnávací kritérium
4) konvexita a jednostranné derivace

Otázky 26. 1. 10:00: 1) binomická věta + důkaz 2) Eulerova formule + důkaz 3) nalézt všechna k, pro která je k-regulární graf rovinný 4) zadána ČUM ({1, ..., 12}, dělitelnost) a) dokázat, že je to ČUM b) nalézt minimální, maximální, nejmenší, největší prvek c) nakreslit Hasseův diagram d) určit šířk...

Díky za rychlou odpověď. Mám tam ale už ten pátek zapsanej a nejde mi to odhlásit, píše mi to, že rozvrhový lístek nelze odhlásit. Vzniká mi tam pak kvůli tomu problém a upozorňuje mě to na překrývající výuku. To by mi potom neprošlo kontrolou zápisu, ne? Překrývající výuka by neměla kontrole zápis...

Díky za rychlou odpověď. Mám tam ale už ten pátek zapsanej a nejde mi to odhlásit, píše mi to, že rozvrhový lístek nelze odhlásit. Vzniká mi tam pak kvůli tomu problém a upozorňuje mě to na překrývající výuku. To by mi potom neprošlo kontrolou zápisu, ne?

Řeším podobnej problém. Mám jedinou přednášku v pátek, rád bych si ji dal na jinej den, termíny tam jsou, ale nejdou mi zapsat. Pokud bych chtěl zapsat přednášku v jinej den, co přesně bych měl udělat?