Please enable JavaScript.

Coggle requires JavaScript to display documents.

Štátnice, Grafové algoritmy a problémy, Operačné systémy, Formálne jazyky…

- - - - Hlboké grafy
- - - - Princíp :warning:
      - Zložitosť
    - - Princíp :warning:
      - Zložitosť
    - - Sollinov
      - Princíp :warning:
      - Zložitost
- - - - Dijkstra
    - - Bellman-Ford algorithm :question: :writing_hand:
    - - BFS
- - - - POSIX
        
        /usr/lib
        
        /usr/local/lib
        
        /usr/include
      - Win32
- - - - MMU
        
        Virtuální paměť :question:
        
        Page tables - Tabuľky stránok
        
        Stránkovanie
        
        Segmentovanie
        
        Virtuálne adresy
        
        Stránky
        
        Statické
        
        Dynamické
        
        Fyzické adresy
        
        Rámce
        
        Tabuľky stránok
        
        Swapovanie
      - ring 0
      - ring 3
      - ring 1
- - - - Výpočet zásobníkového automatu :question:
        
        Konfigurácia
        
        Krok výpočtu
        
        Akceptovaný koncovým stavom
        
        Akceptovaný prázdnym zásobníkom
      - Deterministický
        
        DCFL Jazyky
        
        Uzáverové vlastnosti
      - Nedeterministický
      - Rozšířené zásobníkové automaty RPDA
      - Definícia PDA
        
        Vstupná abeceda
        
        Zásobníková abeceda
        
        Prechodová funkcia
        
        Počiatočný stav
        
        Počiatočný symbol zásobníka
        
        Množina koncových stavov
        
        Množina stavov
    - - Zdola hore
      - Dola hore
    - - Neuzavrenosť na prienik
    - - Chomského normálová forma CNF
      - Vlastná gramatika
        
        Necyklická
      - Greibechová normálová forma
    - - Viacznačná
      - Jednoznačná
    - - Nenormované
      - Nedosiahnuteľné
  - - - Ľavolineárne
      - Pravolineárne
    - - Varianty konečných automatov :question: :memo:
        
        Deterministický konečný automať DFA
        
        Minimálny automat
        
        Automat s epsilon krokmi
        
        Automat v kanonickom tvare
        
        Nedeterministický konečný automat NFA
      - Výpočet
    - - Dôkaz uzavrenosti
        
        Sporom
        
        Obmenou implikácie
        
        Uvedenie protipríkladu
      - Využiitie :memo:
    - - E.F
      - E+F
      - E*
      - kombinácia podvýrazov E a F
      - Minimálny reg výraz: epsilon, prázdna množina, neterminál
- - - - Deterministické
      - Nedeterministické
- - - - Normálna
      - Lenivá
      - Vlastnosti
        
        Church-Rosserova veta
        
        Veta o perpetualite
        
        Veta o normalizácii
      - Striktná
- - - - Súčet vektorov
      - Skalárny súčin :question:
        
        Vlastnosti
      - Veľkosť vektoru
      - Veľkosť uhla
    - - Sčítanie matíc
      - Násobenie matice číslom
      - Násobenie matíc
      - Delenie
- - - - Trojnásobný koreň 1
      - Trojnásobný koreň -1
- - - - Zmena merítka
      - Rotácie
      - Posunutie
