Bakalářská státnice - Informatika - Základy informatiky - obor Programování

Súvisiace stránky: Státnice, Základy matematiky, Obecná informatika, Správa počítačových systémů

Tato stránka není kompletní a/nebo může obsahovat chyby!

Základy teoretické informatiky

Zkompilovaná verze textu ze SVN státnicových otázek (pozor, nemusí být nutně aktuální).

Požadavky:[1]

• Logika
  • jazyk, formule, sémantika, tautologie
  • Rozhodnutelnost, splnitelnost, pravdivost, dokazatelnost
  • Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky
• Automaty
  • Chomského hierarchie
  • třídy automatů a gramatik
  • determinismus a nedeterminismus

Logika - jazyk.

• Jazyk VL. (zdroj: Štepánkův slajd 35 z VL0.pdf)
• Jazyk PL. (zdroj: Štepánkův slajd 2 z PL0.pdf)
• Obecné rozdělení symbolů a znaků logiky

Formule.

• Formule VL. (zdroj: Štepánkův slajd 36 z VL0.pdf)
• Term PL. (zdroj: Štepánkův slajd 4 z PL0.pdf)
• Formule PL. (zdroj: Štepánkův slajd 6 z PL0.pdf)
• Podterm, podformule, volné a vázané proměnné, otevřené a uzavřené formule. (zdroj: Štepánkovy slajdy 8-10 z PL0.pdf)

Sémantika.

• Pravdivostní ohodnocení preměnných VL. (zdroj: Štepánkův slajd 38 z VL0.pdf)
• Pravdivostní hodnota formule VL. (zdroj: Štepánkův slajd 41 z VL0.pdf)
• Interpretace jazyka PL. (zdroj: Štepánkův slajd 12 z PL0.pdf)
• Ohodnocení proměnných PL. (zdroj: Štepánkův slajd 14 z PL0.pdf)
• Interpretace termu PL. (zdroj: Štepánkův slajd 14 z PL0.pdf)

Tautologie.

• Pojem tautologie. (zdroj: Štepánkův slajd 43 z VL0.pdf, skripta strana 16)
• Tautologický důsledek. (zdroj: Štepánkův slajd 44 z VL0.pdf)

Rozhodnutelnost.

• Množina kódů vět teorie. (zdroj: Štepánkův slajd 12 z PL5.pdf)
• Rozhodnutelnost a nerozhodnutelnost. (zdroj: Štepánkův slajd 12 z PL5.pdf)
• Nerozhodnutelnost PL (Church). (zdroj: Štepánkův slajd 6 z PL5.pdf)

Splnitelnost.

• Splnitelné množiny formulí. (zdroj: Štepánkův slajd 43 z VL0.pdf)

Pravdivost.

• Pravdivá formule VL. (zdroj: Štepánkův slajd 41 z VL0.pdf)
• Tarskeho definice pravdy. (zdroj: Štepánkovy slajdy 16-18 z PL0.pdf)
• Logicky pravdivá formule PL. (zdroj: Štepánkův slajd 20 z PL0.pdf)

Dokazatelnost.

• Formální systém VL. (zdroj: Štepánkův slajd 47 z VL0.pdf)
• Schémata axiomů. (zdroj: Štepánkův slajd 50 z VL0.pdf)
• Odvozovací pravidlo (modus ponens). (zdroj: Štepánkův slajd 51 z VL0.pdf)
• Důkaz, dokazatelnost. (zdroj: Štepánkův slajd 52 z VL0.pdf)
• Důkaz, dokazatelnost z předpokladů. (zdroj: Štepánkův slajd 54 z VL0.pdf)
• Věta o dedukci. (zdroj: Štepánkův slajd 55 z VL0.pdf)
• Bezespornost. (zdroj: Štepánkův slajd 72 z VL0.pdf)
• Věta o bezespornosti a splnitelnosti. (zdroj: Štepánkův slajd 81 z VL0.pdf)
• Věty o úplnosti. (zdroj: Štepánkův slajd 86 z VL0.pdf)
• Věta o kompaktnosti VL. (zdroj: Štepánkův slajd 89 z VL0.pdf)
• Axiomy pro kvantifikátory PL. (zdroj: Štepánkův slajd 35 z PL0.pdf)
• (Odvozovací) pravidlo generalizace pro PL. (zdroj: Štepánkův slajd 36 z PL0.pdf)
• Věta o korektnosti. (zdroj: Štepánkův slajd 10 z PL2.pdf)

