segmento Tratto di linea compreso tra due punti o tratto di un corpo qualsiasi compreso fra due estremi; anche, parte più o meno grande tagliata da un determinato oggetto o corpo.
Antropologia
In antropologia [...] genere di notevole lunghezza; è trattato unitariamente o dal punto di vista della stesura (s. logico) in fase di programmazione, o dal punto di vista dell’occupazione della memoria principale di un calcolatore (s. fisico), qualora questa, non potendo ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] taglio.
Possiamo quindi restringere l'uso della regola del taglio alle formule atomiche.
Il teorema precedente è alla base della programmazione logica e il problema che si pone è trovare tutte le sostituzioni tali che D1 … Dt sia conseguenza di Γ ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] si può dunque aspettare che essi producano sempre un risultato. Per esempio, se si cerca di calcolare il valore f(0) usando il programma
si entra in un circolo vizioso: per calcolare f(0) si deve conoscere f(1), per calcolare f(1) si deve conoscere ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] c=true,false
V[k]←c
if k=n then (if E(V[1],…,V[n])=true then accetta)
else SAT(k+1)
Poiché il programma costruisce 2n configurazioni binarie di n elementi, e per ognuna di essi esegue un numero costante di operazioni tra cui il calcolo di E sulla n ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] in materia di teoria dell'azione: ad esempio con discipline in larga misura formali come le scienze dei sistemi e della programmazione, le teorie della decisione e dei giochi e la logica dell'azione in senso ristretto (M. Nowakowska, G. H. von Wright ...
Leggi Tutto
La scienza presso le civilta precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civilta inca
Gary Urton
Jean-François Genotte
La natura della conoscenza e delle pratiche [...] alla cura, al controllo e alla rinnovabilità (o riproduzione) delle risorse, come pure l'osservanza di esigenze di programmazione in vista del loro sfruttamento ottimale.
L'agricoltura è ovunque un'impresa complessa, ma in nessun luogo più che ...
Leggi Tutto
Equazioni funzionali
JJacques Louis Lions
di Jacques Louis Lions
Equazioni funzionali
sommario: 1. Motivazione ed esempi. 2. Definizione delle soluzioni. 3. Il metodo della trasformazione di Fourier; [...] V con Vh. Si possono utilizzare anche i metodi di dualità. Tutto ciò porta alla teoria della programmazione matematica (lineare, quadratica, convessa non quadratica, con o senza condizioni, ecc.) incontrata altrove: in economia matematica, nella ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematica negli Stati Uniti
Joseph W. Dauben
La matematica negli Stati Uniti
La matematica all'inizio del secolo
All'inizio del XX sec. [...] credono ancora oggi che l'introduzione di questa nuova forza nei campus fu la cosa che più influenzò rispetto ai nuovi programmi, perché essa cambiò il luogo del potere, facendo in modo che fossero le persone dedite alla ricerca, piuttosto che gli ...
Leggi Tutto
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] 0)=x, si vuole determinare il controllo α in modo che un funzionale 'costo' della forma
risulti minimo. Il metodo della programmazione dinamica, introdotto da R. Bellman (1957), associa al problema precedente la funzione valore v(x)=infαJ(x, α), la ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] , in una zona, chiamata Utopia planitia, a circa 7400 km a nord-est di quella in cui si trova ancora Lander 1; il programma di osservazioni è simile a quello di Viking 1 e la trasmissione alla stazione terrestre dei dati durerà sino al 25 luglio 1978 ...
Leggi Tutto
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...
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,...