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
Nalezeno 13 výsledků hledání
Přejít na rozšířené vyhledávání
- 24. 6. 2014 18:50
- Fórum: I1 Ostatní Teoretická informatika
- Téma: Logicke programovani II
- Odpovědi: 15
- Zobrazení: 11446
- 29. 6. 2013 18:31
- Fórum: Bakalářské SZZ
- Téma: IOI - 27.6.2013 - 8:30
- Odpovědi: 9
- Zobrazení: 8646
Re: IOI - 27.6.2013 - 8:30
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...
- 28. 6. 2013 09:43
- Fórum: Bakalářské SZZ
- Téma: IOI - 27.6.2013 - 8:30
- Odpovědi: 9
- Zobrazení: 8646
Re: IOI - 27.6.2013 - 8:30
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.
- 17. 1. 2012 20:50
- Fórum: SWI089 Ochrana informace I
- Téma: Zkouška 17. 1. 2012
- Odpovědi: 1
- Zobrazení: 3626
Zkouška 17. 1. 2012
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ě)
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ě)
- 30. 5. 2011 16:50
- Fórum: MAI058 Lineární algebra II
- Téma: Hladik - 30.5.2011
- Odpovědi: 5
- Zobrazení: 5478
Re: Hladik - 30.5.2011
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...
- 11. 2. 2011 20:33
- Fórum: SWI120 Principy počítačů a operačních systémů
- Téma: Obdržálek 11. 2. 2011
- Odpovědi: 0
- Zobrazení: 2600
Obdržálek 11. 2. 2011
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...
- 8. 2. 2011 16:46
- Fórum: MAI054 Matematická analýza I
- Téma: hustota Q a R/Q
- Odpovědi: 3
- Zobrazení: 3994
Re: hustota Q a R/Q
Z toho jsem bral něco taky, ale ne všechno mi vonělo, tak jsem to různě kombinoval
- 8. 2. 2011 15:00
- Fórum: MAI054 Matematická analýza I
- Téma: hustota Q a R/Q
- Odpovědi: 3
- Zobrazení: 3994
Re: hustota Q a R/Q
Já čerpal z tohohle, tak třeba ti to taky pomůže
http://ies-prague.org/forum/attachment.php?item=935
http://ies-prague.org/forum/attachment.php?item=935
- 8. 2. 2011 14:52
- Fórum: MAI054 Matematická analýza I
- Téma: Stará - ústní - témata
- Odpovědi: 6
- Zobrazení: 5132
Re: Stará - ústní - témata
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
1) limita posloupnosti
2) Cauchyův součin řad, derivace inverzní funkce
3) limitní srovnávací kritérium
4) konvexita a jednostranné derivace
- 26. 1. 2011 20:59
- Fórum: DMI002 Diskrétní matematika
- Téma: Mareš 26. 1.
- Odpovědi: 1
- Zobrazení: 2965
Mareš 26. 1.
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...
- 24. 9. 2010 22:57
- Fórum: Klubovna
- Téma: Rozvrh pre prváka
- Odpovědi: 28
- Zobrazení: 10910
Re: Rozvrh pre prváka
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...
- 24. 9. 2010 21:52
- Fórum: Klubovna
- Téma: Rozvrh pre prváka
- Odpovědi: 28
- Zobrazení: 10910
Re: Rozvrh pre prváka
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?
- 24. 9. 2010 21:43
- Fórum: Klubovna
- Téma: Rozvrh pre prváka
- Odpovědi: 28
- Zobrazení: 10910
Re: Rozvrh pre prváka
Ř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?