Računarstvo

**Računarstvo** (**računarska znanost**, te još i **računalna znanost**, **znanost o računalima**; ili **računalstvo**) se bavi proučavanjem teoretskih osnova informacije i računanja, te njihovim implementacijama i primjenama u računalnim sustavima. Računarstvo ima mnoga potpolja; neki naglašavaju računanje i specifične rezultate (kao što je računalna grafika), dok drugi naglašavaju svojstva računskih problema, (kao što je računska teorija složenosti). Treći se sredotoče na izazove u ostvarenju računanja. Na primjer, teorija programskih jezika proučava pristupe u opisu računanja, dok računalno programiranje primjenjuje specifične programske jezike za rješavanje specifičnih računskih problema sa rješenjima. Daljnje potpolje, interakcija čovjeka i računala, se fokusira na izazove u činjenju računala i računanja korisnima, koristivima i univerzalno pristupačnima svim ljudima.

## Historija

Povijest računarstva predatira mnogo godina invenciju suvremenog digitalnog računala. Strojevi za računanje specifičnih zadataka poput abakusa su postojali još od davnina. Wilhelm Schickard je izgradio prvi mehanički kalkulator 1623. Charles Babbage je dizajnirao diferencijalni stroj u viktorijansko doba, a oko 1900. je tvrtka IBM prodavala strojeve sa bušenim karticama

. Međutim, svi ovi strojevi su bili ograničeni na obavljanje jednog zadatka ili, u najboljem slučaju, nekog podskupa svih mogućih zadataka.

Tokom 1940-ih, kako su bili razvijani noviji i moćniji strojevi za računanje, naziv *računalo* se počeo odnositi na strojeve, radije nego na njihove ljudske prethodnike. Kad je postalo jasno da računala mogu biti korištena za više od pukih matematičkih računanja, polje računarstva se proširilo i na proučavanje računanja u općem smislu. Računarstvo se etabliralo kao zasebna akademska disciplina 1960-ih, stvaranjem prvih odsjeka i studija računarstva.. Budući da su praktična računala postala dostupna, mnoge primjene računarstva su postale zasebna istaknuta područja proučavanja.

## Veći uspjesi

Unatoč svojoj relativno kratkoj povijesti kao formalna akademska disciplina, računarstvo je načinilo mnogo fundamentalnih doprinosa znanosti i društvu, između kojih su:

;Primjene unutar računarstva

* Formalna definicija računanja i izračunljivosti, te dokaza da postoje nerješivi i neukrotivi problemi.
* Koncept programskog jezika, alata za precizno izražavanje metodoloških informacija na raznim razinama apstrakcije 

;Primjene izvan računarstva

* Potaknulo je digitalnu revoluciju, koja je vodila ka trenutnom informacijskom dobu
* U kriptografiji, razbijanje stroja Enigma je bio značajan faktor koji je doprinjeo pobjedi Saveznika u drugom svjetskom ratu.
* Znanstveno računarstvo je omogućilo napredno proučavanje uma i preslikavanje ljudskog genoma u sklopu projekta ljudski genom. Projekti iz raspodijeljenog računarstva, poput Folding@home, istražuju uvijanje bjelančevina.

## Odnosi sa drugim disciplinama

Unatoč svome imenu, većina računarstva ne uključuje bavljenje samim računalima. Ustvari, istaknuti računalni znanstvenik Edsger Dijkstra je često citiran kako kaže: *"Računarstvo nije ništa više o računalima, nego što je astronomija o teleskopima."* Dizajn i dostava računala i računalnih sustava se općenito smatra područjem disciplina koji nisu računarstvo. Na primjer, proučavanje računalnog sklopovlja je uobičajeno smatrano dijelom računalnog inženjerstva, dok je proučavanje komercijalnih računalnih sustava i njihove dostave često zvano informacijska tehnologija ili informacijski sustavi. Računarstvo je ponekad kritizirano kao nedovoljno znanstveno, pogled koji je utjelovljen u izjavi *"Znanost je računarstvu ono što je hidrodinamika vodoinstalaterstvu"*, pripisana Stanu Kelly-Bootleu i drugima. Međutim, znatna se interdisciplinarna suradnja odvija između različitih disciplina vezanih za računala. Računarstvo je također nerijetko prešlo u druge discipline, kao što je umjetna inteligencija, kognitivna znanost, fizika (vidi kvantno računarstvo), te jezikoslovlje.

Neki smatraju da je računarstvo srodnije matematici od mnogih drugih znanstvenih disciplina. Rano je računarstvo bilo pod strogim utjecajem rada matematičara kao što su Kurt Gödel i Alan Turing, i postoji jako plodonosna razmjena ideja između dvaju polja u područjima kao što su matematička logika, teorija kategorija, teorija domena i algebra.

