Cerca in:
De Morgan Augustus
Dizionario delle Scienze Fisiche (1996)
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] , le proposizioni e i connettivi), Il raziocinio (proposizioni primitive, polisillogismi, calcolo proposizionale), Le classi (funzioni proposizionali), Applicazioni (relazione tra classe e individui, funzioni matematiche, teoria della definizioni ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] e sono state ampiamente indagate e definite per tutti i comuni sistemi formali intuizionisti. La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone, Alfred Tarski, Garrett Birkhoff e Toziro ...
Leggi Tutto
proposizionale
Dizionario delle Scienze Fisiche (1996)
proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione ...
Leggi Tutto
operatore
Enciclopedia on line
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] y2, quello di d’Alembert: ∂2/∂x2−∂2/∂y2 ecc.
Calcolo operatorio
Il calcolo operatorio e l’interesse allo studio degli o. come enti assoggettabili . di astrazione.
Forma enunciativa (o funzione proposizionale o enunciato aperto) è un’espressione del ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
Storia della Scienza (2003)
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 [...] Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia di Poco dopo i francesi D. Bonneau e R. Foy comunicano di avere calcolato 4000 km ca. per Plutone e 2000 km ca. per il suo ...
Leggi Tutto
logica
Dizionario delle Scienze Fisiche (1996)
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] cablata, che permette la registrazione di programmi nella memoria di un calcolatore, consentendo di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] espressa, sul piano logico-linguistico, da una funzione proposizionale, cioè un'espressione con una variabile non vincolata da 1965), in cui viene costruito per la prima volta un calcolo degli enunciati e dei predicati e viene elaborato un opportuno ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] crea un vettore x con valori 1 o −1 attribuiti a caso. Poi calcola i prodotti: A(Bx) e Cx. Se risulta A(Bx)=Cx allora
Le logiche temporali sono logiche modali (di tipo proposizionale o predicativo), i cui operatori fondamentali esprimono la validità ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternità del mondo
Storia della Scienza (2001)
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] nuovo approccio alla filosofia della Natura incentrato sull'analisi proposizionale. Al fine di illustrare questo tipo di approccio ci del quale tutte le cose erano commensurabili. Il calcolo degli angoli, utilizzato tanto da Roseth quanto da Ceffons ...
Leggi Tutto