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 »