• 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 App
    • Skill
    • 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
vocabolario
biografico
257 risultati
Tutti i risultati
Temi generali [52]
Informatica [39]
Economia [30]
Matematica [21]
Scienze demo-etno-antropologiche [22]
Diritto [19]
Arti visive [17]
Archeologia [13]
Biologia [14]
Lingua [10]

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] via. Lo studio dei principi matematici che sono alla base di tali concetti è dunque un obiettivo basilare dell'informatica teorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI
TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

L’informatica teorica

Storia della civiltà europea a cura di Umberto Eco (2014)

Giorgio Strano Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] a seguito della scoperta di Stephen D. Scott nel 1970 di modelli del λ-calcolo. Più in generale, recenti sviluppi dell’informatica teorica e della logica hanno mostrato che il λ-calcolo fa da ponte tra la teoria della calcolabilità e la teoria della ... Leggi Tutto

grammatica

Enciclopedia della Matematica (2013)

grammatica grammatica in informatica teorica, termine che designa una struttura formale per un linguaggio L in grado di generare tutte e sole le stringhe del linguaggio. Per questo si parla di grammatica [...] G generativa del linguaggio L o di linguaggio L generato dalla grammatica G, indicandolo con L(G). Formalmente, una grammatica G è una quadrupla 〈AN, A, P, s〉 dove A è l’alfabeto del linguaggio (detto ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – ELABORATORE ELETTRONICO – GRAMMATICA GENERATIVA – INFORMATICA TEORICA – LINGUAGGIO MACCHINA
Mostra altri risultati Nascondi altri risultati su grammatica (5)
Mostra Tutti

transizione, matrice di

Enciclopedia della Matematica (2013)

transizione, matrice di transizione, matrice di in informatica teorica, matrice che descrive le possibili transizioni tra i vari stati di un → automa. ☐ In statistica, indica in modo analogo le transizioni [...] di stato di un processo stocastico riconducibile a una catena di → Markov ... Leggi Tutto
TAGS: PROCESSO STOCASTICO – INFORMATICA TEORICA – CATENA DI → MARKOV

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, [...] . Negli ultimi anni sono emerse nuove possibilità di supporto degli strumenti informatici in campo scientifico (v. computazionali, metodi; fisica: Calcolatori nella fisica teorica, e simulazione, in questa Appendice) e umanistico (v. beni culturali ... 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

INFORMATICA: SALTO NEL VUOTO?

XXI Secolo (2010)

Informatica: salto nel vuoto? Corrado Böhm Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] alla libera creatività concessa ai ricercatori. Appare dunque chiaro come Gödel sia da considerare il più importante informatico teorico del 20° secolo. Gli elementi stabili e la riscrittura Per potere realizzare pienamente la finalità espressa nella ... Leggi Tutto

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] classiche dell’analisi e della geometria, e m. del finito, ritornata in primo piano anche per gli sviluppi dell’informatica teorica; fra m. astratta (di stampo bourbakista, che tende alla massima generalità) e m. concreta (legata agli esempi, all ... Leggi Tutto
CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI
Mostra altri risultati Nascondi altri risultati su matematica (14)
Mostra Tutti

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] nate sin dagli anni Venti per motivi filosofici o per affrontare situazioni che si presentano in altre discipline (linguistica, informatica teorica, fisica, e così via). Sullo sfondo, vi sono le indagini legate alla teoria degli insiemi e a quella ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

Knuth, Donald

Enciclopedia on line

Knuth, Donald Matematico statunitense (n. Milwaukee 1938). Laureatosi presso il Case institute of technology (oggi Case western reserve university) di Cleveland, ha conseguito il PhD nel 1963 al California institute [...] emerito dal 1993), ha dato notevoli contributi all'informatica teorica, sviluppando numerosi algoritmi e tecniche di compilazione. A lui soprattutto si deve lo sviluppo del sistema informatico di scrittura TEX per testi scientifici (formule, simboli ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: CALIFORNIA INSTITUTE OF TECHNOLOGY – INFORMATICA TEORICA – STANFORD UNIVERSITY – PHD

OPERATIVA, RICERCA

Enciclopedia Italiana - V Appendice (1993)

OPERATIVA, RICERCA Lucio Bianco-Mario Lucertini (App. III, II, p. 315; IV, II, p. 669) Premessa. − La r.o. è una disciplina che, a partire da radici culturali diversificate, ha acquisito soltanto negli [...] e sistemi di controllo. I filoni relativi all'ottimizzazione nel discreto hanno avuto tradizionalmente forti legami con l'informatica teorica, la logica, la teoria delle decisioni, la matematica del discreto e, sul versante applicativo, con le ... Leggi Tutto
TAGS: RETI DI TELECOMUNICAZIONE – PUBBLICA AMMINISTRAZIONE – SECONDA GUERRA MONDIALE – PROGRAMMAZIONE LINEARE – TEORIA DEL CONTROLLO
Mostra altri risultati Nascondi altri risultati su OPERATIVA, RICERCA (6)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 26
Vocabolario
complessità
complessita complessità s. f. [der. di complesso1]. – 1. L’esser complesso (nelle varie accezioni dei sign. 1 e 2 di quest’agg.): c. di una questione, di un ragionamento, di una costruzione teorica; c. di un atto giuridico; esaminare una situazione...
computàbile
computabile computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...
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 App
    • Skill
    • 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