Accés més ràpid que el navegador!
39 les relacions: Alan Kay, Alfabet grec, Alonzo Church, C. A. R. Hoare, Càlcul lambda, Ciència cognitiva, Compilador, Enginyeria de programari, Fortran, IBM, Informàtica, Jerarquia de Chomsky, John McCarthy, John W. Backus, Konrad Zuse, Kristen Nygaard, Lambda, Lingüística, Lisp, Llenguatge de programació, Massachusetts Institute of Technology, Matemàtiques, Màquina virtual, Noam Chomsky, Ole-Johan Dahl, Premi Turing, Programació funcional, Recollida de memòria brossa, Robin Milner, Scheme, Semàntica formal, Simula67, Smalltalk, 1954, 1957, 1972, 1977, 2000, 2006.
Alan Kay
és un informàtic estatunidenc, conegut pel seu treball pioner sobre programació orientada a objectes, disseny de finestres d'interfície gràfica d'usuari, i per encunyar la frase «la millor manera de predir el futur és inventar-lo».
Nou!!: Teoria de llenguatges de programació і Alan Kay · Veure més »
Alfabet grec
Lalfabet grec (en grec: Ελληνικό αλφάβητο) és un repertori de vint-i-quatre lletres que s'ha fet servir per a escriure la llengua grega des dels segles IX o VIII aC.
Nou!!: Teoria de llenguatges de programació і Alfabet grec · 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.
Nou!!: Teoria de llenguatges de programació і Alonzo Church · Veure més »
C. A. R. Hoare
Sir Charles Antony Richard Hoare FRS FREng (nascut l'11 de gener de 1934), conegut normalment com a Tony Hoare o C. A. R. Hoare, és un informàtic britànic.
Nou!!: Teoria de llenguatges de programació і C. A. R. Hoare · 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ó.
Nou!!: Teoria de llenguatges de programació і Càlcul lambda · Veure més »
Ciència cognitiva
La ciència cognitiva és un conjunt de disciplines unides per estudiar la cognició i els processos de pensament associats.
Nou!!: Teoria de llenguatges de programació і Ciència cognitiva · 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.
Nou!!: Teoria de llenguatges de programació і Compilador · Veure més »
Enginyeria de programari
Enginyer de programari treballant en el desenvolupament de MediaWiki. Lenginyeria de programari és la disciplina o àrea de la informàtica que ofereix mètodes i tècniques per a desenvolupar i mantenir un programari de qualitat.
Nou!!: Teoria de llenguatges de programació і Enginyeria de programari · Veure més »
Fortran
Fortran (o FORTRAN) és el primer llenguatge de programació d'alt nivell, desenvolupat a la dècada dels 50 i que encara s'usa actualment.
Nou!!: Teoria de llenguatges de programació і Fortran · Veure més »
IBM
IBM és l'acrònim dInternational Business Machines també coneguda col·loquialment com el gegant blau.
Nou!!: Teoria de llenguatges de programació і IBM · Veure més »
Informàtica
Ordinador executant la distribució Debian del sistema operatiu GNU/Linux. (any 2002) La Informàtica és la ciència o tècnica relativa a la tecnologia que estudia el tractament automàtic de la informació utilitzant dispositius electrònics i sistemes computacionals.
Nou!!: Teoria de llenguatges de programació і Informàtica · 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.
Nou!!: Teoria de llenguatges de programació і Jerarquia de Chomsky · Veure més »
John McCarthy
John McCarthy (Boston, Massachusetts, 4 de setembre de 1927 - Stanford, Califòrnia, 24 d'octubre de 2011) fou un informàtic estatunidenc i científic cognitiu que va rebre el Premi Turing el 1971 per les seves importants contribucions en el camp de la intel·ligència artificial (IA).
Nou!!: Teoria de llenguatges de programació і John McCarthy · Veure més »
John W. Backus
va ser un informàtic estatunidenc, guanyador del Premi Turing el 1977 pels seus treballs en sistemes de programació d'alt nivell, en especial pel seu treball amb FORTRAN.
Nou!!: Teoria de llenguatges de programació і John W. Backus · Veure més »
Konrad Zuse
va ser un enginyer informàtic alemany.
Nou!!: Teoria de llenguatges de programació і Konrad Zuse · Veure més »
Kristen Nygaard
fou un informàtic noruec, pioner dels llenguatges de programació i polític.
Nou!!: Teoria de llenguatges de programació і Kristen Nygaard · Veure més »
Lambda
La lambda és l'onzena lletra de l'alfabet grec.
Nou!!: Teoria de llenguatges de programació і Lambda · Veure més »
Lingüística
La lingüística és la ciència que estudia la llengua natural.
Nou!!: Teoria de llenguatges de programació і Lingüística · Veure més »
Lisp
Lisp (o LISP) és un dels grans pioners dels llenguatges de programació, creador del paradigma funcional.
Nou!!: Teoria de llenguatges de programació і Lisp · Veure més »
Llenguatge de programació
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.
Nou!!: Teoria de llenguatges de programació і Llenguatge de programació · Veure més »
Massachusetts Institute of Technology
El Massachusetts Institute of Technology (MIT) és una institució i universitat estatunidenca dedicada a la recerca i la investigació, situada a la ciutat de Cambridge, Massachusetts.
Nou!!: Teoria de llenguatges de programació і Massachusetts Institute of Technology · Veure més »
Matemàtiques
Representacions matemàtiques de diversos camps La matemàtica (encara que, per a referir-se, a l'estudi i ciència, s'acostuma a utilitzar el plural matemàtiques) és aquella ciència que estudia patrons en les estructures de cossos abstractes i en les relacions que s'estableixen entre ells (del mot derivat del grec μάθημα, máthēma: ciència, coneixement, aprenentatge; μαθηματικός, mathēmatikós).
Nou!!: Teoria de llenguatges de programació і Matemàtiques · Veure més »
Màquina virtual
Arquitectura típica d'una màquina virtual. VirtualBox En informàtica una màquina virtual és un programari que emula un ordinador i pot executar programes com si fos un ordinador real tot i que està virtualitzat.
Nou!!: Teoria de llenguatges de programació і Màquina virtual · Veure més »
Noam Chomsky
Avram Noam Chomsky (Filadèlfia, 7 de desembre del 1928) és un científic, lingüista, filòsof i professor estatunidenc, emèrit de lingüística, a l'Institut de Tecnologia de Massachusetts (MIT).
Nou!!: Teoria de llenguatges de programació і Noam Chomsky · Veure més »
Ole-Johan Dahl
Ole-Johan Dahl (12 d'octubre de 1931 – 29 de juny de 2002) fou un informàtic noruec que es considera un dels pares de Simula i de la programació orientada a objectes juntament amb Kristen Nygaard.
Nou!!: Teoria de llenguatges de programació і Ole-Johan Dahl · Veure més »
Premi Turing
El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica.
Nou!!: Teoria de llenguatges de programació і Premi Turing · Veure més »
Programació funcional
En informàtica, la programació funcional és un paradigma de programació que tracta les computacions com un procés d'aplicació de funcions, evitant les dades mudables amb els seus canvis d'estat.
Nou!!: Teoria de llenguatges de programació і Programació funcional · Veure més »
Recollida de memòria brossa
En informàtica, la recollida de memòria brossa o recollida d'escombraries (de l'anglès, garbage collection) és un mecanisme implícit de gestió de memòria implementat en alguns compiladors i intèrprets de llenguatges de programació.
Nou!!: Teoria de llenguatges de programació і Recollida de memòria brossa · Veure més »
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing.
Nou!!: Teoria de llenguatges de programació і Robin Milner · Veure més »
Scheme
El llenguatge de programació Scheme és un llenguatge funcional (si bé "impur", ja que, per exemple, les seves estructures de dades no són immutables) i un dialecte de Lisp.
Nou!!: Teoria de llenguatges de programació і Scheme · Veure més »
Semàntica formal
La semàntica formal és l'estudi de les interpretacions dels llenguatges formals.
Nou!!: Teoria de llenguatges de programació і Semàntica formal · Veure més »
Simula67
El Simula és el primer llenguatge de programació a implementar l'Arquitectura Orientada a Objectes (AOO) o la Programació Orientada a Objectes (POO), encara que no ha tingut gaires successors.
Nou!!: Teoria de llenguatges de programació і Simula67 · Veure més »
Smalltalk
Smalltalk és un llenguatge de programació orientat a objectes, dinàmicament tipat i reflexiu.
Nou!!: Teoria de llenguatges de programació і Smalltalk · Veure més »
1954
1954 (MCMLIV) fon un any començat en divendres.
Nou!!: Teoria de llenguatges de programació і 1954 · Veure més »
1957
1957 (MCMLVII) fou un any començat en dimarts.
Nou!!: Teoria de llenguatges de programació і 1957 · Veure més »
1972
1972 fon un any bixest del calendari gregorià (MCMLXXII).
Nou!!: Teoria de llenguatges de programació і 1972 · Veure més »
1977
1977 (MCMLXXVII) fon un any normal començat en dissabte segons el calendari gregorià.
Nou!!: Teoria de llenguatges de programació і 1977 · Veure més »
2000
2000 (MM, també anomenat 2K) fou un any de traspàs començat un dissabte.
Nou!!: Teoria de llenguatges de programació і 2000 · Veure més »
2006
2006 fou un any normal, començat en diumenge segons el calendari gregorià i declarat Any internacional dels deserts i la desertització per l'Assemblea General de les Nacions Unides.
Nou!!: Teoria de llenguatges de programació і 2006 · Veure més »