Normální tvary výrokových formulí.

• Věta o ekvivalenci. (zdroj: Štepánkův slajd 8 z VL3.pdf) (Jesliže jsou podformule A1..An fle A ekvivalentní s A'1..A'n a A' vytvořím záměnou těchto podformulí, je i A ekvivalentní s A')
• Důkaz rozborem případů. (zdroj: Štepánkův slajd 15 z VL3.pdf) ( T mn. flí a A,B,C fle pak T,(A v B) |- C právě když T,A|-C a T,B|-C )
• CNF a DNF. (zdroj: Štepánkův slajd 20 z VL3.pdf) (klauzule = disjunkce literlů, pak CNF je konjunkce klauzulí a DNF je disjunkce konjunkcí literálů)
• Věta o normálních tvarech. (zdroj: Štepánkův slajd 22 z VL3.pdf) (Ke každé formuli lze sestrojit ekvivalentní formuli v CNF nebo DNF)

Prenexní tvary formulí predikátové logiky.

• Prenexní tvar formule. (zdroj: Štepánkův slajd 3 z PL1.pdf) (fle, kde jsou všechny kvantifikáory na začátku a zbytek je otevřená formule)
• Věta o prenexních tvarech. (zdroj: Štepánkův slajd 5 z PL1.pdf) (Ke každé fli lze sestrojit fle v prenexním tvaru, která je s ní ekvivalentní)
• Prenexní operace. (zdroj: Štepánkův slajd 7 z PL1.pdf)

Automaty - Chomského hierarchie.

• Přepisovací (produkční) systém. (zdroj: Bartákův slajd 4 z lecture06.pdf)
• Odvození (derivace). (zdroj: Bartákův slajd 4 z lecture06.pdf)
• Formální (generativní) gramatiky. (zdroj: Bartákův slajd 6 z lecture06.pdf)
• Chomského hierarchie. (zdroj: Bartákův slajd 7 z lecture06.pdf)
• Nevypouštěcí gramatiky a převod na ně. (zdroj: Bartákovy slajdy 9-11 z lecture06.pdf)

Třídy automatů a gramatik.

• Definice všech 4 tříd gramatik. (zdroje: Bartákův slajd 7 z lecture07.pdf / wikipedie)
• Definice konečného automatu. (zdroje: Bartákův slajd 9 z lecture01.pdf / wikipedie)
• Definice zásobníkového automatu. (zdroje: Bartákův slajd 2 z lecture08.pdf / wikipedie)
• Definice Turingova stroje. (zdroje: Bartákův slajd 4 z lecture11.pdf / wikipedie)
• Převody mezi nimi. (zdroj: wikipedie)
• L0(rekurzivně spočetné jazyky) = turingův stroj
• L1(kontextové jazyky) = lineárně omezený automat (NTS s omezenou páskou)
• L2(bezkontextové jazyky) = nedeterministický zásobníkový automat
• L3(regulární/pravé lineární jazyky) = konečný automat

Determinismus a nedeterminismus.

• Nedeterministický konečný automat. (zdroje: Bartákův slajd 4 z lecture03.pdf / wikipedie)
• Deterministický zásobníkový automat rozeznává jen deterministické BK jazyky (podmnožina BK jazyků)
• Turingův stroj: DTS = NTS
• Konečný automat: DKA = NKA

Algoritmy a datové struktury

Zkompilovaná verze textu ze SVN státnicových otázek (pozor, nemusí být nutně aktuální).

Základní algoritmy - třídění.

• Selection sort. (zdroj: wikipedie)
• Bubble sort. (zdroj: wikipedie)
  • Cocktail sort. (zdroj: wikipedie)
  • Comb sort. (zdroj: wikipedie)
• Insertion sort. (zdroj: wikipedie)
  • Gnome sort. (zdroj: wikipedie)
  • Library sort. (zdroj: wikipedie)
  • Shell sort. (zdroj: wikipedie)
