Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] in grado di descrivere in maniera rigorosa le funzioni matematiche ed è costruito in modo tale che a ogni espressione computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono ...
Leggi Tutto
Matematico statunitense (New York 1920 - Santa Monica 1984). Laureatosi al Brooklyn College nel 1941, ha conseguito il PhD in matematica alla Princeton University nel 1946. Professore alla University of [...] equazioni differenziali in problemi di ottimizzazione e, più in generale, di ricerca operativa, sviluppando il settore della programmazione dinamica. Il suo nome è inoltre legato alla fondazione della teoria degli insiemi fuzzy, che trovano impiego ...
Leggi Tutto
Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] Politecnico di Zurigo nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] .
La macchina a registri illimitati. − Nell'ambito del suo programma fondazionale, D. Hilbert aveva ripetutamente ribadito la convinzione che ogni problema matematico potesse essere risolto mediante un numero finito di operazioni. Tale convinzione ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] dei modelli minimali in dimensione 3. Nel 1980 il giapponese Shigefumi Mori aveva lanciato il suo famoso 'programma', a cui molti matematici dedicarono il loro lavoro: data una varietà proiettiva liscia di dimensione 3, trovare un numero finito di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] . È realizzata da un gruppo di meteorologi statunitensi guidati dal matematico Johann von Neumann, dell'Institute for Advanced Study di Princeton, utilizzando programmi di calcolo con elaboratori elettronici. Il risultato positivo determina il ...
Leggi Tutto
La Rivoluzione scientifica: luoghi e forme della conoscenza. Universita e ordini religiosi
Florence C.Hsia
Antonella Romano
Università e ordini religiosi
La retorica incentrata sull'idea di riforma [...] e dei servizi da esse offerti, che andavano dalla programmazione di lezioni su queste materie fino alla creazione di un numero sempre crescente di teatri per le lezioni di anatomia.
La matematica
Nelle scuole dell'inizio dell'Età moderna l'istruzione ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] definito a priori. Un approccio che si prefigge di caratterizzare il comportamento di un programma definendo, invece, direttamente, in termini matematici, la funzione che esso calcola nel dominio dei dati, a partire dalla struttura sintattica ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] passato e il futuro di una natura non soggetta al divenire.
La matematica di quel sistema era la sintassi dell'ordine e, insieme, della re oeconomica, dove l'incertezza delle strategie, dei programmi, delle scelte è un elemento del sistema, prevale ...
Leggi Tutto
Previsioni economiche
Giovanni De Cindio
di Giovanni De Cindio
Previsioni economiche
Presupposti storici
La pratica sistematica delle previsioni economiche, cioè dell'attività di previsione avente [...] o di minimo per una o più variabili. Questi modelli sono sviluppati nell'ambito della programmazione economica. Le difficoltà di tipo matematico consentono una trattazione agevole soltanto per i modelli rappresentati da sistemi di equazioni lineari ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...