Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Stiahnuť ▼
Rýchlejšie ako prehliadači!
 

Problém zastavenia

Index Problém zastavenia

Problém zastavenia (angl. halting problem) je úloha teórie vyčísliteľnosti, ktorá môže byť neformálne zadaná takto: Ak poznáte zdrojový kód programu a jeho vstup, rozhodnite, či program zastaví, alebo či pobeží navždy bez zastavenia. V roku 1936 Alan Turing dokázal, že všeobecný algoritmus, ktorý by riešil problém zastavenia pre všetky vstupy všetkých programov, neexistuje.

6 vzťahy: Alan Turing, Algoritmus, Dôkaz sporom, Program (počítačový), Root.cz, 1936.

Alan Turing

Alan Mathison Turing (* 23. jún 1912, Londýn, Spojené kráľovstvo – † 7. jún 1954, Wilmslow, Spojené kráľovstvo) bol britský matematik, logik, kryptograf a vojnový hrdina.

Nový!!: Problém zastavenia a Alan Turing · Pozrieť viac »

Algoritmus

Príklad algoritmu – vývojový diagram. Algoritmus je postupnosť presne definovaných inštrukcií na splnenie určitej úlohy.

Nový!!: Problém zastavenia a Algoritmus · Pozrieť viac »

Dôkaz sporom

Dôkaz sporom alebo dôkaz per absurdum je dôkaz pomocou zákona reductio ad absurdum, teda dôkaz podľa vzorca: ak platí "z A vyplýva B", potom ak vieme, že "z A vyplýva opak B", tak platí opak A. Inými slovami je dôkaz sporom toto: ak "z A vyplýva B" a zároveň "z A vyplýva opak B", tak platí opak A. Alebo slovne: Ak z nejakého predpokladu A vyplýva výrok B a súčasne jeho negácia, potom musí platiť negácia A. Je to obmena/špeciálna forma nepriameho dôkazu.

Nový!!: Problém zastavenia a Dôkaz sporom · Pozrieť viac »

Program (počítačový)

Počítačový program (alebo len program, syn. '''aplikácia''') je súbor príkazov a inštrukcií, respektíve ich postupnosť v zápise zrozumiteľnom počítaču, ktorá slúži na vykonanie úlohy v tomto počítači.

Nový!!: Problém zastavenia a Program (počítačový) · Pozrieť viac »

Root.cz

Root.cz je český internetový spravodajský server, zameraný prevažne na operačný systém Linux, slobodný softvér, internetové dianie a oblasť informačných technológií.

Nový!!: Problém zastavenia a Root.cz · Pozrieť viac »

1936

Žiadny popis.

Nový!!: Problém zastavenia a 1936 · Pozrieť viac »

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »