• Translate
  • Vytvoření účtu
  • Přihlášení
  • Hlavní strana
  • Poslední změny
  • Náhodná stránka
  • Nápověda
  • Projekty
  • Nástroje
    • Odkazuje sem
    • Související změny
    • Speciální stránky
    • Trvalý odkaz
  • Tisk
    • Vytvořit knihu
    • Stáhnout jako PDF
    • Verze k tisku

Portál:Vyčíslitelnost

Vyčíslitelnost


  • Algoritmus
  • Věta o rekurzi
  • Riceova věta
  • Rekurzívní funkce
  • Rekurzívně spočetná množina
  • Ordinální rekurze
  • Vývojové diagramy
  • Churchova teze
  • Diagonální metoda
  • Univerzální funkce
  • Věta o projekci
  • Postova věta
  • Věta o parametrech
  • m-převeditelnost
  • m-kompletnost
  • Produktivní množiny
  • Kreativní množiny
  • Problém zastavení
  • Aritmetická hierarchie
Citováno z „https://wikisofia.cz/w/index.php?title=Portál:Vyčíslitelnost&oldid=11957“
Kategorie:
  • Vyčíslitelnost
  • Logika
  • Portál
  • Diskuse
  • Zobrazit zdroj
  • Historie
  • Ochrana osobních údajů
  • O Wikisofii
  • Vyloučení odpovědnosti
  • Facebook
  • Univerzita Karlova
  • Filozofická fakulta

Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897

Powered by MediaWiki