Jmenuji se Vojtěch Hordějčuk a je mi 24 let. Pracuji jako softwarový inženýr ve firmě inSophy, kde se zabýváme především vývojem chytrého plánovacího systému pro výrobní podniky. Sudičky mi daly do vínku puntičkářství, přimíchaly k tomu i trochu kreativity a cítím v sobě i určitou inklinaci k minimalismu.
Za sebou mám studium softwarového inženýrství na FEL ČVUT. Rád shromažďuji informace z různých oborů a těší mě, když se poznatky ze zdánlivě nesouvisejících oblastí spojují. Pokud zde naleznete jakoukoliv chybu či nepřesnost, neváhejte mě kontaktovat.
„Matematika se popravdě řečeno nepyšní pouze pravdivostí, ale
také svrchovanou krásou – krásou chladnou a strohou, jakou nalézáme
u soch; krásou, jež se neodvolává k žádné slabé stránce naší
přirozenosti; krásou bez zbytečného pozlátka, které je běžné v hudbě
či malířství – a přesto vznešeně čistou a stroze dokonalou, takovou,
jíž se pyšní jen největší umělecká díla.“
– Bertrand Russell
| Základy | Množina – Relace – Zobrazení – Formální aritmetika – Výroková logika – Predikátová logika – Lambda kalkulus – Relační algebra |
|---|---|
| Algebra | Polynom – Kvadratická rovnice – Binomická věta – Kombinatorika – Posloupnost – Řada – Taylorův polynom – Největší společný dělitel – Nejmenší společný násobek – Prvočíslo – Čínská věta o zbytcích – Komplexní číslo |
| Spojitá matematika | Derivace – Integrace |
| Struktury | Grupoid – Pologrupa – Monoid – Grupa – Okruh – Těleso – Svaz – Vektor – Matice – Teorie grafů |
| Konstanty | Zlatý řez – Číslo Pí – Eulerovo číslo |
| Aplikovaná matematika | Pravděpodobnost – Statistika – Kódování – Informatika |
„Informatika se nezabývá počítači o nic více než astronomie
dalekohledy.“
– Edsger Dijkstra
| Hardware | Logické hradlo – Kombinační obvod – Sčítačka – Multiplexor – Sekvenční obvod – Klopný obvod |
|---|---|
| Teorie a modely | Matematika – Konečný automat – Turingův stroj – Graf – Pravidelná topologie – Model počítače – Lambda kalkulus – Kódování – Komprese – Datová struktura – Algoritmus – Umělá inteligence |
| Programování | Objektové programování – Návrhový vzor – Modelování v UML – Vývojový proces |
| Jazyky | ANSI C – Java – Featherweight Java – PHP – Haskell – Prolog – SQL – LaTeX – JSON – XML – SVG – Symbolické instrukce – Brainfuck |
| Nástroje | GIT – Mercurial – ImageMagick – GraphViz |