Informatic

Termenul informatic desemneaz tiina procesrii sistematice a informaiei, n special a procesrii cu ajutorul calculatoarelor. Termenul englez corespunztor este Computer Science (tiina calculatoarelor). Istoric, informatica s-a dezvoltat ca tiin din matematic, n timp ce dezvoltarea primelor calculatoare i are originea n electrotehnic i telecomunicaii. De aceea, calculatorul reprezint doar dispozitivul pe care sunt implementate conceptelor teoretice. Informaticianul olandez Edsger Dijkstra afirma: "n informatic ai de-a face cu calculatorul, aa cum ai n astronomie cu telescopul". A nu se confunda informatica nici cu Tehnologia informaiei i nici cu teoria informaiei.

Etimologie i istorie
Termenul informatic provine din alturarea cuvintelor informaie i matematic. Alte surse susin c provine din combinaia informaie i automatic. Istoria informaticii ncepe nainte de momentul apariiei computerului digital. nainte de anul 1920, termenul de "computer" se referea n limba englez la un o persoan care efectua calcule (un funcionar). Primii cercettori n ceea ce avea s se numeasc informatic, cum sunt Kurt Gdel, Alonzo Church i Alan Turing, au fost interesai de problema computaional: ce informaii ar putea un funcionar uman s calculeze avnd hrtie i creion, prin urmrirea pur i simplu a unei liste de instruciuni, att timp ct este necesar, fr s fie nevoie ca el s fie inteligent sau s presupun capaciti intuitive. Una din motivaiile acestui proiect a fost dorina de a proiecta i realiza "maini computaionale" care s automatizeze munca, deseori plictisitoare 1. Alan Turing (1912-1954) i nu lipsit de erori, a unui computer uman. n perioada anilor 1970, cnd mainile computaionale au cunoscut o evoluie accelerat, termenul de "computer" i-a modificat semnificaia, referindu-se de acum mai degrab la maini, dect la predecesorii si umani.

Importana informaticii
n prezent, informatica i gsete aplicaii n toate domeniile vieii. Prezena ei este puternic amplificat de impactul pe care l are Internetul. Reeaua la nivel mondial a revoluionat comunicarea dintre companii, logistica, mass media, dar i viaa privat a fiecarui individ. Mai puin vizibil, dar totui omniprezent, informatica i-a ctigat un loc stabil pn i n aparatele casnice, ca de exemplu video recorder-ul sau maina de splat, n care sunt inglobate aanumitele embedded Systems (sisteme inglobate), care asigur acestor aparate un comportament mai mult sau mai puin "inteligent". Computerele pot administra, proteja, transmite i prelucra o mare cantitate de date ntr-un timp scurt. Pentru efectuarea unor astfel de operaii este necesar o interaciune complex ntre

sistemele de hardware i de software, care reprezint domeniile fundamentale de cercetare n Informatic. Marele avantaj al sistemelor computaionale const n capacitate lor de a prelucra n mod schematic cantiti enorme de informaii la o vitez foarte mare. S-a ncercat i implementarea capacitilor perceptive ale omului n sistemele informatice, ns pn n prezent cu un succes foarte limitat. Un exemplu n aceast direcie l constituie sistemele de recunoatere a chipului uman, sau/i de luare a deciziilor atunci cnd nu se dispune de toate datele necesare. Astfel de procese sunt studiate de o ramur specializat a informaticii, inteligena artificial. Astfel, n anumite discipline restrnse pot fi obinute deja rezultate remarcabile. Totui nu se poate nc vorbi despre o modelizare a inteligenei umane. Ca sistem tiinific fundamental, informatica are, la fel ca i matematica, implicaii profunde n multe alte domenii ale tiinei. Dac prin matematic se nelege un "sistem de gndire formal", atunci informatica se concentreaz pe ceea ce este "formal realizabil", adic ceea ce este realizabil din punctul de vedere al mainii. Studierea problemelor informaticii poate s se apropie foarte mult de filozofie.

Disciplinele informaticii
Informatica se divide n urmtoarele domenii fundamentale:

informatic teoretic informatic practic informatic tehnic

Pe lng aceste trei domenii principale, mai exist:

inteligen artificial, considerat drept interdisciplin, ntr-o anumit msur de sine stttoare.

Utilizarea informaticii n diferite domenii ale vieii de zi cu zi, ca de exemplu n economie, geografie,domeniul medical, este cuprins n termenul de informatic aplicat. Informatica teoretic poate fi considerat ca baza pentru alte domenii derivate. Aceasta asigur cunotinele fundamentale pentru decidabilitatea unei probleme, sistematizarea complexitii i pentru formalizarea automatelor i a limbajelor formale. Pe aceste fundamente se constituie informatica practic i informatica tehnic. Acestea se ocup cu problemele centrale ale prelucrrii informaiei i ofer soluii pragmatice i adaptabile. n acest punct cele doua domenii de dezvoltare sunt strns legate unul de altul, difereniindu-se prin apropierea sau deprtarea de microelectronic. Din punctul de vedere al informaticii, electronica nu reprezint dect un instrument i nu un domeniu central de cercetare. n informatica practic, gsirea soluiilor se face n aa fel nct s se obin o ct mai mic dependen de electronic. Rezultatele ii gsesc n final utilizarea n informatica aplicat. Acestui domeniu i revine realizarea hardware i software, prin urmare i marea parte a pieei IT. n domeniile interdisciplinare se fac cercetri pentru gsirea posibilelor soluii pe care tehnologia informaiei le-ar putea oferi. Astfel se poate meniona aici dezvoltarea de sisteme geoinformaionale, sau informatic economic ori bioinformatic.

Informatica teoretic
Informatica teoretic se ocup cu studiul teoriei limbajelor formale, respectiv automatica, teoria computaional i complexitii, teoria grafurilor, criptologie, logic .a. punnd bazele pentru construirea compilatoarelor pentru limbajele de programare i pentru formalizarea problemelor din matematic. Ea este, prin urmare, coloana vertebral a informaticii.

Automate i limbaje formale

Un automat finit determinist, dat prin diagrama de stri Automatele sunt n informatic maini teoretice, avnd un comportament bine definit printr-o serie de reguli (algoritm), care alctuiesc un program. Algoritmul reprezint o mulime finit de instruciuni, care, efectuate ntr-o ordine anume, ne dau un rezultat. Un automat are finalitate prin aceea c, plecnd de la orice stare n care se poate afla el la un moment dat, se ajunge la o stare final bine determinat prin program. Desigur ns c se pot construi i programe cu elemente aleatorii sau pseudoaleatorii. Automatul primete la intrare un aa numit "cuvnt de intrare" i, n funcie de ceea ce este programat s fac, va urma un ir de pai predefinii (algoritmul), pentru a ajunge la un rezultat final. Un automat are o singur stare de pornire i un numr de stri finale bine determinate. n momentul n care automatul a ajuns ntr-o stare final, dup ce a parcurs toate strile intermediare corespunztoare, se poate afirma c cuvntul de la intrarea automatului este acceptat. Mulimea tuturor cuvintelor acceptate de un automat compun ceea ce se numete limbajul automatului. Pentru a putea accepta limbaje complicate, este nevoie de alte modele de automate, care n primul rnd trebuie sa dispun de capacitate de memorare. Mulimea tuturor cuvintelor care se compun dintr-o secven care conine un numr egal de litere "a" i de litere "b" constituie un aa numit limbaj independente de context, pentru care este nevoie de un "automat cu memorie" (numit i "automat push-down"). Un astfel de automat are la dispoziie o stiv de memorii, cu posibilitatea de a sesiza de cte ori litera "a" a fost citit i nc neasociat - i deci de cte ori trebuie s mai apar litera "b". Lingvistul Noam Chomsky a clasificat limbajele formale ntr-o ierarhie dup cum urmeaz:

Limbaje regulate (engl.: Regular Language) Limbaje independente de context (engl.: Context-free Language) Limbaje dependente de context (engl.: Context-sensitive Language) Limbaje recursiv enumerabile (engl.: Recursively enumerable Language)

Teoria computaional
n teoria computaional, informatica teoretic studiaz posibilitile de rezolvare a unei probleme cu o anumit main. Teza Curch-Turing susine c orice problem intuitiv care poate avea o soluie, deci computabil, poate fi rezolvat de o main MAA - main cu acces aleator

sau i de maina Turing, prin urmare neexistnd o main care s fie limitat computaional. Aceasta tez nu este demonstrabil n mod formal, fiind totui universal acceptat. Se spune c un model de sistem computaional, respectiv un limbaj de programare, este "Turing complet compatibil", dac cu acesta se poate simula maina universal Turing. Toate computerele actuale sunt "Turing complet compatibile", aceasta nsemnnd c se poate gsi o soluie pentru orice problem decidabil. Termenul de decidabilitate poate fi descris ca o ntrebare dac o problem anume este rezolvabil algoritmic sau nu. Astfel, de exemplu, problema celui mai mic multiplu comun a dou numere este o problem decidabil. O problem nedecidabil este de exemplu ntrebarea dac un computer, dndu-i-se anumii parametri de intrare, va ajunge vreodat la rezultat, fapt cunoscut sub numele de problema Halt. In teoria computaional se cerceteaz ce maini se pot utiliza pentru efectuarea unei funcii date. Astfel funcia Ackermann de exemplu este rezolvat nu prin clasa programelor de tip loop, ci prin mai eficienta clas a programelor de tip while.