- - - - Bridge
      - Switch
        
        Preťaženie
    - - Bus
      - Mesh
      - Tree
      - Star
    - - Distributed Spanning Tree
      - Backward learning
      - Spanning tree
    - - MAC
    - - Automatic Request for Retransmission ARQ
      - CRC
      - Polynomiálne kódy
    - - Neriadený prístup
        
        CSMA/CD - Ethernet
        
        CSMA/CA - Wifi
        
        Aloha
      - Riadený prístup
        
        Pooling
        
        Reservace
        
        Token ring
    - - Stop & Wait - L2/L4
      - Sliding window - L2/L4
  - - - Multiplexing
        
        Analog
        
        Frequencey Division Multiplexing FDM
        
        Wavelength Division Multiplexing WDM
        
        Digital
        
        Time Division Multiplexing TDM
      - bit-to-signal transformation
      - bit-rate control
      - bit synchronization
      - Prepínanie okruhov
    - - Vodené
        
        Optika
        
        Koax
      - Nevodené
        
        Voda
        
        Vzduch
    - - Digitálny - Transkódovanie
      - Analógový - modulácia
  - - - ICMP (Internet Control Message Protocol)
      - ARP (Address resolution protocol)
      - RARP
      - Internetworking
    - - Router
        
        Routing
        
        Dynamické
        
        Centralizované
        
        Izolované
        
        Distribuované
        
        Distance Vector - Bellman-ford
        Susedné routre
        
        Routing Information Protocol RIP
        
        5 more items...
        
        Interior Gateway Protocol IGRP
        
        1 more item...
        
        EIGRP
        
        Použitie - menšie siete
        
        Link State - Dijkstra
        Všetky routrom v sieti
        
        Open Shortest Path First OSPF
        
        2 more items...
        
        Intermediate System to Intermediate system IS-IS
        
        Použitie - menšie a rozsiahle
        
        Path Vector
        
        Border Gateway Protocol BGP
        
        1 more item...
        
        Statické - manuálne
        
        Routing Protocols
        
        OSPF
        
        BP
        
        RIP
        
        System configuration
        
        DHCP
        
        Router management
        
        Vlastnosti
        
        Presnosť
        
        Jednoduchosť
        
        Efektivita a škálovateľnosť
        
        Férovosť
        
        Optimálnosť
        
        Robustnosť
        
        Forwarding
        
        Základné funkcie
        
        IP Header validation
        
        Packet lifetime control
        
        Route lookup
        
        Fragmentation
        
        Komplexné funkcie
        
        Packet Classification
        
        Traffic prioritisation
        
        Ingress
        
        Egress
        
        Elements
        
        Route Control processor
        
        Line Card
        
        Backplane
        
        Address lookup
        
        CIDR
        
        Classful
        
        IP Packet Filtering & Classification
        
        Autonomný systém
        
        Typy
        
        Stub
        
        Multihomed
        
        Transit
        
        Oddelené smerovanie
        
        Interné
        
        RIP
        
        OSPF
        
        IS-IS
        
        Externé
        
        BGP-4
      - L3 Switch
    - - IPv4
        
        Typy
        
        Unicast
        
        Multicast
        
        Broadcast
        
        Rozsah - 32 bitov
        
        Datagram
        
        VER
        
        HLEN
        
        DS/ToS
        
        Identification, Flags, Offset
        
        Protocol
        
        Header checksum
        
        Source IP
        
        Destination IP
        
        Data
        
        Maska sieta
        
        Adresácia
      - IPv6
        
        Typy
        
        Anycast
        
        Unicast
        
        Multicast - ff00::/8
        
        Rozsah - 128 bitov
        
        Prvých 16 bitov 2001
        
        Druhých 16 bitov - Regional internet registry
        
        Tretích 16 bitov - Local Internet Registry
        
        Posledných 64 bitov - adresa rozhrania
        
        Datagram
        
        VER
        
        Fixed header
        
        PRI
        
        Flow label
        
        Payload length
        
        Next header
        
        Hop limit
        
        Source IP
        
        Destination IP
        
        MTU Discovery
        
        Neighbor Discovery Protocol
        
        DAD - Duplicate address detection
        
        L2 Adress translation
        
        NUD - Neightbor Unreachability Detection
        
        Messages
        
        Neightbour Solicitation
        
        Neighbour advertisement
        
        Router solication
        
        Router Advertisement
        
        ICMP redirect
        
        Autoconfiguration
        
        Stateful
        
        Stateless
        
        Mechanizmus
        
        Mecanizmus skrátenia adresy
        
        Mobilita
        
        Home address
        
        Care of address
        
        Home aggent
        
        Mechanizmus
        
        Zariadenie doma
        
        Zariadenie nie je doma
        
        Optimalizácia - Return Routability Procedure
        
        Zabezpečenie
        
        AAA
        
        Authentification
        
        Authhorization
        
        Accounting
        
        CIA
        
        Confidentiality
        
        Integrity
        
        Availability
        
        Techniky
        
        Šifrovanie
        
        Bezpečnostný súčet
        
        IPSec
        
        AH Header
        
        ESP
        
        Možnosti
        
        Transportný mód
        
        Tunelovací mód
        
        Security Associations SA
        
        Parametre
        
        Security Parameter Index
        
        Destination IP Address
        
        Security Protocol Identifier
        
        Key Management
    - - IP
      - Address Resolution Protocol
        ARP
      - ICMP
        
        Messages
        
        Echo request/reply
        
        Time exceeded
        
        Destination unreachable
      - ICMPv6
        
        Packet too Big ICMPv6
        
        Redirect
        
        Neightbor Solication
        
        Router advertisment
  - - - Connection oriented services
        
        TCP Protokol
        
        Hlavička
        
        Source port
        
        Destination port
        
        Sequence number
        
        Acknowledgment number
        
        HLEN
        
        Reserved
        
        Flags
        
        Window size
        
        Checksum
        
        Urgent pointer
        
        Options
        
        Multi-stream
        
        Úpravy
        
        GridDT
        
        Scalable TCP
        
        High Speed TCP
        
        H-TCP
        
        BIC-TCP
        
        CUBIC-TCP
        
        S podporou IP
        
        QuickStart
        
        E-TCP
        
        Fast AQM Scalable TCP Fast
        
        3-cestný handshake
      - Connection-less oriented services
        
        UDP Protokol
        
        Použitie
        
        Multicast
        
        Real-time prenos
        
        DNS
        
        Hlavička
        
        Source port
        
        Destination port
        
        Length
        
        Checksum
        
        Reliable Blast UDP
        
        XPC
        
        SCTP
        
        DCCP
        
        STP
        
        Reliable UDP
        
        XTP
    - - Tahoe
      - Reno
      - Vegas
  - - - HTTP
      - SMTP
      - FTP
    - - Pull model
      - Push model
    - - Klient-Server
        
        Resource discovery - Centralizované
      - Peer-to-Peer
        
        Vlastnosti
        
        Symetrické role
        
        Škálovateľnosť
        
        Robustnosť
        
        Heterogenita
        
        Distribuované riadenie
        
        Dynamika
        
        Zdielanie zdrojov
        
        Samo-organizácia
        
        Použitie
        
        Chat
        
        Hry
        
        Vedecké výpočty
        
        Architektúra
        
        Underlying network
        
        Base Overlay layer
        
        Middleware layer
        
        Application layer
        
        Innitial peer discovery
        
        Statická konfigurácia
        
        Centralizovaný adresár
        
        Overlay Network Topology
        
        Topológie
        
        Random mesh
        
        Tiered structure
        
        Ordered lattice
        
        Service discovery - Medzi peers
        
        Architektúra
        
        Decentralizované P2P
        
        Štruktúra
        
        Plochá
        
        Hierarchická
        
        Overlay topology
        
        Štrukturovaná
        
        Precízna
        
        Probabilistic
        
        Neštrukturovaná
        
        Static configuration
        
        Re-configurable
        
        Centralizované P2P
        
        Hybridné
        
        Edutella
        
        Ultrappers
        
        Structured Superpeers
        
        Smerovanie
        
        Metriky
        
        Úložisko
        
        Efektivita
        
        Použiteľnosť
        
        Pokrytie
        
        Škálovateľnosť
        
        Neštruktúrované
        
        Routovacie stratégie
        
        BFS
        
        DFS
        
        Heuristické
        
        Iterative deeping
        
        Directed BFS
        
        Inteligent search
        
        Local indicies search
        
        Random walk
        
        RBFS
        
        APS
        
        Interested based shortcuts
        
        Štruktúrované
        
        Routovacie stratégie
        
        Distribuované hash tabuľky
        
        Chord
        
        CAN
        
        Pastry
        
        Tapestry
        
        Skip list štruktúry
        
        Skip list
        
        Skip graph
        
        Skipnet
        
        Štruktúry založené na stromoch
        
        P-Grid
        
        P-Tree
        
        BATON
        
        Hybridné
      - Hybridné
