La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] modulo iniettivo e proiettivo, di risoluzione iniettiva o proiettiva di un modulo e di funtore derivato.
Il linguaggio Lisp. L'informatico americano John McCarthy, durante il convegno di Dartmouth sull'intelligenza artificiale, sviluppa le idee alla ...
Leggi Tutto
INFORMATICA MEDICA
Giorgio Migliau
Il progressivo sviluppo dell'informatica negli ultimi anni ha permesso la messa a punto di tecnologie molto avanzate e di sistemi sempre più veloci e affidabili. D'altra [...] numeri possono avvalersi di simboli. A questo scopo sono stati introdotti nuovi linguaggi di programmazione come il LISP (List Processing) o il più recente PROLOG (Programming in Logic). Attualmente esistono linguaggi di programmazione con interprete ...
Leggi Tutto
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] degli algoritmi e una più facile verifica di correttezza del programma. Nel 1959 J. McCarthy progettò il l. LISP. Nonostante l’interesse teorico, tale l., basato sul concetto matematico di funzione e sulla possibilità di usare la ricorsione ...
Leggi Tutto