Nalezeno 15 výsledků hledání

od LordG
25. 6. 2016 11:19
Fórum: Magisterské SZZ
Téma: I2 softwarove inzenyrstvi 20.6.2016
Odpovědi: 1
Zobrazení: 3612

Re: I2 softwarove inzenyrstvi 20.6.2016

Průběh: všichni jsme seděli v S9, v každé lavici jeden, byla vytištěná tabulka řádky = jména, sloupce = časy. Na každou otázku 45min. Začátek v 9, začátek posledního zkoušení ve 12:45. 1) ZSV - Mareš - Rekurzivní a rekurzivně spočetné množiny, vlastnosti, věty a principy důkazů vět. Definoval jsem t...
od LordG
10. 1. 2014 13:10
Fórum: MAI062 Algebra I
Téma: Šaroch 10.1.2014
Odpovědi: 3
Zobrazení: 4469

Šaroch 10.1.2014

Zřejmě první Šarochova zkouška na Algebře I, takže systém: 1. definice (4b) + příklad (2b) 2. znění věty bez důkazu (3b) 3. věta (2b) s důkazem (4b) --- Celkem až 15b. 1 <= 15-12b 2 <= 9-11b 3 <= 6-8b Jak vidno, je to celkem benevolentní. Skupiny byly A a B, tedy moje B bylo následující: 1. Definujt...
od LordG
10. 1. 2014 12:39
Fórum: DBI007 Organizace a zpracování dat I
Téma: Zk Hoksza 9.1.2014
Odpovědi: 1
Zobrazení: 3187

Re: Zk Hoksza 9.1.2014

Doplňuji:
- Jaká je obvyklá velikost sektoru na HDD?
od LordG
28. 5. 2013 17:29
Fórum: PRG005 Neprocedurální programování
Téma: Kryl 28.5.2013
Odpovědi: 0
Zobrazení: 2585

Kryl 28.5.2013

První část ------------ HASKELL 1) Řídká matice, reprezentovaná jako (m, n, s), kde: m = počet řádek n = počet sloupců s = seznam trojic (i,j,a i,j ), kde i,j je klasický index v matici a a i,j je nenulová hodnota. Úkol: naprogramovat transpozici a násobení takto reprezentovaných matic. 2) Definovat...
od LordG
4. 1. 2013 20:38
Fórum: AIL062 Výroková a predikátová logika
Téma: Zkouška 4.1.2013 (předtermín)
Odpovědi: 2
Zobrazení: 3658

Re: Zkouška 4.1.2013 (předtermín)

..dále k průběhu: tato písemka byla na hodinu, potom se doc. Mlček s panem Glivickým vrhli na nás a postupně to s námi s jedním za druhým konzultovali. Dlužno podotknout, že p. Glivický byl velice shovívavý, jak je z mého výše popsaného řešení patrné :) . Celá zkouška zabrala necelou hodinu a půl.
od LordG
4. 1. 2013 20:36
Fórum: AIL062 Výroková a predikátová logika
Téma: Zkouška 4.1.2013 (předtermín)
Odpovědi: 2
Zobrazení: 3658

Zkouška 4.1.2013 (předtermín)

Zadání: 1. (VL) A) P = {p, q, r} P-teorie T má axiomatiku {p, q->r}. a) Napište formuli v DNF axiomatizující T b) Napište JKE teorie T B) P je nekonečná množina prvovýroků. T je teorie s axiomy {not(p) nebo not(q); p, q jsou různé prvovýroky } a) Jak vypadají modely? b) Je T konečně axiomatizovateln...
od LordG
13. 6. 2012 20:40
Fórum: SWI095 Úvod do UNIXu
Téma: 13.6.2012
Odpovědi: 0
Zobrazení: 2768

13.6.2012

Zadání: Vytvořit skript, který vypíše strom hierarchické závislosti procesů. Závislost = rodič-potomek, identifikátorem je PPID z výpisu ps. Parametry: formát výpisu - nepovinný, seznam ps sloupců, které mají být vypsány podmínky - normálně, co parametr, to podmínka, ve tvaru SLOUPEC=HODNOTA nebo SL...
od LordG
8. 6. 2012 10:50
Fórum: TIN060 Algoritmy a datové struktury I
Téma: Čepek 8.6.2012
Odpovědi: 1
Zobrazení: 2482

