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
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
La grande scienza. Automi e linguaggi formali
Storia della Scienza (2003)
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] parole. L'Handbook of theoretical computer science di Leeuwen (1990a e b) tratta tutti i campi dell'informatica teorica. Il volume B contiene capitoli di rassegna sugli automi finiti, parole infinite, grammatiche context-free, computabilità, ecc ...
Leggi Tutto
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] il programma nelle sue forme più estreme, dall'altra per i sempre più frequenti contatti con discipline vicine come l'informatica teorica, che ne hanno allargato gli orizzonti.
Alla base del programma di Hilbert sta l'idea che ‒ ai fini dell'analisi ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. Algebra
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] a strutture a essi associate (gli edifici di Bruhat-Tits).
L'algebra dei codici e dei linguaggi, nell'ambito dell'informatica teorica, può in parte essere considerata legata agli aspetti combinatori dell'algebra. Per esempio la teoria di Marcel Paul ...
Leggi Tutto
CATEGORIA:
ALGEBRA
programmazione lineare
Enciclopedia della Scienza e della Tecnica (2008)
programmazione lineare
Mauro Cappelli
Insieme dei metodi di ottimizzazione di un criterio lineare con vincoli lineari di uguaglianza o disuguaglianza. Rappresenta un caso particolare del problema più [...] lineari interi (cioè a variabili intere) l’algoritmo più noto è detto branch and bound. Per problemi lineari misti si impiega l’algoritmo branch and cut. Tutti e tre gli algoritmi rappresentano metodi di risoluzione esatti.
→ Informatica teorica ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
La grande scienza. Cronologia scientifica: 1941-1950
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] e dimostrando i teoremi fondamentali. La teoria avrà un'influenza decisiva sullo sviluppo di altre discipline, quali l'informatica teorica e la teoria dei codici correttori di errori, definendo in modo matematicamente utile concetti come quello di ...
Leggi Tutto