- - - - Protokoly
        
        DSDV
        
        OLSR
      - Mechanizmy
        
        Link State
        
        Distance vector
    - - Protokoly
        
        DSR
        
        AODV
        
        DYNO
- - - - Ingress
      - Egress
- - - - Real time tolerant RTT
      - Real time intolerant RTI
- - - - Resource reSerVation Protocol (RSVP)
      - Yet another Sender Session Internet Reservations YESSIR
  - - - Type of Service
    - - Traffic Class
      - Flow label
  - - - QoS routing Extensions to OSPF QOSPF
      - Private Network-Network Interface PNNI
    - - Source based
      - Hop-by-hop
      - Hierarchické
- - - - Tvorená
        
        Predpokladové pravidla a axiomy
        
        Axiomatické pravidla a axiomy
      - Vlastnosti
        
        úplnosť
        
        korektnosť
        
        rozhodnuteľnosť
        
        nezávislosť axiómov
- - - - Verum
      - Falzum
      - Projekcia
      - Negácia
    - - Disjunkcia ∨
      - Konjunkcia ∧
      - Implikácia \({\displaystyle \Rightarrow \,} \)
      - Ekvivalencia ⇔
      - Negácia konjukcie
      - Nonekvivalencia
      - Negácia disjunkcie
  - - - Výrokové symboly
      - Symboly pre výrokové spojky
      - Pomocné symboly
    - - Výrokové symboly - Atomická formula
      - Zložené formule
- - - - Pravdivá
    - - Riešenie
      - Riešenie
- - - - Klauzula
      - Formula
      - Rezolučné pravidlo
      - Rezolučný dôkaz
  - - - Vyplýva
- - - - Block
        
        local scope
        
        global scope
      - Statický
      - Dynamický
    - - Statické
      - Dynamické
      - Na halde
  - - - Návrhu jazyka
      - Implementácii jazyka
      - Písaní programu
      - Prekladu
      - Zostavení programu
      - Nahranie programu
      - Behu programu
- - - - Union
      - Records
      - Numeric
      - Arrays
      - Lists
      - Pointers
        
        Vysiaci pointer
      - Primitive
      - Composite
      - Strings
      - Enums
      - Developer defined
      - Vstavané
- - - - target of evaluation TOE
      - protection profile PP
      - security functional requirements SFRs
      - vyhodnotenie TOE
      - security target ST
      - TSF TOE Security Functions
      - TSF Scope of Control
- - - - R = T*V*C
      - R = P*C
- - - - Online
      - Offline
      - Zachytné
- - - - Hledání anomálií
      - Klasifikácia
        
        Hierarchický clusterný
        
        Dendrogram
        
        Aglomeratívny
        
        Divisive
        
        Direct
      - Odhad latentních proměnných
    - - shluková analýza
        
        k-means
- - - - A* prohledávání
        
        8 posunovačka
        
        Hamming
        
        Manhattan distance
      - Best First Search
- - - - Min
      - Max
- - - - diskrétne :memo:
      - spojité :memo:
    - - ordinálne :memo:
      - nominálne :memo:
- - - - Normálové
      - Exponenciálne
- - - - ACID Princípy
        
        Durability
        
        Consistency
        
        Atomicity
        
        Isolation
- - - - Prioritná
        
        Implementácia - nezoradené pole, linked list
        
        Implementácia - halda
      - Obojstranná
  - - - Implementácia
        
        Universal hash
        
        Binary poolling
      - Kolízie
        
        Zreťazenie
        
        Otvorené rozplytlovanie
        
        Linear probing
        
        Double hashing
        
        Kukavčie hashovanie
        
        Dokonalé hashovanie
- - - - Má syna
      - Nemá syna
      - Dvaja synovia
- - - - Scenáre
- - - - Implementácia v poli
- - - - Σ je konečná množina, tzv. vstupná abeceda
      - Г je konečná množina, tzv pracovní abeceda Σ ⊆ Г
      - ⊳ ∈ Г \ Σ je levá koncová značka
      - ⊔ ∈ Г \ Σ je symbol označující prázdné políčko
      - δ: (Q \ {qacc, qrej}) × Г ⇾ Q × Г × {L, R} je totální přechodová funkce
      - q0 ∈ Q je počáteční stav
      - qacc ∈ Q je akceptující stav
      - qrej ∈ Q je zamítající stav
      - Q Konečná množina stavov
    - - Akceptujúca
      - Zamietajúca
      - Počiatočná
    - - Úplny TM
      - Zamieta
      - Cyklí
      - Akceptuje
      - Rozhoduje
      - Jazyk je rozhodnuteľný
- - - - NP-úplné úlohy
  - - - NP-Complete
      - NP-Hard
      - P != NP
- - - - Inicializácia
      - Iterácia
      - Ukončenie
- - - - Príklad
- - - - Prevod desiatkového desatinného číslo na binárne
  - - - Priamy kód
      - Inverzný kód
        
        Sčítanie
      - Doplnkový kód
        
        Pretečenie
        
        Sčítanie
      - Kód s posunutou nulou
- - - - DEC → IEEE
      - IEEE → DEC
      - Sčítanie
  - - - BigEndian
      - LittleEndian
      - MiddleEndian
    - - Unicode
      - ASCII
- - - - Left outer join
      - Right outer join
      - Full outer join
- - - - Super klúče
      - Kandidátne klúče
      - Primárne klúče