• Merge sort. (zdroj: wikipedie)
• Heapsort. (zdroj: wikipedie)
• Quicksort. (zdroj: wikipedie)
  • Introsort. (zdroj: wikipedie)
• Radix sort. (zdroj: wikipedie)
• Bogosort. (zdroj: wikipedie)
  • An evil sort. (zdroj: wikipedie)

Vyhledávání.

• Lineární vyhledávání. (zdroj: wikipedie)
• Binární vyhledávání. (zdroj: wikipedie)
  • Interpolační vyhledávání. (zdroj: wikipedie)
• Hledání k-tého největšího prvku. (zdroj: wikipedie)

Algoritmy vyhledávání v textu.

• Rabin-Karp. (zdroj: wikipedie)
• Knuth–Morris–Pratt (zdroj: wikipedie)
• Aho-Corasick (zdroj: wikipedie)

Kombinatorické algoritmy.

• Lineární programování a simplexová metoda. (zdroj: Berkeley)
• Rychlá Fourierova transformace. (zdroj: Berkeley)

Grafové algoritmy - nejkratší cesta.

• Dijkstrův algoritmus. (zdroj: wikipedie)
• Bellman-Fordův algoritmus. (zdroj: wikipedie)
• Floyd-Warshallův algoritmus. (zdroj: wikipedie)

slidy ze složitosti

skripta diskrétní mat. z všb

Minimální kostra.

• Prim (Jarník, Dijkstra). (zdroj: wikipedie - pozor na pseudo-kód, je tam možná chyba)
• Kruskal. (zdroj: wikipedie)
  • Datové struktury. (zdroj: wikipedie)
• Borůvka. (zdroje: Přednášky z Univerzity v Californii / wikipedie)

Prohledávání grafů.

• Prohledávání do hloubky. (zdroj: wikipedie)
  • Informované prohledávání do hloubky - heuristiky. (zdroj: wikipedie)
    • Mini-max a spol. (zdroj: stránky o dělání šachu)
  • Aplikace DFS. (zdroj: přednáška z VUT v Brně)
• Prohledávání do šířky. (zdroj: wikipedie)
  • Aplikace BFS. (zdroj: přednáška z VUT v Brně)

Barvení grafů.

• Barvení grafů obecně. (zdroj: wikipedie)

Časová a prostorová složitost algoritmů.

• Definice algoritmu.
• Časová a prostorová složitost algoritmů. (slidy z VŠB)
• Očková notace. (zdroj: wikipedie)
• Amortizovaná složitost. (zdroje: Čepkovi slajdy Složitost I str.36 / wikipedie)

NP-úplnost.

Něco málo je popsáno na posledních slajdech na tomto odkazu (Čepek-ADS): [2] A o něco více na (zdroje: Čepkovy slajdy Složitost I od str.48)

Shrnutí složitosti algoritmů na WolframMathWorld

• Složitost problému. (zdroj: wikipedie)
• Definice NP. (zdroj: wikipedie)
• Vztah P a NP. (zdroj: wikipedie)
• NP-těžký problém. (zdroj: wikipedie)
• NP-uplný problém. (zdroj: wikipedie)
• Příklady NP-úplných problémů. (zdroj: wikipedie)
• Nedokonalé řešení NP-úplných problémů. (zdroj: wikipedie)

Metoda rozděl a panuj.

• Metoda rozděl a panuj. (zdroj: wikipedie)
• Mergesort. (zdroj: wikipedie)
• Quicksort. (zdroj: wikipedie)
• Hanojské věže. (zdroj: wikipedie)
• Master theorem. (zdroj: wikipedie)
  • Důkaz master theorem. (zdroj: Univerzita v Indianapolisu)

Lineární struktury.

• Pole.
• Množina.
• Spojový seznam.
  • Dvousměrný spojový seznam.
• Zásobník.
  • Oboustranný zásobník.
• Fronta.
  • Oboustranná fronta.
  • Prioritní fronta.

Stromové struktury.

• B strom. (wikipedie)
• B+ strom. (wikipedie)
• B* strom. (wikipedie)
• Binární vyhledávací strom. (zdroj: wikipedie)
• AVL strom. (zdroj: wikipedie)
• Červeno-černý strom. (zdroj: wikipedie)
• Intervalový strom.
• Trie (prefixový strom). (zdroj: wikipedie)
  • Patricia trie. (zdroj: wikipedie)
