Llenguatge de programació і Teoria de la computació

Accessos directes: Diferències, Similituds, Similitud de Jaccard Coeficient, Referències.

Diferència entre Llenguatge de programació і Teoria de la computació

Llenguatge de programació vs. Teoria de la computació

Codi font d'un programa escrit en llenguatge BASIC. Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador. La teoria de la computació és una ciència, en particular una branca de la matemàtica i de la computació que tracta de quins problemes es poden resoldre en un model de càlcul, mitjançant un algorisme, de quina manera es poden resoldre de manera eficient o en quin grau (per exemple, les solucions aproximades enfront de les precises).

Alan Turing

Alan Mathison Turing (Maida Vale, 23 de juny de 1912 - Wilmslow, 7 de juny de 1954) fou un científic, matemàtic, lògic, criptoanalista, biomatemàtic i maratonià britànic.

Alan Turing і Llenguatge de programació · Alan Turing і Teoria de la computació · Veure més »

Algorisme

nombres primers Un algorisme (o, alternativament, algoritme) és un conjunt finit d'instruccions o passos que serveixen per a executar una tasca o resoldre un problema.

Algorisme і Llenguatge de programació · Algorisme і Teoria de la computació · Veure més »

Alonzo Church

fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica.

Alonzo Church і Llenguatge de programació · Alonzo Church і Teoria de la computació · Veure més »

Cadena (informàtica)

En informàtica, una cadena (en anglès string) és un tipus d'estructura de dades que conté una seqüència de caràcters, paraules, o frases amb un ordre i una llargada determinades, que pertanyen a un cert llenguatge formal o alfabet anàlogues a una fórmula o una oració.

Cadena (informàtica) і Llenguatge de programació · Cadena (informàtica) і Teoria de la computació · Veure més »

Càlcul lambda

El càlcul lambda (o càlcul-λ) és un sistema formal dissenyat per investigar la definició de funció, la noció d'aplicacions de funcions i la recursió.

Càlcul lambda і Llenguatge de programació · Càlcul lambda і Teoria de la computació · Veure més »

Compilador

Diagrama de blocs de l'operació d'un bon compilador. Un compilador és un programa informàtic que tradueix un programa escrit en un llenguatge de programació a un altre llenguatge de programació, generant un programa equivalent que la màquina serà capaç d'interpretar.

Compilador і Llenguatge de programació · Compilador і Teoria de la computació · Veure més »

Intel·ligència artificial

Un assistent personal intel·ligent, una de les aplicacions concretes de la intel·ligència artificial popularitzada en la dècada del 2010. La intel·ligència artificial (abreujat IA) és una part de la informàtica, dedicada al desenvolupament d'algorismes que permet a una màquina (habitualment un computador) prendre decisions intel·ligents o, si més no, comportar-se com si tingués una intel·ligència semblant a la humana.

Intel·ligència artificial і Llenguatge de programació · Intel·ligència artificial і Teoria de la computació · Veure més »

Jerarquia de Chomsky

Dins de les ciències de la computació, i en l'àrea dels llenguatges de programació, la jerarquia de Chomsky (també coneguda com a Jerarquia de Chomsky-Schützenberger) és una classificació jeràrquica de classes de gramàtiques formals que generen llenguatges formals.

Jerarquia de Chomsky і Llenguatge de programació · Jerarquia de Chomsky і Teoria de la computació · Veure més »

Llenguatge formal

teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats.

Llenguatge de programació і Llenguatge formal · Llenguatge formal і Teoria de la computació · Veure més »

Màquina de Turing

Fotografia d'Alan Turing (1930) La màquina de Turing és un model computacional introduït per Alan Turing en el treball "On computable numbers, with an application to the Entscheidungsproblem", publicat per la Societat Matemàtica de Londres, en el qual s'estudiava la qüestió plantejada per David Hilbert sobre si les matemàtiques són decidibles, és a dir, si hi ha un mètode definit que pugui aplicar-se a qualsevol sentència matemàtica i que resolgui si és certa o no.

Llenguatge de programació і Màquina de Turing · Màquina de Turing і Teoria de la computació · Veure més »

Ordinador

Teclat Un ordinador (del francès ordinateur) o computadora (del llatí computare, calcular) és una màquina electrònica que rep i processa dades per a convertir-les en informació útil.

Llenguatge de programació і Ordinador · Ordinador і Teoria de la computació · Veure més »