Accés més ràpid que el navegador!
13 les relacions: Avaluació tardana, Coma flotant, Currificació, Gottlob Frege, Haskell, Java, Java (llenguatge de programació), Llenguatge de programació, Màquina virtual, Màquina virtual Java, Mònada (programació funcional), Microsoft Windows, Programació funcional.
Avaluació tardana
En programació d'ordinadors, avaluació tardana (en anglès: Lazy evaluation) és la tècnica de retardar un càlcul fins que se'n requereixi el resultat.
Nou!!: Frege (llenguatge de programació) і Avaluació tardana · Veure més »
Coma flotant
Coma flotant o punt flotant és un mètode de representació aproximada de nombres reals que es pot adaptar a l'ordre de magnitud del valor a representar, usualment traslladant la coma decimal - mitjançant un exponent - cap a la posició de la primera xifra significativa del valor.
Nou!!: Frege (llenguatge de programació) і Coma flotant · Veure més »
Currificació
En tecnologies de la informació currificar és una tècnica, inventada per Schönfinkel i Gottlob Frege, i de manera independent per Haskell Curry, que consisteix a transformar una funció amb més d'un paràmetre en una composició de funcions que incorporen progressivament, d'un en un, els paràmetres de partida.
Nou!!: Frege (llenguatge de programació) і Currificació · Veure més »
Gottlob Frege
Gottlob Frege (8 de novembre de 1848 a Wismar - 26 de juliol de 1925 a Bad Kleinen, Imperi alemany) fou un filòsof i matemàtic alemany. Va ser professor de matemàtiques a la Universitat de Jena, i molts entenen que va ser el pare de la filosofia analítica, especialitzant-se en la filosofia del llenguatge, la lògica i les matemàtiques. Tot i que durant la seva vida va ser ignorat en gran mesura, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970) i, fins a cert punt, Ludwig Wittgenstein (1889–1951) van presentar la seva obra a les generacions posteriors de filòsofs. Frege és àmpliament considerat com el lògic més gran des d'Aristòtil, i un dels filòsofs de les matemàtiques més profunds que hi ha hagut. Les seves contribucions se centren en la lògica formal i en la filosofia del llenguatge. La seva distinció fonamental entre sentit i referència s'inscriu en la tradició que intenta explicar què és el significat d'un mot o expressió. Per a Frege, la majoria de les paraules no tenen sentit, amb excepció dels noms propis, sinó que tenen referència: no es pot dir "què significa una casa?" sinó "a quines entitats ens referim en usar el terme casa?", per exemple. Amb aquesta distinció volia fugir de l'idealisme de Plató que encallava la recerca, ja que feia impossible compartir el sentit (per a cada persona, un element pot voler dir coses diferents) per tractar amb el context social dels mots, molt més objectivable, amb l'ús de les paraules en comptes de l'essència dels éssers.
Nou!!: Frege (llenguatge de programació) і Gottlob Frege · Veure més »
Haskell
Haskell és un llenguatge de programació funcional estandarditzat de semàntica no estricta i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry.
Nou!!: Frege (llenguatge de programació) і Haskell · Veure més »
Java
Mapa de Java Java oriental El centre de Jakarta Java (en indonesi, javanès i sondanès Jawa) és una illa d'Indonèsia, on es troba la capital de l'estat, Jakarta.
Nou!!: Frege (llenguatge de programació) і Java · Veure més »
Java (llenguatge de programació)
Duke, la mascota del Java. Codi font d'un programa escrit amb el llenguatge de programació Java El Java és un llenguatge de programació dissenyat el 1990 per James Gosling amb altres companys de Sun Microsystems a partir del llenguatge C. Des del seu naixement fou pensat com un llenguatge orientat a objectes.
Nou!!: Frege (llenguatge de programació) і Java (llenguatge de programació) · 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!!: Frege (llenguatge de programació) і Llenguatge de programació · 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!!: Frege (llenguatge de programació) і Màquina virtual · Veure més »
Màquina virtual Java
Una màquina virtual Java (MVJ) és un conjunt de programes d'ordinador i estructures de dades que implementen un model específic de màquina virtual.
Nou!!: Frege (llenguatge de programació) і Màquina virtual Java · Veure més »
Mònada (programació funcional)
En programació funcional una mònada és un TAD sense tipus concrets, corresponent a una estructura algebraica d'un sol element (d'aquí el nom de mònada), on la finalitat de les operacions és modelar la composició i la seqüencialitat de les computacions (accions amb efectes) mitjançant l'encadenament, separant la composició temporal, de l'execució, així com incorporar el resultat de cada operació sobre l'entorn.
Nou!!: Frege (llenguatge de programació) і Mònada (programació funcional) · Veure més »
Microsoft Windows
Microsoft Windows és una sèrie de sistemes operatius i interfícies gràfiques d'usuari produïts per Microsoft. L'empresa va introduir per primera vegada un entorn operatiu anomenat Windows el novembre de 1985 com un complement a MS-DOS, en resposta al creixent interès en les interfícies gràfiques d'usuari (GUI).
Nou!!: Frege (llenguatge de programació) і Microsoft Windows · 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!!: Frege (llenguatge de programació) і Programació funcional · Veure més »
