Blogy

zobraz dalších 5 blogů

Programování je základem pro svobodný život

Programování je základem pro svobodný život, programování vzniklo díky duševní svobodě, tam kde není duševní svoboda, tam nemusíme umět duševně programovat, protože nám...
http://web.libimseti.cz/GVKB

Trocha filozofie, díl první

Tak opět nastal ten čas kdy máme jednu k posrání nudných hodin programování, naše milá paní učitelka už me stihla dat aspoň 3 mínuska a jednu pětku, ale přesný počet nevim, já to...
http://web.libimseti.cz/Monty812

7:30...

...válečná zona...!531! tákže omlouvám se že vás obýrám o zážiné čtení... ale v uterý odpoledne mi shořel asi zdroj proto píšu na nebezpečné půdě v hodině programování......
http://web.libimseti.cz/Shotgum

Manžel mluví ze spaní já se z toho zblázním

Logika a teorie množin. Syntaxe výrokové logiky, Hilbertův axiomatický systém, typy matematických důkazů, věta o dedukci, korektnost a úplnost, věta o kompaktnosti. Predikátová logika, syntaxe a sémantika, logicky ekvivalentní formule, zákony predikátové logiky, interpretace, model, teorie, Hilbertův axiomatický systém, korektnost a úplnost. Vícehodnotové logiky, fuzzy logiky. Teorie množin: aktuální a potenciální nekonečno, mohutnost, spočetné a nespočetné množiny, hypotéza kontinua, axiom výběru, formální systémy. Polynomy, kořeny polynomů, základní věta algebry, lineární algebra, Gaussova eliminace, řešení soustav lineárních rovnic, lineární prostor, lineární závislost a nezávislost, báze, dimenze, souřadnice, lineární zobrazení, matice, maticové operace, determinant, LU rozklad, afinní prostor, vlastní čísla a vektory, ortogonalita, analytická geometrie, lineární kódy. Pologrupy, monoidy, grupy, Abelovy grupy, použití grup, Euler-Fermatova věta, modulární aritmetika, čínská věta o zbytcích, testování prvočíselnosti. Tělesa zbytkových tříd, polynomy nad konečnými tělesy Zp, ireducibilita, okruhy a tělesa polynomů, Euklidův algoritmus pro polynomy nad Zp, aplikace konečných těles. Boolovská algebra. Binární relace a jejich vlastnosti, vztah orientovaných grafů a binárních h relací, ekvivalence a uspořádání, svazy a distributivní svazy. Homomorfismy struktur popsaných operacemi a/nebo relacemi, rovnosti, volné objekty, volné algebry. Pravděpodobnost a náhodný jev, podmíněná pravděpodobnost, závislost a nezávislost jevů, Bayesův vzorec, náhodné veličiny, distribuční funkce, spojitá a diskrétní rozdělení, náhodné vektory, směsi náhodných veličin, hašovací funkce, pravděpodobnostní algoritmy. Teorie informace, entropie, relativní entropie a vzájemná informace. Náhodný výběr, základní výběrové statistiky, výběrový průměr a rozptyl, testování hypotéz, testy o střední hodnotě a rozptylu, neparametrické testy, test dobré shody a korelace, analýza rozptylu, testy normality. Korelační a regresní analýza: lineární a kvadratická regrese, výběrová korelace. Stochastické procesy, Markovské řetězce, teorie front, Monte Carlo metody. Bootstrap metody. Asymptotická složitost, časová a paměťová složitost v nejlepším, průměrném a nejhorším případě. Třídy složitosti P a NP, NP-těžké a NP-úplné problémy, polynomiální redukce, Cookův teorém, Turingovy stroje, jejich zobecnění, problém zastavení, nerozhodnutelné problémy, vypočitatelnost a vyčíslitelnost. Exaktní metody a heuristiky, lokální a globální metody, algoritmy pro prohledávání stavového prostoru (s návratem, metoda větví a hranic), konstruktivní a iterativní heuristické metody, obrana před uváznutím v lokálním minimu, simulované ochlazování, genetické algoritmy, tabu prohledávání. Grafové modely, neorientované grafy, izomorfismus, sousednost, souvislost, orientované grafy, silná souvislost, prohledávání grafu do hloubky a do šířky, topologické uspořádání, dominující a nezávislé množiny, barevnost, planarita, regularita a symetrie grafů, stromy, kostry, kružnice, minimální kostry grafu, nejkratší cesty, toky v sítích, párování, návrh hladových algoritmů. Základy kombinatoriky, princip inkluze a exkluze, mohutnost množin konečných struktur. Regulární výrazy, jazyky a gramatiky, nedeterminismus. Bezkontextové jazyky a gramatiky, zásobníkové automaty, modely syntaktických analyzátorů, LL, LR, silné LR, SLR, LALR gramatiky, transformace bezkontextových gramatik, konstrukce syntaktického analyzátoru. Formální překlady, regulární překladové gramatiky a konečné překladové automaty, bezkontextové překladové gramatiky a zásobníkové překladové automaty, formální překlad řízený LL analyzátorem. Atributové gramatiky, výpočet hodnot atributů, formální překlady a jednoprůchodové atributované překlady. Překladač a jeho části, lexikální analyzátor, syntaktický analyzátor, zpracování sémantiky, generování cílového programu, optimalizace. Techniky návrhu algoritmů (rekurze, iterace, rozděl a panuj, hledání s návratem, hladové algoritmy, dynamické programování), časová a paměťová analýza složitosti algoritmů, specifikace a implementace datových struktur, datové struktury a jejich vlastnosti (pole, seznamy, množiny, tabulky, fronty, zásobníky, stromy, haldy), vyhledávání a vyhledávací stromy, vyvažování, algoritmy pro řazení a jejich stabilita, algoritmy pro vyhledávání v textu, grafové a síťové algoritmy, algoritmy výpočetní geometrie, algebraické algoritmy a algoritmy pro lineární algebru. Škálovatelnost a optimalita paralelních algoritmů, teorie paralelní složitosti, modely PRAM a APRAM, paralelní prefixový součet, technika Eulerovské cesty, paralelní řazení, paralelní algoritmy pro lineární algebru. Principy objektově orientovaného paradigmatu, pojmy objektově orientovaného programování (typy dat, objekt, zpráva, třída, polymorfismus, dědičnost, statická a dynamická vazba, zpracování výjimek). Objektově orientované a objektově založené programovací jazyky. Funkcionální programování, lambda kalkul, teorie rekurzivních funkcí, teorie pevného bodu, funkcionální programovací jazyky, logické programování, logické programovací jazyky, implementace funkcionálních a logických programovacích jazyků na von-neumannovských architekturách, virtuální stroje, ovládání paměti. Von Neumannova a harvardská architektura, architektura procesorů typu CISC a RISC, strojový kód a data, zpracování přerušení, polyadické číselné soustavy, kódy pro zobrazení záporných čísel, sčítačky, odčítačky, násobičky a děličky, lineární a cyklické bezpečnostní kódy, mikroarchitektura procesoru, proudové zpracování instrukcí a aritmetických operací, paralelismus na úrovni instrukcí, superskalární a VLIW procesory, predikce skoků a spekulativní provádění instrukcí, vektorové procesory. Vícevláknové a vícejádrové procesory, paměťová hierarchie, asociativní paměti. Skryté paměti, hardwarová podpora virtualizace paměti, dynamický překlad adres a TLB, jednočipové mikropočítače, vestavné procesory, řídící počítače, vkládání vstupů a výstupů mikropočítače, non-von-neumannovské architektury počítačů, architektury paralelních počítačů, se sdílenou pamětí (symetrické multiprocesory) s distribuovanou pamětí, koherence a konzistence sdílené paměti, synchronizační zámky a bariéry. Jádro OS, zavádění OS, privilegovaný uživatel a správce, procesy a vlákna a jejich plánování, komunikace a synchronizace, roury, časově závislé chyby, kritické sekce, metody vzájemného vyloučení, semafory, monitory, klasické synchronizační úlohy, uváznutí procesů, přidělování prostředků OS, virtualizace procesorů, přidělování a správa operační paměti, paměťová virtualizace, stránkování, segmentace, systémy souborů: soubory a adresáře, zabezpečení přístupu k souborům, virtualizace diskového prostoru, operační systémy reálného času. Komunikační kanály, komunikační protokoly, sdílení přenosového média, frekvenční a časový multiplex, širokopásmové sítě, směrovače, mosty a přepínače, mechanizmy a protokoly ochrany proti chybám, metody přístupu v lokálních a bezdrátových sítích, propustnost, latence a zátěž datové cesty, požadavky na kvalitu služby, ochrana proti zahlcení, interní a koncové řízení toku, rozklad datových toků, mechanismy kryptografické ochrany přenosu dat a autentizace. Propojovací sítě pro paralelní počítače, sběrnicové sítě, ortogonální a řídké hyperkubické přímé propojování sítě, nepřímé vícestupňové sítě, vnořování, simulace a výpočetní ekvivalence sítí, algoritmy pro permutace, skupinovou komunikaci a komunikaci jeden-všem a všichni všem, architektura mobilních systémů, sítě s infrastrukturou a ad-hoc sítě, směrovací algoritmy, optimalizace topologie, výstavba a automatická (re)konfigurace. Optimalizace spotřeby, přenosové kapacity, zpoždění, využití skupinové komunikace, podpora mobility v Internetu, VoIP sítích a v systémech middleware. Autonomie a kooperace v mobilních systémech, optické sítě. Modely výpočtu, spolupracující automaty, Petriho sítě, algebry procesů, pi-kalkul, distribuovaný výpočet, globální stav, kauzalita, logický čas, algoritmy výlučného přístupu, detekce a prevence zablokování, ukončení výpočtu, výpadky prvků, odolnost proti chybám, quorum algoritmy, replikace, asymetrické a symetrické algoritmy, kauzalita v distribuovaném systému, logický čas, Lamportovy hodiny. Metody řízení softwarových projektů, plánování, odhady náročnosti, matice zodpovědnosti, monitorování, testování, metriky, životní cyklus programového díla, datová a funkční analýza, konceptuální modely používané pro dokumentaci analýzy, logické modely používané pro dokumentaci návrhu, programová dokumentace implementace, metodiky a prezentační techniky softwarového inženýrství, převod konceptuálních modelů na logické a jejich implementace, technologie používané při návrhu, strukturované technologie, objektově orientované technologie, komponentové technologie, technologie pro síťové aplikace, návrhové vzory, technologie používané při implementaci programových systémů, webové technologie, testování, validace a verifikace, testy integrační, testy uživatelského rozhraní, finální testy, zátěžové testy, akceptační testy, provoz a údržba programového díla. Konceptuální datové modely, ER-model, entity, atributy, integritní omezení, logické datové modely, relační, objektový a relačně-objektový model, funkční závislosti, normální formy, návrh relačního schématu, vyjádření integritních omezení pro entitní typy a pro vztahové typy, primární klíč, unikátní klíč, cizí klíč, referenční integrita, dotazovací jazyky, architektury databázových systémů, klient-server, systém řízení bází dat (SŘBD), centralizované a distribuované databázové systémy, distribuce dat, replikace dat, víceuživatelské DB systémy, transakční zpracování, transakce a zámky, potvrzování a odvolávání změn, zajištění konzistence dat při paralelním přístupu, fyzická reprezentace dat, záznam, soubor, tabulka, index, techniky ukládání a přístupu k záznamům, B-stromy. Architektura a vrstvy informačního systému, systémy pro podporu rozhodování a systémy OLAP, podnikové informační systémy. Matematické základy kryptografie, symetrické a asymetrické algoritmy, blokové, proudové, exponenciální šifry, kryptografie veřejného klíče, digital signature, certifikáty, kryptosystémy založené na eliptických křivkách, HW implementace kryptografických algoritmů. Algoritmy strojového učení, ontologie a reprezentace znalosti, zpracování řeči a přirozeného jazyka, statistické a symbolické metody umělé inteligence, umělé neuronové sítě, teoretické základy, klasifikace paradigmat, učící algoritmy s učitelem i bez učitele, evoluční algoritmy, získávání znalostí z dat, shlukování, klasifikace, modelování a predikce dat, induktivní modelování, samoorganizace jako prostředek pro objevování vztahů mezi objekty, automatická konstrukce modelů metodami umělé inteligence. Spojitá simulace, simulace diskrétních systémů, kvaziparalelní prostředí, simulace číslicových obvodů (úrovně abstrakce, synchronní a asynchronní simulace, simulace struktur, simulace zpoždění, rezoluční funkce, modelování transakcí), systémy hromadné obsluhy: simulační a analytické modely, generování, transformace a testování pseudonáhodných posloupností, paralelní simulace (konzervativní a optimistické metody). Grafické prvky a jejich atributy, souřadnicové systémy a transformace, barevné prostory a modely, rastrová a vektorová grafika, operace s obrazy, algoritmy rovinné grafiky, základy prostorové grafiky a modelování těles, textury, řešení viditelnosti, osvětlovací modely, stínování, sledování paprsku a radiozita, interpolační a aproximační metody modelování křivek a ploch, datové struktury a algoritmy výpočetní geometrie, fraktály, virtuální realita, datové struktury pro vizualizaci dat, vizualizace objemových dat, dynamických jevů a informace, principy návrhu uživatelských rozhraní, modely uživatelských rozhraní, testování a vyhodnocování uživatelských rozhraní, návrh uživatelských rozhraní ve spolupráci s uživateli (usability, accessibility), problémy vnímání grafické informace. Realizace číslicových obvodů - návrhové styly VLSI, zakázkové obvody, regulární struktury, elektrická úroveň a časování. Kombinační syntéza, reprezentace logické funkce, minimalizace, dekompozice, exaktní a heuristické SAT metody. Principy rekonfigurace (úplné, částečné, dynamické), latence rekonfigurace, řízení rekonfigurace, společný návrh HW a SW (codesign). Návrh a rekonfigurace systémů na čipu, efektivní návrh a komunikace více jader na čipu. Prostředky popisu a verifikace číslicových systémů. Defekty číslicových obvodů a jejich modelování pomocí poruchových modelů. Optimalizované systémy ATPG pro testování specifických poruch a systémy pro kompresi a dekompresi testovacích vektorů. Vestavěné diagnostické prostředky (BIST). Generátory testů na bázi LZPR, CA, vyhodnocení testů, vestavěné analyzátory MISR. Realizace testovacího systému využívajícího smíšené prostředky pro testování poruch. Realizace systémů se zvýšenou spolehlivostí a vyšším stupněm zabezpečení. Problematika návrhu samočinně kontrolovaných a samočinně testovaných obvodů (TSC). Návrh systémů pro samočinnou opravu poruch. Výpočty spolehlivostních ukazatelů, blokové i Markovské modely. Teoretické základy vícerozměrných statistických modelů a metody pokročilého učení a odhadování parametrů. Metody kontextové řízené i neřízené klasifikace a více-klasifikátorové systémy. Normalizace dat a invarianty. Moderní metody výběru příznaků. Klasifikace textových dokumentů. Metody testování a verifikace rozpoznávacích algoritmů a benchmarking. Metody dynamické predikce skoků a spekulativního provádění instrukcí. Metody spekulativního předvýběru dat. Podpora pro paralelní vlákna. Víceúrovňové hierarchie skrytých pamětí. Architektura, struktury a algoritmy virtuálně sdílené distribuované paměti v multiprocesorových systémech. Algoritmy a prostředky synchronizace procesů v distribuovaných výpočetních systémech. Automatový popis komunikačního protokolu, systém RTAG. Specifikační jazyk LOTOS. Protokolové transformace. Validace a verifikace protokolů. Dynamické chování sítí při zátěži, mechanismy řízení toku. Teoretické základy umělých neuronových sítí, klasifikace paradigmat, neuronová síť jako aproximátor a klasifikátor. Metody učení neuronových sítí s učitelem i bez učitele. Gradientní a evoluční metody učení. Vývoj topologie neuronové sítě evolučními technikami, genetické programování. Pulsní neuronové sítě. Samoorganizace pro analýzu a dobývání znalostí z dat. Metody induktivního modelování. Automatická konstrukce modelů metodami umělé inteligence. Akcelerace výpočtů v oblasti neuronových sítí. Speciální třídy grafů (intervalové, chordální a perfektní). Stromové struktury. Pokročilá barevnost grafů (seznamová barevnost, vybíravost, hranová barevnost). Toky a řezy. Náhodné grafy (pravděpodobnostní algoritmy, webový graf). Vizualizace grafů. Teorie paralelní složitosti a P-úplnost. Paralelní prefixový součet nad polem a seznamem. Paralelní kontrakce stromů. Paralelní grafové algoritmy. Optimální paralelní algoritmy řazení. Paralelní algebraické algoritmy a algoritmy pro výpočetní geometrii. Entropie. Kódování čísel. Statistické, slovníkové a kontextové metody komprese dat a jejich vlastnosti. Vrstvené metody komprese dat. Slovní komprese. Využití konečných automatů při kompresi dat. Efektivní vyhledávání v komprimovaném textu. Vyhledávání řetězců a posloupností v jednorozměrném a vícerozměrném textu. Vyhledávací automaty a jejich simulace. Vyhledávání v textech, které jsou předzpracovány, indexové a signaturové metody. Datové struktury pro vyhledávání. Vyhledávání pravidelností v textu. Stromové jazyky, stromové a zásobníkové automaty. Metody vyhledávání vzorků ve stromech. Indexování stromových struktur. Vyhledávání pravidelností ve stromech. Syntaxe a sémantika specifikačních jazyků, různé způsoby specifikace systémů. Algebraické specifikace, různé způsoby implementace algebraických specifikací. Přepisovací systémy, převod specifikace na přepisovací systém, abstraktní přepisovací stroj. Prototypování algebraických specifikací, příklady. Jiné metody formálních specifikací, příklady. Chyby a jejích odhady, podmíněnost a stabilita numerických úloh. Princip iteračních metod, Banachova věta o pevném bodě, kontraktivní zobrazení. Vybrané metody pro řešení velkých soustav lineárních rovnic. Využití knihoven pro přesné počítání. Řešení soustav nelineárních rovnic. Využití modulární aritmetiky pro bezchybný výpočet. Intervalová a p-adic aritmetika. Řetězové zlomky. Elementy kvantové mechaniky. Kvantová nelokalita, kvantová korelace -"entanglement", míra entanglementu. Kvantový generátor náhodných čísel. Kvantová teleportace. Kvantová kryptografie - princip, protokol BB84, "jednofotonové" a "dvoufotonové" metody, současný stav. Kvantové počítače, výpočtová složitost; qubit, kvantová hradla. Kvantový algoritmus pro faktorizaci. Aplikace kvantových algoritmů.
http://web.libimseti.cz/GVKB

