Računarstvo i Teorija računanja

Prečaci: Razlike, Sličnosti, Jaccard Sličnost koeficijent, Reference.

Razlika između Računarstvo i Teorija računanja

Računarstvo vs. Teorija računanja

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. 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.

Algoritam

Dijagram algoritma (Euklidov algoritam) za izračunavanje najvećeg zajedničkog djelitelja (NZD) dva broja ''a'' i ''b'' na mjestima nazvanim A i B. Algoritam se nastavlja uzastopnim oduzimanjem u dvije petlje: AKO test B ≥ A daje „da“ ili „istina” (točnije, ''broj'' ''b'' u lokaciji B veći je ili jednak ''broju'' ''a'' u mjestu A) Zatim, algoritam Određuje b ← b - A (što znači da broj ''b'' - ''A'' zamjenjuje staru ''b).'' Slično tome, AKO A> B, PA A ← A - B. Proces se prekida kada je (sadržaj od) B jednak 0, dajući NZD u A. (Algoritam izveden iz ''Scott 2009: 13; symbols and drawing style from Tausworthe 1977''). Dijagram Adae Lovelace iz "note G", prvi objavljeni računalni algoritam. U matematici i informatici, algoritam je konačni niz precizno definiranih, računalno izvedljivih uputa, tipično za rješavanje klase problema ili za izvršavanje računa.

Algoritam i Računarstvo · Algoritam i Teorija računanja · Vidi više »

Matematička logika

Matematička ili moderna logika je grana matematike i logike koja se bavi prikazom tradicionalne logike simbolima (pa se još naziva i simboličkom logikom), pri čemu je sve potpuno definirano te nema mogućnosti različitog shvaćanja kao što je to često u tradicionalnoj logici.

Matematička logika i Računarstvo · Matematička logika i Teorija računanja · Vidi više »

Matematika

Matematika (od grčkog μάθημα (máthēma) 'znanost') egzaktna je (točna, nedvojbena) znanost koja izučava aksiomatski definirane apstraktne strukture koristeći se matematičkom logikom.

Matematika i Računarstvo · Matematika i Teorija računanja · Vidi više »

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.

Problem zaustavljanja i Računarstvo · Problem zaustavljanja i Teorija računanja · Vidi više »

Programski jezik

Programski jezik je određen skupom simbola i pravilima njihovog slaganja kojim se opisuje postupak računanja.

Programski jezik i Računarstvo · Programski jezik i Teorija računanja · Vidi više »

Računalo

right Računalo, razgovorno poznato i kao kompjutor ili kompjuter, uređaj je koji služi za izvršavanje matematičkih operacija ili kontrolnih operacija koje se mogu izraziti u numeričkom ili logičkom obliku.

Računalo i Računarstvo · Računalo i Teorija računanja · Vidi više »

Računska teorija složenosti

Kao grana teorije računanja u računarstvu, računska teorija složenosti opisuje skalabilnost algoritama, te inherentnu teškoću u pružanju skalabilnih algoritama za specifične računske probleme.

Računarstvo i Računska teorija složenosti · Računska teorija složenosti i Teorija računanja · Vidi više »

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.

Računarstvo i Teorija izračunljivosti (računarstvo) · Teorija izračunljivosti (računarstvo) i Teorija računanja · Vidi više »