• Vícerozměrný strom.

Haldy.

• Halda. (zdroj: wikipedie)
• Binární halda. (zdroj: wikipedie)
• Fibonacciho halda. (zdroj: wikipedie)

Hašování.

(zdroj: Skripta Dat.Struktury - Koubek)

• Hašovací funkce. (zdroj: wikipedie)
• Hašovací tabulka. (zdroj: wikipedie)
• Hašování se separovanými řetězci
• Hašování s uspořádanými řetězci
• Hašování s přemísťováním
• Hašování se dvěma ukazateli
• Srůstající hašování (LISCH, EISCH, LICH, EICH, VICH)
• Hašování s lineárním přidáváním
• Dvojité hašování
• Univerzální hašování
• Perfektní hašování

Databáze

Zkompilovaná verze textu ze SVN státnicových otázek (pozor, nemusí být nutně aktuální).

Podstata a architektury DB systémů. Konceptuální, logická a fyzická úroveň pohledů na data.

• Architektura DB systémů. (zdroj: wikipedie, Architektury DB)
• Architektura DB systémů a ostatně vše kolem databází (zdroj: [3])
• Konceptuální, logická a fyzická úroveň pohledů na data. (zdroj: wikipedie)

Algoritmy návrhu schémat relací.

• Pojmy kolem algoritmů (závislosti, klíče, ...). (zdroj: Univerzita Carlton)
• Algoritmus dekompozice na převod do 3NF. (zdroje: Univerzita Carlton / Houstonská univerzita / Californská státní univerzita)
• Algoritmus syntézy na převod do 3NF.
• Algoritmus na převod do BCNF. (zdroj: Californská státní univerzita).

Normální formy.