Čepek 8.6.2012

Zadání bylo podle mého triviální. Ale tak jestli bylo se ukáže na ústní části v jednu :D 1) Odhadnout f(n) takové, že T(n) = T(n/3) + 2T(n/4) + 3n náleží theta(f(n)) a dokázat substituční metodou; navíc předpokládáme, že pro vhodné n0 T(n0) je O(1). 2) Platí/neplatí: Y je cesta od kořene k listu v A...
od LordG
5. 6. 2012 12:51
Fórum: DMI011 Kombinatorika a grafy I
Téma: 5.6.2012 Pangrác
Odpovědi: 0
Zobrazení: 2326

5.6.2012 Pangrác

1) definice vrcholového řezu
2) znění a důkaz ušatého lemmatu
3) suma z [(-1)^k] * (n nad k)^2 pro k = 0..n
4) náhradní: odhad kombinačních čísel
od LordG
4. 6. 2012 21:34
Fórum: PRG036 Technologie XML
Téma: 4.6.2012
Odpovědi: 0
Zobrazení: 2595

4.6.2012

Zadání stejné (typově) jako loni...
od LordG
21. 5. 2012 14:16
Fórum: MAI058 Lineární algebra II
Téma: Fiala 21.5.2012 - předtermín
Odpovědi: 1
Zobrazení: 3207

Fiala 21.5.2012 - předtermín

--- varianta A --- (i když podle všeho byly A a B shodné či velmi podobné) 1) definice ortogonálního doplňku 2) důkaz věty o lineární nezávislosti vlastních vektorů 3) rozhodnout o platnosti tvrzení: a) 3 vektory z R^3 mají stejnou ortogonální projekci do podprostoru dimenze 1. Jsou tedy lineárně zá...
od LordG
19. 1. 2012 13:57
Fórum: DMI002 Diskrétní matematika
Téma: 19.1.2012 Pangrác
Odpovědi: 2
Zobrazení: 3742

19.1.2012 Pangrác

Definice cesta, tah, graf
Věta o rozkladných třídách ekvivalence [R[x] =/= 0 a R[x]průnikR[y] =/= 0 => R[x]=R[y]]
Klasika - loterie s 10 čísly, losuje se 5 čísel, sázkař hádá 5 čísel, kolik jich nepravděpodobněji tipne :)
--
+ doplňující - Booleovo uspořádání
od LordG
17. 1. 2012 20:41
Fórum: SWI120 Principy počítačů a operačních systémů
Téma: Bulej 17.1.2012
Odpovědi: 3
Zobrazení: 4497

Re: Bulej 17.1.2012

...a čekání 24 hodin na výsledky :-/
od LordG
17. 1. 2012 13:55
Fórum: SWI120 Principy počítačů a operačních systémů
Téma: Bulej 17.1.2012
Odpovědi: 3
Zobrazení: 4497

Bulej 17.1.2012

Dobrá zpráva, KVÍZ nebyl a patrně nebude. Místo 4 otázek jich je 16. Otázky typově stejné jako v minulých letech, snad akorát ne tak všeobecné - stránkování s příkladem, co je pagefault, co je plně asociativní cache, procesor, převést snippet z C do assembleru, co je problém producent-konzument: pří...
od LordG
12. 1. 2012 17:37
Fórum: MAI057 Lineární algebra I
Téma: 12. 1. 2012 Matoušek (Předtermín)
Odpovědi: 7
Zobrazení: 6444

Re: 12. 1. 2012 Matoušek (Předtermín)

Další příklady:

1)
U vektorový prostor, f zobrazení z něj. Rozhodněte, jestli dim f(U)+rank f = dim U

2)
v systému generátorů {(2,3,1),(3,0,2),(0,1,1),(4,5,5)} najděte bázi..

a ještě extra jsem měl napsat Steinitze :)

Přejít na rozšířené vyhledávání