• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
sinonimi
atlante
il chiasmo
lingua italiana
33 risultati
Tutti i risultati [1452]
Lingua [421]
Biografie [261]
Letteratura [195]
Arti visive [206]
Grammatica [150]
Archeologia [121]
Temi generali [90]
Lessicologia e lessicografia [77]
Musica [51]
Linguistica generale [49]

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] 'aritmetica), mentre 1/2 per Bochvar significa paradossale e si applica quindi alle proposizioni antinomiche tipo mentitore. Bochvar introduce nella sintassi anche un connettivo V con il senso di 'è asserito che' tale che VA prende valore 0 per A=1 ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

lambda-calcolo

Enciclopedia della Scienza e della Tecnica (2008)

lambda-calcolo Silvio Bozzi Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] tipi e con tipi che arricchiscono di molto le possibilità espressive del calcolo ma – malgrado la semplicità della sintassi – come mostrato da Church nel 1941, è possibile già nel sistema di base aggiungendo opportune costanti introdurre termini ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LINGUAGGI DI PROGRAMMAZIONE – TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – FUNZIONI RICORSIVE – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su lambda-calcolo (1)
Mostra Tutti

THOM, René

Enciclopedia Italiana - V Appendice (1995)

THOM, René Carlo Cattani Matematico francese, nato a Montbéliard (Doubs) il 2 settembre 1923. Compiuti gli studi all'Ecole Normale Supérieure (1943-46), è stato ricercatore al Centre national des recherches [...] una teoria matematica della forma, nella quale è possibile inquadrare in una nuova visione le teorie strutturali della sintassi e della semantica. La sua idea principale è quella d'interpretare in linguistica e semiotica il significato degli ... Leggi Tutto
TAGS: TEORIA DELLE CATASTROFI – TRANSIZIONI DI FASE – FIBRATO VETTORIALE – INSTITUT DE FRANCE – EPISTEMOLOGIA
Mostra altri risultati Nascondi altri risultati su THOM, René (1)
Mostra Tutti

Previsione

Enciclopedia delle scienze sociali (1996)

Previsione Italo Scardovi di Italo Scardovi Previsione La previsione nella scienza Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] o futuro: il passato e il futuro di una natura non soggetta al divenire. La matematica di quel sistema era la sintassi dell'ordine e, insieme, della previsione; e se non si riusciva a predire con esattezza - rassicurava Laplace - era solo per l ... Leggi Tutto
CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – SOCIOLOGIA

ipotesi

Enciclopedia on line

Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, [...] del fatto espresso dall’altra (apodosi). La protasi, che è subordinata all’apodosi, è introdotta dalla congiunzione se. Nella sintassi italiana si distinguono 3 ‘tipi’ di periodo ipotetico: della realtà, quando l’i. è un fatto reale e la conseguenza ... Leggi Tutto
CATEGORIA: FILOLOGIA – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – GEOMETRIA – STATISTICA E CALCOLO DELLE PROBABILITA – DOTTRINE TEORIE E CONCETTI
TAGS: INSIEME DEI NUMERI NATURALI – CALCOLO DELLE PROBABILITÀ – CORRISPONDENZA BIUNIVOCA – FUNZIONE DI RIPARTIZIONE – ARISTOFANE DI BISANZIO
Mostra altri risultati Nascondi altri risultati su ipotesi (4)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia Ettore Casari La scuola di Leopoli-Varsavia Gli inizi La singolare vicenda intellettuale divenuta nota come 'Scuola [...] prospettive di ricerca della logica postgödeliana, questi aveva infatti proposto, nella sua Logische Syntax der Sprache (Sintassi logica della lingua), una liberalizzazione radicale dei metodi ammessi per l'indagine metamatematica, conservando però l ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

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 [...] può mettere a nudo, in modo sempre verificabile, la concatenazione degli enunciati e l'attribuzione dei predicati ai soggetti (sintassi), e inoltre si esplicita la correlazione tra le varie espressioni e i loro signif., cioè il nesso con gli oggetti ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti

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 [...] ‘ε’; la seconda, ‘uguale a’, viene indicata con . (l’iniziale della parola greca ἴσος). Rendendo allora a=. con aειb, in virtù della sintassi segue che ιb è una classe, cioè la classe che contiene solo b. Nel 1897 Peano definisce la classe vuota come ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – STORIA DELLA MATEMATICA

Statistica applicata alle scienze sociali

Enciclopedia delle scienze sociali (1998)

Statistica applicata alle scienze sociali Italo Scardovi La statistica e l'immanenza della variabilità Statistica è parola dai tanti, forse troppi, significati. Essi riflettono, nella loro varietà, [...] (il mito della certezza), il segno di un'accresciuta consapevolezza metodologica. Variabilità statistica e scienze sociali Le sintassi statistiche passano attraverso una varietà di campi semantici, e tuttavia si avverte ancora una certa carenza di ... Leggi Tutto
CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA

Scienza greco-romana. La scienza greca e l'Oriente

Storia della Scienza (2001)

Scienza greco-romana. La scienza greca e l'Oriente André Pichot La scienza greca e l'Oriente La scienza e la filosofia sono state a lungo considerate il frutto del 'miracolo greco', un frutto incomparabile [...] minimamente a quello studiato dai linguisti di oggi, con i suoi significanti, i suoi significati e la sua sintassi. Il suo valore dipendeva dalla sua capacità espressiva, la quale ultima evocava però l'esperienza vissuta più che esplicitarla ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA
1 2 3 4
Vocabolario
sintassi
sintassi s. f. [dal gr. σύνταξις «associazione, organizzazione», comp. di σύν «con, insieme» e τάξις «sistemazione»]. – 1. Nella linguistica descrittiva, una delle quattro parti tradizionali della descrizione linguistica, che ha per oggetto...
sintano
sintano s. m. [dall’ingl. syntan, comp. di syn(thetic) «sintetico» e tan(ning) «concia»]. – In chimica organica, nome generico di prodotto sintetico idrosolubile sostitutivo dei materiali vegetali concianti, generalm. ottenuto per condensazione...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali