• 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]

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 [...] e l'operatore modale ha effetto sull'intera proposizione; se invece esso interrompe ciò che è espresso dal soggetto e dal predicato, allora si ha una proposizione divisa e in questo caso l'operatore modale modifica soltanto la copula: per esempio, la ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

De Morgan, Augustus

Enciclopedia on line

De Morgan, Augustus Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] soprattutto per la disputa con W. Hamilton circa la priorità dell'introduzione del concetto di quantificazione di un predicato. Sviluppò ampiamente la dottrina del sillogismo e la logica delle relazioni. Si occupò anche di induzione, teoria delle ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: LOGICA MATEMATICA – SILLOGISMO – LONDRA – MADURA – INDIA
Mostra altri risultati Nascondi altri risultati su De Morgan, Augustus (4)
Mostra Tutti

Complessità algoritmica

Enciclopedia della Scienza e della Tecnica (2007)

Complessità algoritmica Fabrizio Luccio Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] la natura e un secondo numero R indipendente da N ed estratto a caso. Come dimostrato da Gary L. Miller e Michael O. Rabin, si ha: esiste un predicato Z(N,R), con 2〈R〈N, tale che se N è primo allora Z(N,R)=true per ogni valore di R, e se N è composto ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI

analìtico

Dizionario delle Scienze Fisiche (1996)

analitico analìtico [agg. (pl.m. -ci) Der. di analisi] [ANM] Continuazione a.: v. funzioni di variabile complessa: II 777 f. ◆ [RGR] Estensione a.: lo stesso che varietà pseudoriemanniana completa, varietà [...] a.: v. funzioni di variabile complessa: II 776 d. ◆ [FAF] Giudizio a.: nella logica, quello in cui il concetto del predicato è implicitamente contenuto nel concetto del soggetto. ◆ [ANM] Prolungamento a.: lo stesso che continuazione a. (v. sopra). ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – RELATIVITA E GRAVITAZIONE – STORIA DELLA FISICA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

ricorsività

Enciclopedia on line

ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] f(x1,x2) = μy[g(x1,x2,y) = 0] che si legge: f(x1,x2) pari al più piccolo y tale che sia g(x1,x2,y) = 0. Oppure anche, dato il predicato triadico P e supposto che per ogni coppia (x1,x2) esista almeno un y tale che la terna (x1,x2,y) convenga al ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: FUNZIONE RICORSIVA PRIMITIVA – FUNZIONE DI ACKERMANN – FUNZIONI RICORSIVE – TEORIA DEI NUMERI – NUMERI NATURALI
Mostra altri risultati Nascondi altri risultati su ricorsività (3)
Mostra Tutti

proprieta

Dizionario delle Scienze Fisiche (1996)

proprieta proprietà [Der. del lat. proprietas -atis, da proprius "proprio"] [LSF] Qualità propria e particolare che un ente (una sostanza, un corpo, un sistema materiale, un essere vivente, una specie [...] Il termine, quando non è usato, come ora detto, in relazione alla specificità di un ente, è sinon. di attributo, qualità, predicato e simili. ◆ [ALG] [ANM] P. formali di un ente matematico: ogni conseguenza logica della definizione stessa del-l'ente ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA

Scienza indiana. La scienza nella cultura indiana

Storia della Scienza (2001)

Scienza indiana. La scienza nella cultura indiana Frits Staal La scienza nella cultura indiana Il concetto di scienza e la classificazione delle scienze Per designare le conoscenze sistematiche indiane [...] è determinata dal principio in base al quale la negazione di una proposizione si identifica con la negazione del predicato e non del soggetto. Aristotele ha spiegato questo concetto così: "Per esempio, la negazione del giudizio 'essere uomo', risulta ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL LINGUAGGIO – TEMI GENERALI – STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

enunciato

Dizionario delle Scienze Fisiche (1996)

enunciato enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia il periodo senza analizzare il rapporto tra soggetto e predicato all'interno delle singole proposizioni. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

decisione

Enciclopedia on line

Diritto D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] effettivo, nel senso sopra detto, per stabilire se un qualunque elemento appartenga o no a I. Si intende per predicato decidibile ogni predicato (cioè ogni proprietà, oppure relazione) quando esiste un procedimento effettivo per stabilire se il ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – TEMI GENERALI – DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – SOCIOLOGIA
TAGS: DISTRIBUZIONE DI PROBABILITÀ – DIRITTO DELL'UNIONE EUROPEA – TEORIA DELLE DECISIONI – GRAFICA COMPUTERIZZATA – INGEGNERIA GESTIONALE
Mostra altri risultati Nascondi altri risultati su decisione (2)
Mostra Tutti

estensione

Dizionario delle Scienze Fisiche (1996)

estensione estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] o di spazio occupata da un determinato ente e anche la relativa misura. ◆ [FAF] (a) Di un termine, un concetto, un predicato, un sistema formale, e simili, è il contenuto di ciascuno di essi. (b) Con altra accezione, nella logica, la classe di tutti ... Leggi Tutto
CATEGORIA: ACUSTICA – BIOFISICA – FISICA MATEMATICA – RELATIVITA E GRAVITAZIONE – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA
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