UL/FRI/UNI-RI/TOR2

Iz E-študij, proste zakladnice študentskega znanja

< UL | FRI | UNI-RI
Skoči na: navigacija, iskanje
Abecedni seznam zapiskov

Predava: Borut Robič

Vaje vodi: Uroš Čibej

Povezave:

Izpitni roki: Arhiv izpitov
  • dd.mm.2012
  • dd.mm.2012
  • dd.mm.2012
  • dd.mm.2012

(Za kolokvije ustvari stran)

Izpitni red:

O opravljanju izpitov

Ostalo:


Ključne besede: TOR2


Teoretične osnove računalništva 2


Vsebina

  1. Osnove
    1. Turingov stroj in Turingov generator
    2. Churcheva hipoteza
    3. Rekurzivne funkcije
  2. Neodločljivost
    1. Postov korespondenčni problem
    2. Diagonalni jezik
    3. Preroki
  3. Hierarhija Chomskega
  4. Kompleksnost izračunov
    1. Prostorska kompleksnost
    2. Časovna kompleksnost
    3. Hierarhija kompleksnosti
  5. Verjetnostni in aproksimacijski algoritmi
    1. NP problem
      1. NP polni problem
      2. Problem SAT
      3. Problem CSAT
      4. Problem 3CSAT
    2. Aproksimacijski algoritmi
    3. Verjetnostni algoritmi

Izpiti

Zapiski

Vzpostavljeno iz »http://www.e-studij.si/UL/FRI/UNI-RI/TOR2«
Osebna orodja
Imenski prostori
Različice
Dejanja
navigacija

Tiskanje/izvoz
orodja