Diferència entre les revisions de "Teoria de la computació"
Anar a la navegació
Anar a la busca
(Pàgina nova, en el contingut: «La '''teoria de la computació''' és un conjunt de coneiximents racionals, sistematisats i funcionals que se centren en l'estudi de la abstracció (informàt...») |
m |
||
| Llínea 1: | Llínea 1: | ||
| − | La '''teoria de la computació''' és un conjunt de coneiximents racionals, sistematisats i funcionals que se centren en l'estudi de la [[abstracció (informàtica)|abstracció]] dels processos que ocorren en la realitat en la finalitat de reproduir-los en ajuda de [[sistema formal|sistemes formals]], és dir, a través de còdics de caràcters i [[instrucció informàtica|instruccions]] llògiques, reconeixibles pel ser humà, en capacitat de ser [[modelació de processos|modelades]] en les llimitacions de dispositius que processen informació i que efectuen càlculs com, per eixemple, | + | La '''teoria de la computació''' és un conjunt de coneiximents racionals, sistematisats i funcionals que se centren en l'estudi de la [[abstracció (informàtica)|abstracció]] dels processos que ocorren en la realitat en la finalitat de reproduir-los en ajuda de [[sistema formal|sistemes formals]], és dir, a través de còdics de caràcters i [[instrucció informàtica|instruccions]] llògiques, reconeixibles pel ser humà, en capacitat de ser [[modelació de processos|modelades]] en les llimitacions de dispositius que processen informació i que efectuen càlculs com, per eixemple, l'[[computadora|ordenador]]. Per a això, es recolza en la [[teoria d'autómates]], a fi de simular i estandardisar dits processos, aixina com per a formalisar els problemes i donar-los solució. |
| + | [[Categoria:Tecnologia]] | ||
[[Categoria:Informàtica teòrica]] | [[Categoria:Informàtica teòrica]] | ||
Revisió de 19:10 21 oct 2016
La teoria de la computació és un conjunt de coneiximents racionals, sistematisats i funcionals que se centren en l'estudi de la abstracció dels processos que ocorren en la realitat en la finalitat de reproduir-los en ajuda de sistemes formals, és dir, a través de còdics de caràcters i instruccions llògiques, reconeixibles pel ser humà, en capacitat de ser modelades en les llimitacions de dispositius que processen informació i que efectuen càlculs com, per eixemple, l'ordenador. Per a això, es recolza en la teoria d'autómates, a fi de simular i estandardisar dits processos, aixina com per a formalisar els problemes i donar-los solució.