Odnos između računarstva i programskog inženjerstva je predmet mnogih prijepora, a što je još dodatno zamućeno mnogim sporovima oko toga što točno naziv "programsko inženjerstvo" znači, te kako je računarstvo definirano. David Parnas, uzimajući za uzor odnose između ostalih inženjerskih i znanstvenih disciplina, je tvrdio da je principijelni fokus računarstva proučavanje općenitih svojstava računanja, dok je principijelni fokus programskog inženjerstva dizajn specifičnih računanja kako bi se postigli praktični rezultati, što to dvoje čini različitim ali komplementarnim disciplinama..

## Polja računarstva

Računarstvo istražuje koncepte i dokaze kako bi objasnilo i opisalo zanimljive računske sustave. Kao i kod svake znanosti, ove teorije mogu biti iskorištene prilikom sinteze praktičnih inženjerskih aplikacija, koje zauzvrat mogu voditi ka novim sustavima za proučavanje i analiziranje. Iako se može koristiti ACM sustav za razredbu računarstva, slijedi nešto deskriptivnija podjela:

### Matematičke osnove

#### [[Matematička logika]]
: Bulovska logika i ostali načini modeliranja logičkih upita; uporabe i ograničenja formalnih metoda dokazivanja.

#### Teorija brojeva
: Teorija dokaza i heuristika za nalaženje dokaza u jednostavnoj domeni cijelih brojeva. Korištena kako u kriptografiji, tako i u domeni umjetne inteligencije.

#### Teorija grafova
: Osnove za podatkovne strukture i algoritme pretraživanja.

#### Teorija tipova
: Formalna analiza tipova podataka, te uporaba ovih tipova za razumijevanje svojstava programa - napose sigurnosti programa.

#### Teorija kategorija
: Teorija kategorija pruža sredstva za obuhvaćanje cijele matematike i računanja u jednoj sintezi.

### Teorija računanja

; Teorija automata
: Različite logičke strukture za rješavanje problema.
; Teorija izračunljivosti
: Što je izračunljivo trenutnim modelima računala. Dokazi koje su razvili Alan Turing i drugi pružaju uvid u mogućnosti što može biti izračunato, a što ne.
; Računska teorija složenosti
: Fundamentalna ograničenja (napose vremenska i prostorna) nad klasama računanja.
; Kvantno računarstvo

### Algoritmi i strukture podataka

; Analiza algoritama
: Vremenska i prostorna složenost algoritama.
; Algoritmi
: Formalni logički procesi korišteni za računanje, te učinkovitost ovih procesa.
; Strukture podataka
: Organizacija i pravila manipuliranja podatcima.

### Programski jezici i jezični procesori

; Jezični procesori
: Načini translacije računalnih programa, obično iz viših jezika u niže jezike.
; Programski jezici
: Paradigme formalnih jezika za izražavanje algoritama, te svojstva ovih jezika (npr. za rješavanje kakvih problema su prikladni)

### Konkurentni, paralelni i raspodijeljeni sustavi

; Konkurentnost
: Teorija i praksa simultanih računanja; sigurnost podataka u višezadaćnom i višenitnom okolišu.
; Raspodijeljeno računarstvo
: Računanje korištenjem višestrukih računarskih uređaja preko mreže u svrhu ostvarenja zajedničkog zadatka te reduciranja latencije koja je na taj način uključena u doprinos jednog procesora za bilo koji zadatak.
; Paralelno računarstvo
: Računanje korištenjem višestrukih konkurentnih niti izvršavanja.

### Programsko inženjerstvo

; Dizajn algoritama
: Korištenje ideja iz teorije algoritama za kreativnno dizajniranje rješenja konkretnih zadataka.
; Računalno programiranje
: Praksa korištenja programskog jezika za implementiranje algoritama
; Formalne metode
: Matematički pristupi opisivanju i zaključivanju o dizajnu programske podrške.
; Reverzno inženjerstvo
: Primjena znanstvene metoda u razumijevanju neke proizvoljne postojeće programske podrške
; Programsko inženjerstvo
: Principi i praksa dizajna, razvijanja i testiranja programa, kao i pravilne inženjerske prakse.

### Arhitektura računala
; Arhitektura računala
: Dizaj, organizacija, optimizacija i verifikacija računalnog sustava, većinom se vrti oko CPU i memorijskih podsustava (te sabirnice koja ih spaja).
; Organizacija računala
: Implementacija računalnih arhitektura, u terminima opisa njihovih specifičnih električnih krugova
; Operacijski sustavi
: Sustavi za upravljanje računalnim programima i pružanja baze koristivih sustava.

### Komunikacije

; Računalni zvuk
: Algoritmi i podatkovne strukture za stvaranje, manipulaciju, pohranu i prijenos zapisa digitalnog zvuka. Također je važan u aplikacijama za prepoznavanje glasa.

; Umrežavanje
: Algoritmi i protokoli za pouzdano komuniciranje podatcima duž različitih dijeljenih ili dediciranih medija, često uključujući ispravljanje grešaka.

; Kriptografija
: Primjenjuje rezultate iz složenosti, vjerojatnost i teorije brojeva kako bi izmislila i razbila kodove za šifriranje.

### Baze podataka

; Rudarenje podataka

