Matfyz Wiki
Diff for ''
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| <div style="background-color: #CEF; border: 1px solid #8AF; padding: 5px 5px 5px 5px; margin: 5px 5%;"> <small> '''[[Státnice_-_Informatika_-_I2:_Softwarové_systémy|Státnice -- Softwarové systémy]]'''<br/> ''Složitost a vyčíslitelnost'' -- [[Státnice - Metody tvorby algoritmů_I2|Tvorba algoritmů (10🎓)]], [[Státnice - NP-úplnost_I2|NP-úplnost (15🎓)]], [[Státnice - Aproximační algoritmy a schémata_I2|Aproximační algoritmy (6🎓)]], [[Státnice - Algoritmicky vyčíslitelné funkce_I2|Vyčíslitelné funkce a rekurzivní množiny (8🎓)]], [[Státnice - Algoritmicky nerozhodnutelné problémy_I2|Nerozhodnutelné problémy (9🎓)]], [[Státnice - Věty o rekurzi_I2|Věty o rekurzi (6🎓)]]<br/> ''Datové struktury'' -- [[Státnice - Stromové vyhledávací struktury_I2|Stromy (32🎓)]], [[Státnice - Hašování_I2|Hašování (13🎓)]], [[Státnice - Třídění_I2|Třídění (10🎓)]]<br/> ''Databázové systémy'' -- '''[[Formální základy databázové technologie|Formální základy]]''': [[Formální základy databázové technologie/Relace|Relace (12🎓)]], [[Formální základy databázové technologie/Datalog|Datalog (9🎓)]], [[Formální základy databázové technologie/Ostatni|Ostatní (0🎓)]] '''[[Databázové modely a jazyky|Modely a jazyky]]''': [[Databázové modely a jazyky/SQL|SQL (7🎓)]], [[Databázové modely a jazyky/DIS|DIS (7🎓)]], [[Databázové modely a jazyky/Odborne|Odborné (3)]] '''[[Implementace databázových systémů|Implementace]]''': [[Implementace databázových systémů/Transakce|Transakce (5🎓)]], [[Implementace databázových systémů/Indexace|Indexace (10🎓)]], [[Implementace databázových systémů/Komprese|Komprese (3)]]<br/> ''Softwarové inženýrství'' -- [[Programovací jazyky a překladače|Programovací jazyky a překladače]], [[Objektově orientované a komponentové systémy|Objektově orientované a komponentové systémy]], [[Analýza a návrh softwarových systémů|Analýza a návrh softwarových systémů]]<br/> ''Systémové architektury'' -- [[Operační systémy (státnice)|Operační systémy]], [[Distribuované systémy|Distribuované systémy]], [[Architektura počítačů a sítí|Architektura počítačů a sítí]]<br/> ''Počítačová grafika'' -- [[Geometrické modelování a výpočetní geometrie|Geometrické modelování a výpočetní geometrie]], [[Analýza a zpracování obrazu, počítačové vidění a robotika|Analýza a zpracování obrazu, počítačové vidění a robotika]], [[2D počítačová grafika, komprese obrazu a videa|2D počítačová grafika, komprese obrazu a videa]], [[Realistická syntéza obrazu, virtuální realita|Realistická syntéza obrazu, virtuální realita]]<br/> <br> 🎓 - znamená kolikrát byla otázka u státnic </small> </div> |
# Dukaz : Charakterizace kompaktnich podmnozin v R na ktou |
| Line 15: | Line 3: |
| [[Category:Státnice - Softwarové systémy]] | <{ForumPost(poster="Trupik", timestamp=2005-06-15 13:47:53)}> vite nekdo, jak se dokazuje druha cast vety, totiz ze je li K(podmnozina R na ktou) uzavrena a omezena, pak je kompaktni V sesite mam napsano na R Bolzanova - Weier. veta, potom indukci, ale jakou indukci? ... A v pozadavcich je to mezi vetama z dukazem... A to nejveselejsi - zejtra uz bych to mel umet :( <{/ForumPost}> <{ForumPost(poster="MyS", timestamp=2005-06-15 14:04:00)}> Chm, ja teda jdu az za tyden a este jsem se to neucil, ale jak se tak divam do poznamek, tak indukci podle N (nebot konvergence v R^n je po slozkach). Ale to hlavni je, ze podle Pickova pdfka je tam v zavorce "bez dukazu"... :D . Myslime tu samou vetu, ze? <{/ForumPost}> <{ForumPost(poster="Trupik", timestamp=2005-06-15 14:18:39)}> Nojo, mas pravdu, je to bez dukazu - ale pozor, ja nejsem slepej! Akorat ze to pdfko jsem si stahnul uz driv a tam jeste (bez dukazu) nebylo - nejaka starsi verze nebo co... mam to tady pred sebou vytisteny cerny na bilym:). To se mi vazne ulevilo, i kdyz jsem nakonec jeden dukaz nasel na [http://planetmath.org/?op=getobj&from=objects&id=3328](http://planetmath.org/?op=getobj&from=objects&id=3328) a kdybys mi nenapsal, tak bych se ho snad i nedejboze naucil! Laughing <{/ForumPost}> |