== Základy teoretické informatiky ==
=== Logika – jazyk, formule, sémantika, tautologie ===
* Výroková logika - pojmy
** formule
** podformule
** pravdivostní ohodnocení proměnných
** pravdivostní hodnota formule
** model formule
** splnitelná množina formulí
** sporná/bezesporná množina formulí
** tautologie
** tautologický důsledek
** instance formule, uzávěr formule, varianta formule
* Predikátová logika - pojmy
** term, formule
** podterm, podformule
** volné a vázané proměnné, otevřené a uzavřené formule
** interpretace jazyka
** ohodnocení proměnných, univerzum
** realizace a interpretace termu
Zdroje:
* slajdy a skripta ze stránky [http://ktiml.mff.cuni.cz/vyuka/materialy.html KTIML on-line materiály]
=== Rozhodnutelnost, splnitelnost, pravdivost, dokazatelnost ===
* axiomy a základní věty
* důkaz formule, dokazatelnost, dokazatelnost z předpokladů
* formule pravdivá v interpretaci
* logicky pravdivá formule
* úplný systém
* teorie, úplná teorie, Henkinova teorie, otevřená teorie
* rozšíření jazyka, rozšíření teorie, konzervativní rozšíření
* redukce a expanze struktury
Věty - výroková logika:
* Lindenbaum - o rozšíření bezesporné množiny do maximální bezesporné
* o bezespornosti a splnitelnosti
* o kompaktnosti
* o důkazu rozborem případů
* o instancích
* o uzávěru
* o variantách
* o dedukci
* o konstantách
Věty - předikátová logika:
* o korektnosti
* o úplnosti (Gödelova)
* o kanonickém modelu
* Henkinova
* Lindenbaum - bezesporná teorie lze rozšířit do úplné teorie
* o kompaktnosti
* Skolemova
=== Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky ===
* Normální tvary výrokových formulí
** věta o ekvivalenci
** de Morganova pravidla
** lemma o důkazu rozborem případů
** konjunktivní normální tvar a disjunktivní normální tvar výrokových formulí (CNF, DNF)
** věta o normálních tvarech
* Prenexní tvary formulí predikátové logiky
** prenexní tvar formule - prefix, otevřené jádro
** věta o prenexních tvarech
** prenexní operace
=== Automaty – Chomského hierarchie, třídy automatů a gramatik, determinismus a nedeterminismus ===
== Algoritmy a datové struktury ==
=== Časová složitost algoritmů, složitost v nejhorším a průměrném případě ===
=== Třídy složitosti P a NP, převoditelnost, NP-úplnost ===
=== Binární vyhledávací stromy, vyvažování, haldy ===
=== Hašování ===
=== Sekvenční třídění, porovnávací algoritmy ===
=== Grafové algoritmy - prohledávání do hloubky a do šířky, souvislost, topologické třídění, nejkratší cesta, kostra grafu ===
=== Tranzitivní uzávěr ===
=== Algoritmy vyhledávání v textu ===
=== Algebraické algoritmy - DFT, Euklidův algoritmus ===
=== Základy kryptografie, RSA, DES ===
== Databáze ==
=== Podstata a architektury DB systémů ===
=== Normální formy ===
=== Referenční integrita ===
=== Transakční zpracování, vlastnosti transakcí, uzamykací protokoly, zablokování ===
=== Základy SQL ===
=== Indexy, triggery, uložené procedury, uživatelé, uživatelská práva ===
=== Vícevrstevné architektury ===
=== Vazba databází na internetové technologie ===
=== Správa databázových systémů ===
== Architektura počítačů a operačních systémů ==
=== Architektury počítače ===
=== Procesory, multiprocesory ===
=== Sběrnice, protokoly ===
=== Vstupní a výstupní zařízení, přenos dat ===
=== Technologie dálkového přenosu dat ===
=== Velkokapacitní záznamová média, zálohování, technologie ukládání a zabezpečení záznamů ===
=== Architektury OS ===
=== Vztah OS a HW, obsluha přerušení ===
=== Procesy, vlákna, plánování ===
=== Synchronizační primitiva, vzájemné vyloučení ===
=== Zablokování a zotavení z něj ===
=== 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 ===
=== Systémy souborů, adresářové struktury ===
=== Bezpečnost, autentifikace, autorizace, přístupová práva ===
=== Druhy útoků a obrana proti nim ===
=== Kryptografické algoritmy a protokoly ===
== Sítě a internetové technologie ==
=== Architektura ISO/OSI ===
=== Rodina protokolu TCP/IP (ARP, IPv4, IPv6, ICMP, UDP, TCP) - adresace, routing, fragmentace, spolehlivost, flow control, congestion control, NAT ===
=== Rozhraní BSD sockets ===
=== Spolehlivost - spojované a nespojované protokoly, typy, detekce a oprava chyb ===
=== Bezpečnost - IPSec, principy fungování AH, ESP, transport mode, tunnel mode, firewalls ===
=== Internetové a intranetové protokoly a technologie - DNS, SMTP, FTP, HTTP, NFS, HTML, XML, XSLT a jejich použití ===
== Administrace systémů (verze Unix) ==
=== Instalace systému, plánování síťové topologie, rozklad zátěže ===
=== Zabezpečení, systém práv, správa uživatelských účtů ===
=== Síťové, systémové a adresářové služby, vzdálený přístup ===
=== Zálohování, automatizace úkolů, synchronizace, zotavení systému ===
=== Konkrétní souborové systémy ===
=== Instalace software, hromadná, vzdálená a odložená instalace ===
=== Činnost systému při spouštění a ukončování, konfigurace ===
=== Skriptování a shelly ===
== Administrace systémů (verze Windows) ==
=== Instalace systému, plánování síťové topologie, rozklad zátěže ===
=== Zabezpečení, systém práv, správa uživatelských účtů ===
=== Síťové, systémové a adresářové služby, vzdálený přístup ===
=== Zálohování, automatizace úkolů, synchronizace, zotavení systému ===
=== Konkrétní souborové systémy ===
=== Instalace software, hromadná, vzdálená a odložená instalace ===
=== Činnost systému při spouštění a ukončování, konfigurace ===
=== Skriptování a shelly ===
