TIN064 Vyčíslitelnost I

Základní přednáška z teorie algoritmů a efektivní vyčíslitelnosti. Turingovy stroje. Částečně rekurzivní funkce. Rekurzivní a rekurzivně spočetné množiny. Algoritmicky nerozhodnutelné problémy. Věta o rekurzi. Kreativní množiny.
  • Oznámení
    Odpovědi
    Zobrazení
    Poslední příspěvek
  • Témata
    Odpovědi
    Zobrazení
    Poslední příspěvek
Nové téma

Vrátit se na Obsah fóra

Oprávnění fóra

Můžete zakládat nová témata v tomto fóru
Můžete odpovídat v tomto fóru
Nemůžete upravovat své příspěvky v tomto fóru
Nemůžete mazat své příspěvky v tomto fóru
Nemůžete přikládat soubory v tomto fóru