Informaticateorica Con l'espressione informaticateorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] vasto rispetto allo strumento utilizzato per l'elaborazione. Da un lato, infatti, l'informaticateorica riguarda temi che sono stati oggetto di studio ancor prima dell'avvento dei ... ...
Leggi Tutto
grammatica in informaticateorica, 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). ...
Leggi Tutto
transizione, matrice di in informaticateorica, 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 (App. IV, ii, p. 189; V, ii, p. 704) Mentre negli anni 1937-38 [...] : Calcolatori nella fisica teorica, e simulazione, in questa Appendice) e umanistico (v. beni culturali: Beni culturali e informatica, e informatica umanistica, in questa Appendice ... ...
Leggi Tutto
Informatica: salto nel vuoto? Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di [...] ai ricercatori. Appare dunque chiaro come Gödel sia da considerare il più importante informaticoteorico del 20° secolo. Gli elementi stabili e la riscrittura Per potere realizzare ... ...
Leggi Tutto
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 [...] filosofici o per affrontare situazioni che si presentano in altre discipline (linguistica, informaticateorica, fisica, e così via). Sullo sfondo, vi sono le indagini legate alla ...
Leggi Tutto
Trautteur, Giuseppe. - Fisico e informatico italiano (n. Napoli 1936). Conseguita la laurea in Fisica, ha sviluppato un grande interesse per la cibernetica e nel 1970 ha concluso [...] Scienze Matematiche, Fisiche e Naturali dell’Università di Palermo, T. insegna Informaticateorica e Calcolabilità e complessità all’Università Federico II di Napoli. Accanto agli ... ...
Leggi Tutto
grafi, teoria dei settore della matematica che studia in modo formalizzato i grafi, riconducendo a un’unica teoria diversi problemi classici: dal problema dei → ponti [...] reti neurali. Lo sviluppo della metodologia dei grafi è proceduto di pari passo con l’informaticateorica e la crescita dei mezzi di elaborazione: i sistemi digitali di calcolo, i ...
Leggi Tutto
ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] , essa è stata stimolata dall’esigenza di applicazioni pratiche nell’ambito dell’informaticateorica o computer science e consiste in un tentativo di classificare le funzioni ...
Leggi Tutto
Szemerédi Endre (Budapest 1940) matematico ungherese naturalizzato statunitense. Dopo gli studi universitari a Budapest, ha conseguito il dottorato all’università statale di Mosca. Prima [...] il Premio Abel nel 2012 «per il suo contributo fondamentale alla matematica discreta e all’informaticateorica, e per l’impatto profondo e duraturo che la sua opera ha avuto sulla ...
Leggi Tutto
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 in tutta...
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 (per es., l’insieme...