; Relacijske baze podataka
: Proučavanje algoritama za pretragu i obradu informacija u dokumentima i bazama podataka; usko je povezano sa dohvaćanjem informacije.

### Umjetna inteligencija

; Umjetna inteligencija
: Implementacija i proučavanje sustava koji ispoljavaju autonomnu inteligenciju ili ponašanje.
; Automatizirano zaključivanje
: Strojevi za rješavanje, kao što ih koristi Prolog, koji proizvode korak do rezultata za dani upit o činjenici i bazu podataka sa pravilima.
; Računalni vid
: Algoritmi za identificiranje trodimenzionalnih objekata iz jedne ili više dvodimenzionalnih slika.
; Strojno učenje
: Automatsko stvaranje skupa pravila i aksioma ovisno o ulazu.
; Obrada prirodnog jezika/Računska lingvistika
: Automatsko razumijevanje i generiranje ljudskog jezika
; Robotika
: Algoritmi za kontrolu ponašanja robota.

### Meko računarstvo

Zajednički naziv za tehnike korištene u rješavanju specifičnih problema. Vidjeti glavni članak.

### Računalna grafika

; Računalna grafika
: Algoritmi i za sintetičko generiranje vizualnih slika, te za integriranje i mijenjanje vizualne i prostorne informacije uzorkovane iz stvarnog svijeta.
; Obrada slike
: Određivanje informacije iz slike koristeći računanje.

### Interakcija čovjeka i računala

; Interakcija čovjeka i računala
: Proučavanje činjenja računala i računanja korisnim, koristivim i univerzalno pristupačnim ljudima, uključujući proučavanje i dizajn računalnih sučelja kroz koja ljudi koriste računala.

### Znanstveno računarstvo

; Bioinformatika
: Uporaba računarstva u svrhu održavanja, analize i pohranjivanja bioloških podataka, te u svrhu rješavanja bioloških problema poput uvijanja bjelančevina (engl. *protein folding*), predviđanje funkcije i filogenije.
; Kognitivna znanost
: Računsko modeliranje stvarnih umova
; Računska kemija
: Računsko modeliranje teoretske kemije u svrhu određivanja kemijskih struktura i svojstava
; Računska neuroznanost
: Računsko modeliranje stvarnih mozgova
; Računska fizika
: Numeričke simulacije velikih neanalitičkih sustava
; Numerički algoritmi
: Numerička rješenja matematičkih problema kao što su pronalaženje korijena, integracija, rješenja običnih diferencijalnih jednadžbi te aproksimacija specijalnih funkcija. 
; Simbolička matematika
: Manipulacija i rješavanje izraza u simboličkom obliku, poznato i kao računalna algebra.

## Obrazovanje i računarstvo

Neka sveučilišta poučavaju računarstvo kao teoretsko proučavanje računanja i algoritamskog zaključivanja. Ovakvi programi često između ostaloga naglašavaju teoriju računanja, analizu algoritama, teoriju konkurentnosti, baze podataka i analizu sustava. Također tipično poučavaju računalno programiranje, koje pak tretiraju radije kao alat za podršku ostalim poljima računarstva, nego kao središnji fokus proučavanja.

Druge škole i sveučilišta, kao i srednje škole i vokacijski programi koji poučavaju računarstvo, naglašavaju praksu naprednog računalnog programiranja radije nego teoriju algoritama i računanja u svojem programu. Takvi programi se više fokusiraju na vještine koje su važne radnicima koji ulaze u industriju programske podrške. Ovi praktični aspekti računalnog programiranja se često pokrivaju nazivom programsko inženjerstvo. S druge strane, postoji mnogo prijepora oko toga što točno naziv "programsko inženjerstvo" znači, i je li to ista stvar kao i programiranje.

: Vidi Peter J. Denning, *[http://portal.acm.org/citation.cfm?id=971303&dl=ACM&coll=&CFID=15151515&CFTOKEN=6184618 Great principles in computing curricula]*, Technical Symposium on Computer Science Education, 2004.

## Povezano
: *Glavni popis: [[Popis osnovnih tema u računarstvu]]*

* Informatika
* Računalna djelatnost u Hrvatskoj
* Popis konferencija u računarstvu
* Popis otvorenih problema u računarstvu
* Popis istaknutih pionira računarstva
* Popis važnih publikacija u računarstvu
* Popis tema u programskom inženjerstvu
* Popis računalnih znanstvenika

## Izvori



* Association for Computing Machinery. 1998 ACM Computing Classification System . 1998.
* IEEE Computer Society i Association for Computing Machinery. Computing Curricula 2001: Computer Science. 15. prosinca 2001.
* Peter J. Denning. *[http://portal.acm.org/citation.cfm?id=1053309&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618 Is computer science science?]*, Communications of the ACM, travanj 2005.



## Vanjske veze

* Collection of Computer Science Bibliographies 
* Photographs of computer scientists (galerija Bertranda Meyera)
* Lecturefox  Besplatna predavanja iz računarstva
* Uvod u Informacijske znanosti - e-knjiga na srpskohrvatskom jeziku