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
L'Ottocento: matematica. Babbage e le origini del calcolo automatico
John Fauvel
Babbage e le origini del calcolo automatico
Il calcolatore elettronico programmabile, nella sua forma attuale, è figlio [...] e attenzione per il ruolo dei simboli e della notazione matematica che investiva sia la ricerca sia l'insegnamento, tre un testo introduttivo su quella che oggi viene chiamata 'programmazione'.
Nelle sue approfondite note riguardanti l'articolo di ...
Leggi Tutto
Computer. Calcolo parallelo
Nicola Cabibbo
La conoscenza delle leggi che governano un dato fenomeno permette in linea di principio di prevederne lo sviluppo nel tempo, ma con i normali strumenti offerti [...] : un insieme di dati numerici, che rappresentano lo stato del sistema da simulare, e una regola matematica, tradotta in un programma di calcolo, che permette di riprodurne l’evoluzione passo dopo passo.
All’aumentare della complessità del sistema ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] sia un 'no' alla domanda se un'istruzione matematica fosse deducibile dagli assiomi).
Nel risolvere il misterioso problema the EDVAC). Il concetto rivoluzionario del calcolatore a programma memorizzato venne anche divulgato durante una serie di corsi ...
Leggi Tutto
array
Mauro Cappelli
Struttura di dati complessa impiegata in molti linguaggi di programmazione per la gestione di insiemi ordinati di dati. Spesso, mutuando il linguaggio dalla matematica, gli array [...] variabili dello stesso tipo identificate con un unico nome simbolico e da un indice intero positivo. Ogni linguaggio di programmazione presenta una propria sintassi per descrive i vettori. In generale, la sintassi è per es. tipo nome [lunghezza]. Un ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici, insieme di regole per la corretta costruzione delle istruzioni in un linguaggio di programmazione. ...
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...