L'analisi dell'attività sportiva attraverso strumenti informatici
Anna Ludovico
La rappresentazione computerizzata dei movimenti sportivi
Possiamo considerare l'anglismo ormai universale del termine [...] ; infatti, solo con una progettazione geometrico-matematica è possibile realizzare una rappresentazione computerizzata dei tra i quali il corridore deve sempre mantenersi. Se il programma simula un incremento di velocità, come quando il corridore deve ...
Leggi Tutto
Simulazioni di processi fisici mediante calcolatore
Federico Ricci Tersenghi
Per simulazione di un processo fisico si intende la rappresentazione, eventualmente approssimata, di tale processo mediante [...] ) il processo stocastico in questione è un esempio di una struttura matematica molto comune, detta catena di Markov, in cui la probabilità che sistematici, quale la presenza di errori di programmazione e di arrotondamento, l'uso di cattivi generatori ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] detti anche l. formali o formalizzati, che nella logica matematica sono alla base delle varie teorie logiche; sono costruiti I 343 a. ◆ [ELT] [INF] L. simbolico: v. linguaggi di programmazione: III 424 e. ◆ [ELT] [INF] L. speciale di simulazione: v. ...
Leggi Tutto
ricorsione
Mauro Cappelli
Metodo per definire funzioni in modo tale che la funzione includa sé stessa nella propria definizione. Si tratta di una tecnica di programmazione molto potente e molto sfruttata [...] di uscita o di terminazione. Spesso un programma ricorsivo può essere riscritto in forma iterativa, mediante una semplice struttura di controllo condizionale. Il tipico esempio è la funzione matematica fattoriale, definita per ogni intero positivo n ...
Leggi Tutto
Informatica
Termine riferito a un sistema, processo, programma ecc., che si evolve reagendo a sollecitazioni esterne oppure adattandosi a mutate condizioni al contorno. Allocazione d. della memoria Metodo, [...] .
Memoria d. Memoria in cui le informazioni sono rappresentate mediante segnali periodicamente variabili.
Programmazione d. Tecnica matematica per la soluzione di problemi di ottimizzazione multidimensionale; consiste nello scomporre un problema in ...
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
Sammet, Jean E. – Informatica statunitense (New York 1928 - Silver Spring, Maryland, 2017). Laureata in Matematica presso la University of Illinois nel 1949, consulente di Sylvania Electric Products (1958-61) [...] e dal 1961 di IBM, dove ha sviluppato il linguaggio di programmazione FORMAC, ha fornito sostanziali contributi allo sviluppo del linguaggio di programmazione COBOL impiegato nei calcolatori digitali. ...
Leggi Tutto
SOFTWARE
Carlo Ghezzi
Ester Capuzzo
Ingegneria del software. - Nel contesto di questa voce, il termine software verrà usato in un'accezione ampia, che comprende sia il prodotto, cioè l'insieme dei [...] (basta un editor per modificare il testo di un programma), non è altrettanto facile ottenere con la modifica il nuovo concetto di affidabilità può anche essere definito in maniera matematica, in base a modelli affidabilistici di tipo probabilistico, ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] il modo per denotare un contenitore di valore che può essere modificato durante l'esecuzione passo-passo del programma, ma viene visto in modo matematico come un nome simbolico a cui viene legato un valore per la valutazione della funzione. Scompare ...
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
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...