Problem zaustavljanja

U teoriji izračunljivosti, problem zaustavljanja je problem odluke koji se neformalno može iskazati na sljedeći način: Alan Turing je 1936. dokazao da općenit algoritam za rješavanje problema zaustavljanja za sve moguće parove programa-ulaza ne može postojati.

Koristi AI

Sadržaj

1. 8 odnosi: Alonzo Church, Lambda račun, Neodlučivost, Računarstvo, Semi-Thue sustav, Teorija izračunljivosti (računarstvo), Teorija računanja, Zenonov stroj.

Alonzo Church

Alonzo Church (Washington, DC, 14. lipnja 1903. – 11. kolovoza 1995.), američki matematičar i logičar, zaslužan za neke od teoretskih osnova računarstva.

Pogledaj Problem zaustavljanja i Alonzo Church

Lambda račun

U matematičkoj logici i računarstvu, lambda račun, odnosno λ-račun, je formalni sustav dizajniran za ispitivanje definicije funkcije, aplikaciju funkcije, te rekurziju.

Pogledaj Problem zaustavljanja i Lambda račun

Neodlučivost

U teoriji rekurzije u matematičkoj logici, problem odluke je zvan (rekurzivno) neodlučivim ako ne postoji algoritam koji ga može odlučiti, poput onoga za problem zaustavljanja Alana Turinga, t.j. problem čiji jezik nije rekurzivan skup.

Pogledaj Problem zaustavljanja i Neodlučivost

Računarstvo

Računalstvo ili računarstvo (računarska znanost ili znanost o računalima) se bavi proučavanjem teoretskih osnova informacije i računanja, te njihovim implementacijama i primjenama u računalnim sustavima.

Pogledaj Problem zaustavljanja i Računarstvo

Semi-Thue sustav

U računarstvu i matematici, Semi-Thue sustav je sustav prepisivanja stringa.

Pogledaj Problem zaustavljanja i Semi-Thue sustav

Teorija izračunljivosti (računarstvo)

U računarstvu, teorija izračunljivosti je grana teorije računanja koja proučava probleme koji su računski rješivi koristeći različite modele računanja.

Pogledaj Problem zaustavljanja i Teorija izračunljivosti (računarstvo)

Teorija računanja

Teorija računanja je grana računarstva koja razmatra mogu li se i s kojom učinkovitošću riješiti problemi koristeći računalo.

Pogledaj Problem zaustavljanja i Teorija računanja

Zenonov stroj

U matematici i računarstvu, Zenonovi strojevi (skraćeno kao ZS, također zvan i ubrzani Turingov stroj) su računski modeli povezani s Turingovim strojevima koji dozvoljavaju obavljanje prebrojivo beskonačno mnogo algoritamskih koraka u konačnom vremenu.

Pogledaj Problem zaustavljanja i Zenonov stroj

Unijapedija je koncept kartu ili semantičke mreže, organizirana kao enciklopedija - rječnik. To daje kratku definiciju svakog pojma i njegovih odnosa.

Ovo je div online mentalnu kartu koja služi kao temelj za dijagrame koncept. To je besplatan za korištenje i svaki članak ili dokument se može skinuti. To je alat, izvor ili referenca za studij, istraživanje, obrazovanje, učenje ili poučavanje, koji se može koristiti od strane nastavnika, nastavnika, učenika ili studenta; za akademsku svijetu: za škole, osnovno, srednje, gimnazije, srednje tehničke stupnja, koledž, sveučilište, preddiplomskih, diplomskih i doktorskih stupnjeva; za radove, izvješća, projekte, ideje, dokumentacije, ankete, sažetke, odnosno rada. Ovdje je definicija, objašnjenje, opis ili značenje svako bitnije na kojem trebate informacije, kao i popis njihovih povezanih koncepata kao riječnika. Dostupan u Hrvatski, Engleski, Španjolski, Portugalski, Japanski, Kineski, Francuski, Njemački, Talijanski, Polirati, Nizozemski, Ruski, Arapski, Hindski, Švedski, Ukrajinski, Mađarski, Katalonski, Češki, Hebrejski, Danski, Finski, Indonezijski, Norveški, Rumunjski, Turski, Vijetnamski, Korejski, Thai, Grčki, Bugarski, Slovački, Litvanski, Filipinac, Latvijski, Estonski i Slovenski Više jezicima.

Informacije se temelje na člancima s Wikipedije i drugim projektima Wikimedije i dostupne su pod licencom Creative Commons Imenovanje-Dijeli pod istim uvjetima.

Zaklada Wikimedia ne podržava niti je povezana s Unijapedija.

Google Play, Android i logotip Google Playa zaštitni su znaci tvrtke Google Inc.

Sva prava pridržana