Cesta k ateismu

Jak rychle vyrůst o tom to zde je, to co je veliké se zde má dobře, protože má moc nad tím co je zde malé. Není zde růst jenom v rovině hmotné, ale můžeme růst i; ekonomicky, ideologicky, duševně, zdravotně, vzhledově, atd. Pro růst zde musí být situace, která růst umožňuje, někdy je možné abychom tuto situaci sami ovlivnili a jindy to možné není. V minulosti zde byli rostliny a zvířata mnohem větší, než je tomu v současnosti, protože zde byla pro růst lepší situace, zhoršující se situace do které se život dostával, vedla je vzniku mozku a tím i inteligence, která řídila život u nějakého organismu. Mozek člověka váží třikrát tolik co mozek opice, což ukazuje na to jak zásadně narostla u člověka jeho inteligence, která řídí jeho existenci v přírodě. Mozek je stroj na řízení, který řídí tělo, které je strojem na pohyb v přírodě, jde o to vyrůst a potom se rozmnožit, aby se zachoval náš druh a naše zkušenosti získané z minulosti. Jak zajistit růst o tom je život člověka, pokud on nedokáže zajistit růst nemá jeho život smysl a tak má deprese na které používá špinavé chemické látky které špatně dávkuje, chemie jej poškozuje tělesně a duševně. Abych já mohl růst musí někdo zakrnět, abych já mohl vyhrát musí někdo prohrát, abych já mohl být v ráji musí být někdo v očistci, abych já mohl poroučet musí mě někdo poslouchat, abych já měl zisk musí mít někdo ztrátu, atd. Zde se dostáváme ke konkurenčnímu boji o to co potřebujeme nebo milujeme, následkem tohoto boje je deprese, protože když v jednom boji vyhrajeme, tak v jiném boji musíme prohrát, když se k jednomu přiblížíme tak se musíme od jiného vzdálit to je logické, když v jednom vyrosteme tak v jiném zase zakrníme, atd. Zde se dostáváme k problému priorit, situace většinou stanovuje to co je pro nás prioritní a čemu musíme věnovat čas a jiné hodnoty. Je prioritní napsat dokonalou knihu o politice, nebo být dokonalým politikem, ten kdo je dokonalým politikem nedokáže napsat dokonalou knihu o politice, protože by mu čtenáři neporozuměli, protože se on mnoho vzdálil od myšlení lidí, co nejsou dokonalými politiky. Je to jako když programátor píše knihu o programování a této knize rozumí jenom programátoři a ten kdo nikdy neprogramoval nedokáže této knize porozumět. Ježíš Kristus vytvořil populární svatou knihu o novém Křesťanském náboženství, protože byl z pohledu židů ateista a nevěřil v existenci Hospodina jako osoby, proto jej židé logicky ukřižovali za jeho ateistické řeči kterými se mnoho vysmíval věřícím židům, zdánlivě to vypadá jako paradox, ale má to hlubokou logiku. Prioritní by vám tedy mělo být vytvářet knihy o něčem co profesionálně neděláte a tak to můžete popsat tak, aby tomu porozuměli ti, co to profesionálně nedělají, pokud budete psát o tom co profesionálně děláte, porozumí vám jenom ti co to profesionálně dělají a takových lidí je velmi málo a tak neuspějete jako spisovatel. Čtenáře zajímá jenom povrchní pohled a nezajímá je pohled z blízka, protože mají málo času a nemohou tedy svůj čas ztrácet tím, že se budou zajímat o to jak vypadá něco z blízka z pohledu profesionála. Ten kdo má mnoho nepřátel ten zde i něco znamená, přitom ale většina lidí dělá pravý opak a snaží se zde mít mnoho přátel a tím zde nic neznamenají a tak zde ani nemohou vyrůst. Když přijdete s nějakou zásadní změnou budete zde mít mnoho nepřátel kteří se vás budou snažit zlikvidovat, protože oni do něčeho mnoho investovali a vaše nečekaná změna by je mohla o jejich veliké investice připravit a vám by to přineslo veliký užitek. Tam kde existují investice, tam je i víra v to že o investice někdo nepřijde, pokud by zde nebylo teoreticky možné do čehokoli investovat cokoli, nebyla by zde ani víra a tak by nikomu logicky ani nemohla vadit nečekaná změna.
http://web.libimseti.cz/GVKB