1. Rek. spocetnost sla dokazat prepisanim na S = { <x,y,z> | ex. s1, Ex s2 [z patri Wx,s1 v zjednoteni s Wy,s2]}, kde Wx,s1, Wx,s2 su rekurzivne spocetne a zjednoceni a ex. kvantifikator to nepokazi.
3. http://www.shannarasite.org/kb/kbse40.html
Nalezeno 13 výsledků hledání
Přejít na rozšířené vyhledávání
- 6. 2. 2013 16:21
- Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
- Téma: Zk 6.2.2013
- Odpovědi: 1
- Zobrazení: 3079
- 31. 1. 2013 21:02
- Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
- Téma: Zk 23.1.2013
- Odpovědi: 5
- Zobrazení: 5074
Re: Zk 23.1.2013
Ja mam otazku este k tej jednotke. Ako sa tam pouziva konecna aproximace? Nestaci to prepisat na: S = {x | Wx obsahuje cele cislo} = {x| (ex.y)Fi_x(y) div 2 = 0} a povedat, ze operacie div a = su rekurzivne spocetne a ex. kvantifikator tu rekurzivnu spocetnost tiez nepokazi a teda cela S je rekurziv...
- 30. 3. 2012 22:11
- Fórum: PGR003 Počítačová grafika I
- Téma: Vypracovane otazky
- Odpovědi: 1
- Zobrazení: 3505
Re: Vypracovane otazky
...A este ta priloha
- 30. 3. 2012 22:02
- Fórum: PGR003 Počítačová grafika I
- Téma: Vypracovane otazky
- Odpovědi: 1
- Zobrazení: 3505
Vypracovane otazky
Pokusil som sa dat dokopy skuskove otazky podla prednasok a aspon z casti ich vypracovat. Moj nedokonceny vytvor posielam v prilohe. Snad sa niekto podujme dokoncit, co som ja zapocal Inak par minut pred skuskou som nasiel jedno pdf s ciastocne vypracovanymi otazkami :-). Takze aj to sa vam moze hod...
- 20. 1. 2012 10:32
- Fórum: TIN062 Složitost I
- Téma: [Zk] 20.1.2012
- Odpovědi: 3
- Zobrazení: 3734
[Zk] 20.1.2012
1. Problem: Hamiltonovska kruznice pro nadkubicke grafy (HM>3) Instance: Neorientovany graf G ve ktorem ma kazdy vrchol stupen alespon 4. Otazka: Existuje v G Hamiltonovska kruznice? Navrhnete polynom.algoritmus (s co najlepsi casovou zlozitosti) resici problem(HM>3) nebo dokazte, ze je problem (HM>...
- 14. 2. 2008 10:43
- Fórum: MAI062 Algebra I
- Téma: Seznam otazek!!!
- Odpovědi: 4
- Zobrazení: 15012
Re: Seznam otazek!!!
Trocha som ten seznam otazek usporiadal podla tematickych okruhov(Vid priloha). Taktiez som aspom niektore odkazy na vety precisloval podla "algi07.pdf". Ma to este svoje muchy, ale s tym sa uz bude musiet pohrat niekto iny. Bo ja to uz mam uspesne za sebou :-). Zemlicka je fakt v pohode. ...
- 22. 1. 2008 23:42
- Fórum: PRG005 Neprocedurální programování
- Téma: zkouška 21.1. [Hric]
- Odpovědi: 14
- Zobrazení: 8855
Re: zkouška 21.1. [Hric]
Ako prebiehala skuska? Bolo napisanie nejakej casti z malych prikladou podmienkou pripustenia k velkemu? Alebo sa to pisalo dohromady? Ako dlho trvala ustna cast? Kedy bola?
- 16. 1. 2008 10:47
- Fórum: MAI059 Pravděpodobnost a statistika
- Téma: [zk] 15.01.08'
- Odpovědi: 5
- Zobrazení: 3606
Re: [zk] 15.01.08'
Zadanie prvej ulohy znelo: 1. Necht A1,A2,...An jsou nahodne jevy na temze pravdepodobnostnym prostoru. (1)Kdy jsou javy sdruzene nezavisle. (2)Kdy jsou tyto jevy neslucitelne. (3)kdy jsou tyto jevy nezavisle po dvou? No a tie zvysne ulohy uz viac menej odzneli. Termin bol skutocne velmi dobry a aj ...
- 14. 1. 2008 16:09
- Fórum: DBI007 Organizace a zpracování dat I
- Téma: [Zk] 7.1.2008
- Odpovědi: 5
- Zobrazení: 6578
Re: [Zk] 7.1.2008
Ja len chcem opravit, ze pre ten B* strom je to 4xREAD(koren plus 3 listy) dalej 4xWRITE(nove listove stranky) plus 3xWRITE(deli sa povodny koren na novy koren a dvoch synov).
Ja to mam za dva a prajem vela stastia ostatnym.
Ja to mam za dva a prajem vela stastia ostatnym.
- 26. 6. 2007 09:59
- Fórum: TIN071 Automaty a gramatiky
- Téma: Napište jaký jste dostali příklad...
- Odpovědi: 9
- Zobrazení: 4352
Takze dnes 26.6.07 som dostal takyto priklad: Pro nasledujuci automat vytvorit(obecne pouzitelny algoritmus) regularny vyraz, jehoz hodnota je jazyk prijimany danym automatom. Automat: 3 stavy, abeceda bola ab. 1->1 a 1->2 b 2->2 b 2->3 a 3->2 b 3->1 a Napisat a dokazat tvrdenia, ktore zarucuju, ze ...
- 25. 6. 2007 17:00
- Fórum: TIN071 Automaty a gramatiky
- Téma: Otazky
- Odpovědi: 16
- Zobrazení: 10316
Zdravim, chcem sa opytat, ze ci v otazke : Necht G = (N,T,S,P) je monotonni generativni gramatika a (u→v)∈P je jeji pravidlo. Potom plati: - |u| ≤ |v| - |v| ≤ |u| - u = αβγ, α,γ∈(N∪T)*, β∈N - v = αβγ, α,γ∈(N∪T)*, β∈N nema byt spravne zaskrtnuta aj moznost a). Lebo z definicie monotonnej gram mi to t...
- 13. 2. 2007 17:07
- Fórum: 2006
- Téma: Zap 13.2.2009
- Odpovědi: 0
- Zobrazení: 1715
Zap 13.2.2009
Zadanie:" Ukolem je napsat program, ktery by provadel vyhodnoceni infixnich vyrazu s operatory +,-,*,/. Vyraz muze obsahovat i zavorky. Ale pozor! Aby to nebylo tak jednoduche: - kazdy z operatoru bude mit urcenou prioritu - bude dan seznam dovolenych operandu - dale bude pro kazdy operator OP ...
- 5. 6. 2006 15:29
- Fórum: 2005
- Téma: zapocet 5.6.2006
- Odpovědi: 2
- Zobrazení: 2911
zapocet 5.6.2006
Zapoctova pisemka 5.6.2006 http://nenya.ms.mff.cuni.cz/~holub/testa.html Zadani Pro dany graf a vrcholy vypiste 1 pokud jsou dosazitelne a 0 jinak. Volani programu bude vypadat takto: najdi.exe -f filename -n maxcislo b1 e1 b2 e2 b3 e3 [...] kde: * maxcislo je nejvyssi cislo vrcholu * filename je so...