Název: Problém Busy Beaver
Překlad názvu: Busy Beaver Problem
Autoři: Kropitz, Pavel ; Holan, Tomáš (vedoucí práce) ; Mráz, František (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2011
Jazyk: slo
Abstrakt: [eng] [cze]

Klíčová slova: busy beaver; dôkaz; indukcia; rozhodnutie nezastavenia; busy beaver; induction; non-halting decision; proof

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/37142

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-301406


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2017-05-09, naposledy upraven 2022-03-04.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet