Cerca in:
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
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
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
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
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
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
Knuth, Donald
Enciclopedia on line
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
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