• Přehled normálních forem. (zdroje: Litt's Tips / wikipedie)
• 1NF. (zdroje: Skopalův slajd 13 z DBI025_03.ppt / wikipedie)
• 2NF. (zdroje: Skopalův slajd 16 z DBI025_03.ppt / wikipedie)
• 3NF. (zdroje: Skopalův slajd 18 z DBI025_03.ppt / wikipedie)
• BCNF. (zdroje: Skopalův slajd 21 z DBI025_03.ppt / wikipedie)

Referenční integrita.

• Referenční integrita. (zdroje: Skopalův slajd 10 z DBI025_07.ppt / wikipedie)

Transakční zpracování.

• Pojem transakce, ACID. (zdroje: Skopalův slajd 6 z DBI025_09.ppt / wikipedie)
• Commit, rollback (abort). (zdroje: Skopalův slajd 8 z DBI025_09.ppt / wikipedie)
• Savepoint. (zdroj: wikipedie)
• Žurnál. (zdroj: wikipedie)
• Úrovně izolace. (zdroj: wikipedie)

Uzamykací protokoly.

• Protokoly řízení konfliktů. (zdroj: wikipedie)
• Plán, sériový plán. (zdroj: wikipedie)
• 2-fázové zamykání. (zdroj: wikipedie)
• Striktní 2-fázové zamykání. (zdroj: wikipedie)
• Rigorózní 2-fázové zamykání. (zdroj: wikipedie)
• Konzervativní 2-fázové zamykání. (zdroj: wikipedie)

Zablokování.

• Deadlock. (zdroj: wikipedie)
• Wait-for grafy. (zdroj: University of Iowa)
• Priorizace transakcí.
• Protokol časových razítek. (zdroj: wikipedie)
• Stromový protokol.
• Multiverzovací protokol. (zdroj: wikipedie)
• Wait-die a wound-wait strategie. (zdroj: Santa Clara University - v kapitole Deadlock Avoidance)
• Optimistické algoritmy. (zdroj: wikipedie)

ER-diagramy.

• ER-diagramy. (zdroj: wikipedie)
• Entita.
• Vztah.
• Atribut.
• Slabé entitní typy.
• Integritní omezení (kardinality).
• Dědičnost (ISA-vztah).
• Druhy dědičnosti (partial / exclusive, total / overlapping).

Metody návrhů IS.

• Asi obecné informace o návrhu tabulek.

Základy SQL.

• DML. (zdroj: wikipedie)
  • SELECT. (zdroje: wikipedie / wikipedie)
  • UPDATE. (zdroj: wikipedie)
  • DELETE. (zdroj: wikipedie)
  • INSERT. (zdroj: wikipedie)
• DDL. (zdroj: wikipedie)
  • CREATE. (zdroj: wikipedie)
  • ALTER. (zdroj: wikipedie)
  • DROP. (zdroj: wikipedie)
• DCL. (zdroj: wikipedie)

Indexy.

• Index. (zdroj: wikipedie).
• Manipulace s indexy v SQL.

Triggery.

• Trigger. (zdroj: Kopeckého slajdy na Databázové aplikace)
• Manipulace s triggery v SQL.

Uložené procedury.

• Uložené procedury. (zdroj: wikipedie)

Uživatelé.

• Manipulace s uživateli. (zdroj: SQL Zoo)

Vícevrstevné architektury.

(zdroj: Slidy VUTBR)

Srovnání architektur: http://www.sei.cmu.edu/str/descriptions/clientserver.html

Vazba databází na internetové technologie.

• Niesom istý, ale možno tým je myslené niečo takéto (zdroj: fit.vutbr)

Programovací jazyky a překladače

Zkompilovaná verze textu ze SVN státnicových otázek (pozor, nemusí být nutně aktuální).

Principy a implementace objektově orientovaných jazyků a jazyků s blokovou strukturou.

• Třída.
• Dědičnost.
• Polymorfismus.
• Obalení.
• Virtuální funkce. (zdroj: Bednárkuv slide [4] a [5])

Běhová podpora vyšších programovacích jazyků.

Yaghobove slidy

• Statická podpora a dynamická podpora.
• Rozdělení paměti.
• Stav paměti před spuštěním.
• Konstruktory, destruktory globálních proměnných.
• Volací konvence.

Oddělený překlad, sestavení, řízení překladu.

slidy k přednášce PRG029 - Programování v C a C++

Neprocedurální programování.

• Neprocedurální, logické a funkcionální programování.
• Prolog.
• Haskell.
• Lisp.

Struktura překladače, lexikální, syntaktická analýza.

• Lexikální analýza (token, pattern, lexém) (slidy Principy překladačů)
  • Pomocí konečného automatu
    • Chyba lexikální analýzy nastává když je ukončeno v nepříjmacím stavu (špatný vstup)
    • Řešení: ignorovat chybu, domyslet správn správný vstup
  • LA zdlouhavá -> Bufferování vstupu
  • Pro přenositelnost stačí měnit jen v LA
  • výstup - token (=vstup do syntaktické analýzy (=terminál))
  • pattern - regulární výraz, popisuje množinu řetězců pro určitý token
  • lexém (lexikální element) - odpovídá nějakému patternu nějakého tokenu

Token	Lexém	regulární výraz
while	while	while
relop	<,<=,=,<>,>,>=	\<|\<=|=|\<>|>|>=
uint	0, 123	[0-9]+

• Syntaktická analýza.
  • Pomocí zásobníkového automatu (BKG)
  • Zjišťuje, zda jsou slova na vstupu ze vstupního jazyka
  • Staví derivační strom, odstraňuje nejednoznačnosti jazyka (dangling else).
• Sémantická analýza.
• Generování mezikódu.
• Optimalizace mezikódu.
• Generování kódu.
• Obsluha chyb.
• Druhy jazyků (LR(0), LR(1), LR(k), SLR, LALR, GLR, LL(1), LL(k)).

slidy k přednášce principy překladačů

skripta k podobnému předmětu na slu.cz

Interpretované jazyky

(slidy Principy překladačů (9))

• Překlad do kódu abstraktního stroje.
• Abstraktní stroj může běžet na různých OS (=přenositelnost)
• Je to ale pomalejší
• Překlad JIT (Just-in-time)
• Dynamická alokace jen s garbage collectorem
• Dnes typicky Java

Generické programování a knihovny

• Generické programování (zdroj: wikipedia.cz)
• Šablony (zdroj: slajdy OOP)
• Metaprogramovanie (požiadavka Yaghoba - ukážka na príklade faktoriálu) - strana 12: http://tjn.fjfi.cvut.cz/~virius/prednes/prezen/SabMeta.pdf

Návrhové vzory.

• Diplomová práce na téma návrhové vzory [6]

Architektura počítačů a operačních systémů

Zkompilovaná verze textu ze SVN státnicových otázek (pozor, nemusí být nutně aktuální).

Architektury počítače

• CWUT
• Seriál: Co se děje v počítači

Procesory, multiprocesory

• Procesory
• Multiprocesory (en)

Sběrnice, protokoly

• Sběrnice

Architektury OS

• ZOS
• Yaghobove slidy
• slidy z Mississippi College
• slidy z University of Alberta
• slidy z University of Nebraska

História OS

Monolitický systém (Linux, windows), virtuálne stroje (Java, AS400), Mikrokernel

slidy (Yaghob)

slidy z Mississippi College

Wikipedia - operační systém

Wikipedia - Jádro

Vztah OS a HW, obsluha přerušení

Druhy prístupu k HW (port CPU, memory-mapped)

Druhy zariadení (blokové / znakové)

Prístup (sekvenčný / náhodný)

Synchrónnosť (disk vs. sieťovka)

Zdieľanie (sieťovka vs. tlačiareň) + spooling

Rýchlosť, smer dát (RO/RW...)

V sw: abstrakcia, jednotné pomenovanie, mount, obsluha chýb

Prerušenie, polling, DMA

Vrstvy I/O (hw -> obsluha prerušenia -> ovládač -> IO subsystém -> userspace IO)

Obsluha prerušenia (uloženie kontextu cpu, potvrdenie radiču, obsluha prerušenia, preplánovanie, obnova kontextu)

slidy (Yaghob)

Procesy, vlákna, plánování

Definície, vlastnosti, rozdiely.... (win vs. lin)

Stavy procesu, súvislosť s prerušeniami

Plánovanie ((ne)preemptívne) - ciele, kritériá, priority

Plánovacie algoritmy: FIFO, Round robin, Viacero front so spätnou väzbou; SMP, Realtime; Win. vs Linux

slidy (Yaghob)

Synchronizační primitiva, vzájemné vyloučení

Aktívne vs. pasívne čakanie, podmienky;

Aktívne: Petersnove riešenie, TSL

Pasívne: Zámky, monitory, semafory, správy (mutexy)

Obedujúci filozofovia, Problém ospalého holiča

slidy (Yaghob)

Zablokování a zotavení z něj

Druhy prostriedkov (odnímateľné? ...), práca s nimi, Coffmanove podmienky,

Riešenie zablokovania: Pštrosí algoritmus, Detekcia a zotavenie, vyhýbanie sa, prevencia

slidy (Yaghob)

Organizace paměti, alokační algoritmy. Principy virtuální paměti, stránkování, algoritmy pro výměnu stránek, výpadek stránky, stránkovací tabulky, segmentace

Hierarchia (veľkosť vs. rýchlosť)

Swapping, Preklad adries

Algoritmy prideľovania: first fit, best/worst fit, buddy systém

Virtuálna pamäť, stránkovanie (viacúrovňové)

TLB, (inverzné) stránkovanie, segmenty (stránkovanie+segmenty), použité tabuľky

Výpadky => výmena: Optimálna stránka, NRU, FIFO, druhá šanca, Hodiny, LRU, random [7]

slidy (Yaghob)

Systémy souborů, adresářové struktury

Vlastnosti súborov, pomenovanie, štruktúra (lineárne vs. stromy vs. sekvenčné)

Prístup k súborom (sekvenčný, priamy, memory mapping)

Operácie so súbormi (copy, move...)

Adresáre (hierarchia: stromy, DAG, obecný graf)

Alokácia miesta pre súbory

NTFS, INODE, ext2...

slidy (Yaghob) / Technická univerzita Ostrava

Plánování pohybu hlav disků

FCFS, SSTF, LOOK, CLOOK

RAID (pěkné vysvětlení RAIDů je na [8])

slidy (Yaghob)

Bezpečnost

Ceile útokov, útočníci, autentikácia, vnútorné útoky (vírusy, trojany...), kryptografia (hash, crc, šifrovanie)

slidy (Yaghob)

Sítě a internetové technologie

Zkompilovaná verze textu ze SVN státnicových otázek (pozor, nemusí být nutně aktuální).

ISO/OSI vrstevnatá architektura

• Vrstevnatá architektura. (zdroje Jiří Peterka / wikipedie)
• Komunikace mezi vrstvami (zdroje: Jiří Peterka)
• 7 vrstev. (zdroje: Jiří Peterka / wikipedie / MUNI)

TCP/IP.

• TCP/IP vrstvy. (zdroje: Jiří Peterka / wikipedie)

Bezpečnost, firewally.

• Útoky.
• Bezpečnost sítí obecně. (zdroj: Jiří Peterka)
• Firewall. (zdroj: wikipedie)
• NAT. (zdroj: wikipedie)
• Filtrování paketů, IDS, IPS. (zdroj: wikipedie)
• DMZ. (wikipedie)

Spojované a nespojované služby, spolehlivost

• Spojované protokoly. Příklady. (zdroje: University of East London / wikipedie)
• Nespojované protokoly. Příklady. (zdroje: University of East London/ wikipedie / inetdaemon)
• TCP. (zdroj: wikipedie)
• UDP. (zdroj: wikipedie)
• IP. (zdroj: wikipedie)

Modulace, kódování

Broadband Druhy kódování Manchester kód Modulácia Modulačná rýchlosť Prenosová rýchlosť Šírka pásma Shannonuv teorém

Topologie sítí

• Sběrnicová topologie. (zdroje: site.the.cz / wikipedie / ewa.cz / markonet.cz)
• Hvězdicová topologie. (zdroje: site.the.cz / wikipedie / wikipedie / ewa.cz / markonet.cz)
• Prstencová topologie. (zdroje: wikipedie / wikipedie / site.the.cz / ewa.cz / markonet.cz)
• Mesh. (zdroj: wikipedie)
• Ethernet. (zdroj: wikipedie)
• Token ring. (zdroj: wikipedie)

HW a SW technická zařízení pro propojování sítí.

• Síťová karta (NIC, WNIC). (zdroj: wikipedie a wikipedie)
• Opakovač (repeater). (zdroje: FCIT / wikipedie)
• Rozbočovač (switch, starší ekvivalent je hub). (zdroje: FCIT / wikipedie)
• Bridge. (zdroje: FCIT / wikipedie)
• Směrovač (router). (zdroje: FCIT / wikipedie)
• Wireless Access Point (WAP, taky AP). (zdroje: wikipedie / wikipedie)
• Káble.
• Software.

Bezpečnost

• IPSec (zdroj: earchiv Jiřího Peterky) (Pozor! zdroje od profesora Peterky nejsou dostačující, pokud vás zkouší pan Galamboš!)
  

FUQS (frenquently unexpected questions) od p. Galambose:
- Jaký port používá IPSEC? - žádný, funguje nad síťovou vrstvou.
- Jak uzel A pošle uzlu B packet, když mezi nima stojí gateways, musí uzel A se nějak domlouvit s gateway, aby gateway zajistila IPSEC? - ne, prostě se gateway pošle natvrdo IPSEC packet a gateway podle hlavičky rozpozná, co má dělat.
- jiný zákeřňáky... doporučuju si přečíst slidy p. Galaboše z jeho stránek!(Soubor bohuzel uz neexistuje, zajimavy text jsem nasel tady:
An Illustrated Guide to IPsec ) (edit [4.9.2008]: súbor existuje, akurát je nutné ho zťahovať zo strojov v doméne mff.cuni.cz)
- pri googleni som našiel video z prednášky o IPSec(ČVUT 15.11.2003), možno to niekomu uľahčí učenie

• principy fungování AH, ESP
  • transport mode
  • tunnel mode
• firewall

Internetové a intranetové protokoly a technologie

• RFC. (zdroj: wikipedie)
• HTTP. (zdroj: wikipedie)
• DNS. (zdroj: wikipedie)
• FTP. (zdroj: wikipedie)
• SMTP. (zdroj: wikipedie)
• SSH. (zdroj: wikipedie
• IRC, ICQ, ...
• Ethernet. (zdroj: wikipedie)
• Wi-Fi. (zdroj: wikipedie

značkovací jazyky (XML, HTML)

• XML. (zdroj: Academic Tutorials)
• HTML.