Logo
Uniopèdia
Comunicació
Disponible a Google Play
Nou! Descarregar Uniopèdia al dispositiu Android™!
Instal·la
Accés més ràpid que el navegador!
 

Robin Milner

Índex 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.

26 les relacions: Anglaterra, Association for Computing Machinery, École Normale Supérieure, Cambridge University Press, Càlcul pi, CCS, Computació ubiqua, Eton College, Fellow, Infart de miocardi, Informàtica, King's College, Cambridge, ML, Plymouth, Premi Turing, Regne Unit, Royal Engineers, Royal Society, Royal Society of Edinburgh, Springer Science+Business Media, The Times, Universitat d'Aarhus, Universitat d'Edimburg, Universitat de Bolonya, Universitat de Cambridge, Universitat de Stanford.

Anglaterra

Anglaterra (England en anglès, Pow Sows en còrnic, Lloegr en gal·lès) és una de les nacions que formen el Regne Unit de la Gran Bretanya i Irlanda del Nord, la més gran en extensió i població.

Nou!!: Robin Milner і Anglaterra · Veure més »

Association for Computing Machinery

LAssociation for Computing Machinery (ACM) és una societat científica internacional dedicada a la informàtica.

Nou!!: Robin Milner і Association for Computing Machinery · Veure més »

École Normale Supérieure

LÉcole normale supérieure o ENS (Escola Normal Superior en català) és un establiment d'ensenyament superior francès enquadrat dins la categoria de les grandes écoles.

Nou!!: Robin Milner і École Normale Supérieure · Veure més »

Cambridge University Press

Cambridge University Press és l'editorial de la Universitat de Cambridge, considerada la més antiga del món encara activa (va ser fundada el 1534) i sense interrupcions.

Nou!!: Robin Milner і Cambridge University Press · Veure més »

Càlcul pi

En la ciència de computació teòrica, el càlcul-π és una notació desenvolupada originalment per Robin Milner, Joachim Parrow i David Walker, com un avanç sobre el càlcul de sistemes comunicants per tal de proveir mobilitat a la modelització concurrent.

Nou!!: Robin Milner і Càlcul pi · Veure més »

CCS

El càlcul de sistemes comunicants o CCS és un llenguatge d'especificació formal basat en l'àlgebra de processos, per a l'especificació i modelat de sistemes discrets comunicants.

Nou!!: Robin Milner і CCS · Veure més »

Computació ubiqua

S'entén per computació ubiqua (ubicomp) la integració de la informàtica en l'entorn de la persona, de manera que els ordinadors no es percebin com objectes diferenciats.

Nou!!: Robin Milner і Computació ubiqua · Veure més »

Eton College

Eton College (col·legi d'Eton) sovint citat simplement com Eton, és un college, una escola independent del Regne Unit per a nois de 13 a 18 anys.

Nou!!: Robin Milner і Eton College · Veure més »

Fellow

Fellow és un terme que en anglès significa, en sentit ampli, 'company', també 'compatriota'.

Nou!!: Robin Milner і Fellow · Veure més »

Infart de miocardi

L'infart miocardíac o infart de miocardi, sovint abreviat com IAM (o infart agut de miocardi), conegut en l'ús col·loquial com a atac de cor, atac cardíac o infart, fa referència a una irrigació sanguínia insuficient, per necrosi del miocardi, produït per una obstrucció en una de les artèries coronàries, generalment a conseqüència de la trombosi d'una d'elles, esclerosada.

Nou!!: Robin Milner і Infart de miocardi · 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!!: Robin Milner і Informàtica · Veure més »

King's College, Cambridge

El King's College és un dels colleges de la Universitat de Cambridge a Cambridge, Anglaterra.

Nou!!: Robin Milner і King's College, Cambridge · Veure més »

ML

ML és un llenguatge de programació funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte ISWIM que ha donat lloc a una família de llenguatges.

Nou!!: Robin Milner і ML · Veure més »

Plymouth

Port de Plymouth. Plymouth (AFI) és una ciutat del comtat de Devon, al sud-oest d'Anglaterra.

Nou!!: Robin Milner і Plymouth · Veure més »

Premi Turing

El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica.

Nou!!: Robin Milner і Premi Turing · Veure més »

Regne Unit

El Regne Unit (en anglès: The United Kingdom) oficialment, el Regne Unit de Gran Bretanya i Irlanda del Nord (en anglès: The United Kingdom of Great Britain and Northern Ireland) és un estat insular sobirà localitzat al nord-oest d'Europa.

Nou!!: Robin Milner і Regne Unit · Veure més »

Royal Engineers

El Corps of Royal Engineers (Cos d'Enginyers Reials), habitualment simplement conegut com el Royal Engineers (RE) (Enginyers Reials) i habitualment coneguts com els "Sappers" (Sapadors), és un cos de l'exèrcit britànic.

Nou!!: Robin Milner і Royal Engineers · Veure més »

Royal Society

La Royal Society of London for the Improvement of Natural Knowledge, més coneguda simplement com la Royal Society, va ser fundada el 1660 i és considerada com la més antiga de les societats científiques que encara existeixen.

Nou!!: Robin Milner і Royal Society · Veure més »

Royal Society of Edinburgh

Seu de la Royal Society d'Edinbourgh Coberta d'un volum de l'any 1788 de la revista ''Transaction of the Royal Society of Edinburgh'' La Royal Society of Edinburgh és l'acadèmia nacional d'Escòcia de ciències i lletres.

Nou!!: Robin Milner і Royal Society of Edinburgh · Veure més »

Springer Science+Business Media

Springer Science+Business Media o Springer és una editorial global que publica llibres, llibres electrònics i publicacions científiques avaluades per experts (''peer review''), en l'àmbit de la ciència, la tecnologia i la medicina (STM: science, technical & medical, en anglès).

Nou!!: Robin Milner і Springer Science+Business Media · Veure més »

The Times

The Times és un diari generalista d'àmbit nacional publicat al Regne Unit amb seu a Londres.

Nou!!: Robin Milner і The Times · Veure més »

Universitat d'Aarhus

Edifici principal: vista posterior. La Universitat d'Aarhus és la segona universitat més gran i la segona més vella de Dinamarca.

Nou!!: Robin Milner і Universitat d'Aarhus · Veure més »

Universitat d'Edimburg

La Universitat d'Edimburg (en anglès: University of Edinburgh i en gaèlic escocès: Oilthigh Dhùn Èideann) és un centre d'ensenyament i investigació d'Edimburg, una de les universitats més antigues d'Escòcia, i entre les més grans i prestigioses del Regne Unit.

Nou!!: Robin Milner і Universitat d'Edimburg · Veure més »

Universitat de Bolonya

La Universitat de Bolonya (en italià Università degli Studi di Bologna) és la universitat més antiga d'Europa i del món occidental, havent estat fundada a Bolonya (Itàlia) el 1088 per Irnerius.

Nou!!: Robin Milner і Universitat de Bolonya · Veure més »

Universitat de Cambridge

King's College nevat. La Universitat de Cambridge és la segona universitat de parla anglesa més antiga del món, després de la d'Oxford.

Nou!!: Robin Milner і Universitat de Cambridge · Veure més »

Universitat de Stanford

La Universitat de Stanford (Leland Stanford Junior University) és una universitat privada situada a Stanford (Califòrnia), considerada com una de les més prestigioses dels Estats Units i del món.

Nou!!: Robin Milner і Universitat de Stanford · Veure més »

SortintEntrant
Hey! Estem a Facebook ara! »