• 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
il faro
Le parole valgono
lingua italiana
199 risultati
Tutti i risultati [4367]
Temi generali [199]
Biografie [1030]
Medicina [395]
Matematica [354]
Storia [395]
Diritto [313]
Biologia [250]
Fisica [223]
Filosofia [200]
Religioni [198]

Automi e linguaggi formali

Enciclopedia della Scienza e della Tecnica (2007)

Automi e linguaggi formali Dominique Perrin La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] IP è quello del non-isomorfismo dei grafi. Il verificatore sceglie a caso un indice i∈{1,2} e una permutazione π, e invia al dimostratore il grafo H=π(Gi). Il verificatore trova j∈{1,2} tale che Gj e H sono isomorfi e accetta se i=j. Joseph Shamir ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA

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 [...] 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 casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei ... 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

teorema

Enciclopedia on line

teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] t. si distinguono in genere l’ipotesi (proprietà che si suppongono valide fin dall’inizio) e la tesi (proprietà che s’intende dimostrare); si parla poi di t. invertibile, se, scambiando nell’enunciato l’ipotesi con la tesi, si ottiene un nuovo t. (t ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: SISTEMA ASSIOMATICO – SISTEMA FORMALE – MATEMATICA – ASSIOMI
Mostra altri risultati Nascondi altri risultati su teorema (4)
Mostra Tutti

sofisma

Enciclopedia on line

sofisma Termine greco che inizialmente significò ogni manifestazione concreta della σοϕία, cioè della sapienza dell’uomo; più tardi venne usato per designare, in generale, ogni argomentazione speciosa, [...] a una revisione dei procedimenti e delle ipotesi, e quindi a un reale progresso di conoscenza. Un esempio di s. matematico è la dimostrazione che tutti i numeri sono uguali: dati due numeri qualunque a, b, si ponga a+b=2c (c è la media aritmetica di ... Leggi Tutto
CATEGORIA: TEMI GENERALI – DOTTRINE TEORIE E CONCETTI
Mostra altri risultati Nascondi altri risultati su sofisma (3)
Mostra Tutti

realtà

Enciclopedia on line

realtà Qualità e condizione di ciò che esiste effettivamente e concretamente. Filosofia La nozione di r. è legata al problema tipicamente moderno dell'esistenza del mondo esterno. A partire da R. Descartes [...] reale? Più in generale, chi ci garantisce che la realtà esterna esista? Descartes risolse il problema ricorrendo alla dimostrazione dell'esistenza di Dio, che faceva da 'garante' sulla verità delle nostre rappresentazioni. G. Berkeley, invece, si ... Leggi Tutto
CATEGORIA: DOTTRINE TEORIE E CONCETTI – BIOGRAFIE – PSICANALISI – PSICOLOGIA COGNITIVA – PSICOLOGIA DELL ETA EVOLUTIVA – PSICOLOGIA SOCIALE – PSICOLOGIA SPERIMENTALE – PSICOMETRIA – PSICOTERAPIA – STORIA DELLA PSICOLOGIA E DELLA PSICANALISI – TEMI GENERALI
TAGS: TRASCENDENTALISMO – ESISTENZA DI DIO – NEOPOSITIVISMO – PSICOANALISI – OGGETTIVITÀ
Mostra altri risultati Nascondi altri risultati su realtà (3)
Mostra Tutti

Informatica

Enciclopedia Italiana - VI Appendice (2000)

Informatica Giorgio Ausiello Carlo Batini Vittorio Frosini (App. IV, ii, p. 189; V, ii, p. 704) Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] che ogni strada abbia un vigile ad almeno una delle due estremità. Sfruttando le tecniche di riduzione viste precedentemente si può dimostrare che questo problema è risolubile in modo ottimo in tempo polinomiale se e solo se risulta P=NP. Ebbene, è ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI
Mostra altri risultati Nascondi altri risultati su Informatica (12)
Mostra Tutti

Identificazione

Universo del Corpo (1999)

Identificazione Red. Lucio Pinkus Il termine identificazione indica sia l'attività diretta a stabilire l'identità di una persona sia il processo psicologico per cui un individuo si sente o si considera [...] , e danno luogo a modificazioni dell'Io. L'identificazione in ambito giudiziario Il riconoscimento e la dimostrazione dei dati costitutivi di un determinato individuo, considerati nel loro complesso o singolarmente, hanno grande importanza ... Leggi Tutto
CATEGORIA: DIRITTO PENALE E PROCEDURA PENALE – BIOGRAFIE – PSICANALISI – PSICOLOGIA COGNITIVA – PSICOLOGIA DELL ETA EVOLUTIVA – PSICOLOGIA GENERALE – PSICOLOGIA SOCIALE – PSICOLOGIA SPERIMENTALE – PSICOMETRIA – PSICOTERAPIA – STORIA DELLA PSICOLOGIA E DELLA PSICANALISI – TEMI GENERALI
TAGS: PROCESSO COGNITIVO – ÉDITIONS DU SEUIL – COMPLESSO EDIPICO – MEDICINA LEGALE – DIRITTO PENALE
Mostra altri risultati Nascondi altri risultati su Identificazione (2)
Mostra Tutti

paradosso

Enciclopedia on line

Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] P. del liberale paretiano Teorema presentato dall’economista indiano A.K. Sen (1970) con il quale si vuole dimostrare come, nell’ambito della teoria delle scelte collettive, sia impossibile trovare regole capaci di soddisfare simultaneamente sia il ... Leggi Tutto
CATEGORIA: ANTROPOLOGIA FISICA – TEMI GENERALI – FISICA MATEMATICA – MECCANICA DEI FLUIDI – RELATIVITA E GRAVITAZIONE – PATOLOGIA – PSICHIATRIA – METODI TEORIE E PROVVEDIMENTI – DOTTRINE TEORIE E CONCETTI – LOGICA – METAFISICA
TAGS: INSIEME BENE ORDINATO – RELATIVITÀ RISTRETTA – NUMERO CARDINALE – INSIEME ORDINATO – NUMERO NATURALE
Mostra altri risultati Nascondi altri risultati su paradosso (6)
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, [...] in gioco sono il numero N di cui si deve stabilire 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 ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – INSIEME DEI NUMERI NATURALI – TEORIA DELLA COMPUTABILITÀ – TEORIA DELLA COMPLESSITÀ – TEORIA DEGLI INSIEMI

bufala mediatica

Lessico del XXI Secolo (2012)

bufala mediatica bùfala mediàtica  locuz. sost. f. – Notizia falsa che viene ripresa e amplificata dai media. Il saper riconoscere una notizia non rispondente al vero è una delle basi del giornalismo, [...] . Essa può anche mettere in luce le debolezze e la scarsa affidabilità del sistema dei media, nonché le imprevedibili conseguenze, dato che la successiva dimostrazione della non veridicità di una notizia non necessariamente ne arresta la diffusione. ... Leggi Tutto
CATEGORIA: TEMI GENERALI
1 2 3 4 5 6 7 8 ... 20
Vocabolario
dimostrazióne
dimostrazione dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dimostràbile
dimostrabile dimostràbile agg. [dal lat. tardo demonstrabĭlis]. – Che si può dimostrare: verità facilmente dimostrabile.
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