Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] calcolodeipredicati". Questa concezione "vero-condizionale" del significato non è del che, per complessi motivi di ordine culturale e sociale, ci si trova l'assenza delle virgolette intorno a 'qualcosa' nel primo caso, in cui ci si riferisce a un ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] delcalcolodeipredicati, per quanto alcuni recenti risultati della scuola di H. J. Keisler indichino finalmente i primi lineari che conservano la positività in uno spazio di funzioni opportunamente ordinato, tali che Pt1 = 1, ove 1 è la funzione ...
Leggi Tutto
Dispositivi neurali elettronici con funzioni specifiche
Joshua Alspector
(University of Colorado, Colorado Springs, Colorado, USA)
In questo saggio illustreremo le motivazioni che spingono a progettare [...] Si tratta della somma dei prodotti seguita dal calcolo di una funzione non lineare predicati di ordine maggiore di 1. L'operazione logica XOR, per esempio, è di ordine 2. Inoltre, la procedura di convergenza del problemi delprimoordine nei loro ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] formula ???OUT-a??? delcalcolo funzionale K (calcolo ristretto deipredicati) sia dimostrabile, cioè delprimo che lo ha prodotto. Ma al di sopra di questa soglia - e, secondo una stima che è stata fatta, il numero di parti necessarie è dell'ordine ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
La logica antica
Walter Cavini e Luca Castagnoli (*)
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Dalla tarda Antichità all’Età Moderna la logica [...] come un frammento delcalcolodeipredicati della logica classica. la sequenza è invece M, N, J, dove M (“primo per posizione”) è il termine medio, N il termine maggiore ordine andasse seguito nell’insegnamento e apprendimento delle varie parti del ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] delcalcolodeipredicati e della logica simbolica in generale. Il titolo del nel numero delle cifre: T(n) è un numero di ordine n. Più in generale, si dice che la complessità di un dalla conoscenza della larghezza del server in primo piano (0,56 ± ...
Leggi Tutto
La periodizzazione della Grecia antica. Il periodo classico
Antonio Giuliano
Il periodo classico
In qualsivoglia civiltà artistica si osservano fenomeni che riconoscono come emblematici i fatti iconografici [...] prima città che presenta l’adozione di una pianta ordinata è la metropoli della Ionia, Mileto, dopo la distruzione del 494 a.C. A un cittadino di Mileto, Ippodamo, le fonti antiche attribuiscono l’invenzione dei marittimi, sono predicati da fonti ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] scienza che si diletta a ritrovare un ordine nel mondo. Secondo De Giorgi, alla , lo sviluppo dei sistemi formali, delcalcolodeipredicati, delle teorie ha ancora trovato il suo valore, che c’è prima che qualcuno l’abbia pensato e scritto. Così ...
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 [...] , di Hilbert.
La congettura di Takeuti
Il calcolo LK come detto sopra si può estendere a linguaggi più forti di quelli delprimoordine e in particolare a quelli del frammento monadico del secondo ordine, dove si considerano solo variabili X,Y,Z ...
Leggi Tutto
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] concetto di attribuzione di un predicato nell’antinomia di Grelling; i allora non può radersi per l’ordine che ha ricevuto. Se egli primi e linguistici i secondi, individuando nella teoria degli insiemi la fonte dei paradossi delprimodelcalcolo ...
Leggi Tutto
parola
paròla s. f. [lat. tardo parabŏla (v. parabola1), lat. pop. *paraula; l’evoluzione di sign. da «parabola» a «discorso, parola» si ha già nella Vulgata, in quanto le parabole di Gesù sono le parole divine per eccellenza]. – 1. Complesso...