• 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
146 risultati
Tutti i risultati [1534]
Temi generali [146]
Matematica [384]
Filosofia [341]
Biografie [312]
Fisica [200]
Storia della fisica [133]
Metafisica [124]
Fisica matematica [122]
Algebra [109]
Epistemologia [105]

blocco 1

Dizionario delle Scienze Fisiche (1996)

blocco 1 blòcco1 [Dal fr. bloc "tronco abbattuto, quantità di materia", poi "oggetto piuttosto consistente" e sim.] [ALG] [FAF] Nella logica matematica, successione chiusa in sé di quantificatori esistenziali [...] o universali. ◆ [ELT] [FTC] B. funzionale: simbolo grafico, di solito in forma di rettangolo con opportuni altri simboli oppure didascalie nell'interno, per rappresentare una sub-unità di un impianto la ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – FISICA TECNICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

proprio

Dizionario delle Scienze Fisiche (1996)

proprio pròprio [Der. del lat. proprius, probab. dalla locuz. pro privo "a titolo privato"] [LSF] Conserva il signif. di proprietà e quindi con signif. affine a quello di peculiare, specifico e simili. [...] generico, in senso lato e sim. per sottolineare la specificità di qualcosa. ◆ [ALG] [FAF] Assiomi p., o non logici: nella logica matematica, gli assiomi specifici di una teoria formalizzata. ◆ [ALG] [FAF] Classe p.: ogni insieme che non possa essere ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

sintassi

Dizionario delle Scienze Fisiche (1996)

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 [...] regole della s. specificano come vanno costruite le formule e come si deve operare sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su sintassi (1)
Mostra Tutti

aritmetizzazióne

Dizionario delle Scienze Fisiche (1996)

aritmetizzazione aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] ., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III 55 c. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

non standard

Dizionario delle Scienze Fisiche (1996)

non standard nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

scelta

Dizionario delle Scienze Fisiche (1996)

scelta scélta [Der. del part. pass. scelto di scegliere, lat. exeligere] [LSF] Atto ed effetto dello scegliere. ◆ [ALG] [FAF] Assioma di s.: nella logica matematica, afferma che, data una classe C di [...] insiemi non vuoti, si può costruire un insieme S, detto insieme selettivo in C, scegliendo uno e un solo elemento da ogni insieme di C ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Post Emil Leon

Dizionario delle Scienze Fisiche (1996)

Post Emil Leon Post 〈póst〉 Emil Leon [STF] (Augistow, Polonia, 1897 - New York 1954) Prof. di matematica nel City College di New York (1944). ◆ [INF] Macchina di P.: v. automi, teoria degli: I 330 a. [...] ◆ [ALG] [FAF] Teoria di P.: nella logica matematica, riguarda i sistemi formali e gli insiemi ricorsivamente numerabili. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA
TAGS: LOGICA MATEMATICA – NEW YORK – POLONIA
Mostra altri risultati Nascondi altri risultati su Post Emil Leon (2)
Mostra Tutti

quantificazione

Dizionario delle Scienze Fisiche (1996)

quantificazione quantificazióne [Der. dell'ingl. quantification, da to quantify "quantificare" (→ quantificatore), "atto ed effetto del quantificare"] [LSF] Termine talora usato, impropr., come sinon. [...] di quantizzazione. ◆ [ALG] [FAF] Teoria della q.: nella logica matematica, lo studio dei quantificatori e delle loro funzioni, strettamente collegato con lo studio dei predicati. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

metalinguaggio

Dizionario delle Scienze Fisiche (1996)

metalinguaggio metalinguàggio [Comp. di meta- e linguaggio] [FAF] [INF] (a) Termine introdotto inizialmente nella logica matematica (sul modello di metamatematica) e poi esteso per indicare in generale [...] un sistema di simboli costituente un linguaggio atto alla descrizione di determinati procedimenti. (b) In termini molto generici, linguaggio convenzionale ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA – TEMI GENERALI – EPISTEMOLOGIA – METAFISICA

poliadico

Dizionario delle Scienze Fisiche (1996)

poliadico poliàdico [agg. (pl.m. -ci) Der. di poliade] [LSF] Che è relativo a una poliade, spec. nella matematica, ove equivale a n-adico. ◆ [ALG] [FAF] Predicato, o attributo, p.: nella logica matematica, [...] predicato riferibile a più elementi, come, per es., il predicato "è maggiore di" ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA
1 2 3 4 5 6 7 8 ... 15
Vocabolario
lògica
logica lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
lògico¹
logico1 lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
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