• 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
52 risultati
Tutti i risultati [1023]
Matematica [52]
Biografie [199]
Lingua [165]
Religioni [129]
Grammatica [106]
Filosofia [88]
Storia [84]
Diritto [56]
Temi generali [38]
Linguistica generale [31]

definizione

Enciclopedia on line

Filosofia L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] loro insieme lo definiscono: d. reale, soprattutto nella filosofia scolastica, quella che ha per oggetto una cosa e ne spiega in parole l’essenza; d. nominale, quella che si limita a spiegare il significato ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – METAFISICA – DOTTRINE TEORIE CONCETTI
TAGS: PRINCIPIO DI INDUZIONE – FILOSOFIA SCOLASTICA – CONCILI ECUMENICI – LOGICA MATEMATICA – CHIESA CATTOLICA
Mostra altri risultati Nascondi altri risultati su definizione (4)
Mostra Tutti

formalizzazione della vaghezza

Enciclopedia della Scienza e della Tecnica (2008)

Formalizzazione della vaghezza Settimo Termini Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] troppo semplice perchè possa riuscire a carpire aspetti essenziali di una nozione estremamente sottile e sfuggente come quella di predicato vago (non a caso espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione ... Leggi Tutto
CATEGORIA: LOGICA

epsilon

Dizionario delle Scienze Fisiche (1996)

epsilon èpsilon [gr. epsilòn "semplice"] [LSF] Nome della lettera greca ε (e breve) maiusc. Ε. ◆ [ALG] Operatore ε: introdotto da D. Hilbert nella logica dei predicati del 1° ordine, in relazione a un [...] predicato monadico P sceglie o privilegia un particolare elemento tra tutti quelli che appartengono a P. ◆ [FSN] Mesone ε: v. nucleone: IV 207 b. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – FISICA NUCLEARE – TEMI GENERALI – ALGEBRA
Mostra altri risultati Nascondi altri risultati su epsilon (2)
Mostra Tutti

quantificatore

Enciclopedia on line

matematica In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data proprietà, che viene [...] solitamente espressa da un predicato (➔ operatore). linguistica Il termine è usato, oltre che con accezioni analoghe a quelle della logica, per indicare un determinante che, riferito al sostantivo, ne esprime la quantità (uno, due..., ogni, qualcuno, ... Leggi Tutto
CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA
TAGS: LOGICA MATEMATICA – PREDICATO

minimalizzazione

Enciclopedia on line

Particolare tipo di procedimento, usato in logica matematica e soprattutto nella teoria della ricorsività, nel quale si fa uso dell’operatore di m., o operatore-μ, che consente di definire in modo opportuno [...] : «f(x1, ..., xn) è uguale al più piccolo y tale che sia g(x1, ..., xn, y)=0». Se, invece, si parte da un predicato noto Px1 ... xn y, la formula è: f(x1, ..., xn) = μyPx1 ... xn y. Qualora in una delle due definizioni si supponga che questo valore ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: LOGICA MATEMATICA

diadico

Dizionario delle Scienze Fisiche (1996)

diadico diàdico [agg. (pl.m. -ci) Der. di diade "relativo a una coppia, binario"] [ALG] Numerazione d.: lo stesso che numerazione binaria. ◆ [ALG] Operazione d., o binaria: operazione mediante la quale [...] di elementi di un insieme si fa corrispondere un elemento del medesimo insieme. ◆ [ALG] [FAF] Predicato d.: nella logica matematica, qualsiasi predicato che si riferisca a due individui. ◆ [ALG] [FAF] Relazione d.: relazione tra due soli elementi ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

costruzióne

Enciclopedia on line

Linguistica In grammatica, si intende per c. la disposizione dei vari sintagmi, o elementi sintattici, nella proposizione o nel periodo secondo un ordine determinato; si dice c. diretta quando le parole [...] sono disposte secondo un ordine logico o che per convenzione si ritiene normale (soggetto, predicato, complemento); c. inversa quando l’ordine naturale è invertito. Il termine c. indica inoltre la particolare reggenza richiesta, nella proposizione o ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – GRAMMATICA – GEOMETRIA – EDILIZIA
TAGS: SCIENZA DELLE COSTRUZIONI – COMPLEMENTO – MATEMATICA – PREDICATO

monadico

Dizionario delle Scienze Fisiche (1996)

monadico monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

quantificatore

Dizionario delle Scienze Fisiche (1996)

quantificatore quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] indica quanti oggetti, tra quelli rappresentati dalla variabile, godono di una certa proprietà, di solito indicata da un predicato; precis.: (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su quantificatore (1)
Mostra Tutti

Church, Alonzo

Enciclopedia on line

Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] tesi (o ipotesi o legge) di Ch., la quale afferma che ogni funzione effettivamente calcolabile (cioè ogni predicato decidibile) è ricorsiva generale. Essa ha formulazioni equivalenti nella tesi di Turing, nel principio di Markov di normalizzazione ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: TEORIA DEI TIPI – COMBINATORIA – WASHINGTON – MATEMATICA – CALIFORNIA
Mostra altri risultati Nascondi altri risultati su Church, Alonzo (3)
Mostra Tutti
1 2 3 4 5 6
Vocabolario
predicato
predicato s. m. [dal lat. praedicatum, part. pass. neutro sostantivato di praedicare (v. predicare), che come termine della logica e della grammatica traduce, nel lat. tardo e mediev., il gr. κατηγορούμενον «detto, asserito»]. – 1. Ciò che...
prèdica
predica prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...
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