Datorzinātne
Vikipēdijas raksts
Datorzinātne ietver informācijas apstrādes un uzdevumu atrisināmības teorētiskos un praktiskos jautājumus.
[izmainīt šo sadaļu] Ievads
Datorzinātnes tēmas ir cieši saistītas ar datoru attīstību. Tās ir gan tik abstraktas kā algoritmu teorija, formālās gramatikas, gan tik praktiskas kā programmēšanas valodas, operacionālās sistēmas un datoru arhitektūra. Viens no datorzinātnes pamatprincipiem ir Tjūringa tēze: visi zināmie rēķināšanas veidi ir ekvivalenti tādā ziņā, ka var izrēķināt vienu un to pašu, bet var atšķirties patērētais laiks un vieta. Šī nav matemātiski pierādāma teorēma, bet empīriska atziņa, ka visām rēķināšanas metodēm ir vienāds izrēķināmības spēks.