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’informaticateorica; fra m. astratta (di stampo bourbakista, che tende alla massima generalità) e m. concreta (legata agli esempi, all ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] maggior parte degli esperti sospettano - è un problema aperto di notevole importanza (per molti, il problema aperto dell'informaticateorica). Molti sforzi sono stati dedicati alla soluzione di questo problema fin dall'introduzione del concetto di NP ...
Leggi Tutto
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] Paul Erdös sui grafi casuali (random graphs), che introducono metodi probabilistici nello studio dei grafi e hanno trovato interessanti applicazioni anche nella teoria dei modelli.
→ Informaticateorica; Logica matematica; Matematica: problemi aperti ...
Leggi Tutto
rete di Petri
Mauro Cappelli
Strumento teorico per la modellazione di processi in un sistema distribuito a stati discreti. Proposte nel 1962 da Carl Adam Petri, le reti di Petri rappresentano una teoria [...] di seguire tramite i token anche la dinamica. In ambito applicativo le reti di Petri sono molto impiegate nell’analisi dati, nell’intelligenza artificiale e nella gestione dei processi.
→ Informaticateorica; Sistemi, scienza e ingegneria dei ...
Leggi Tutto
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
In senso oggettivo, il complesso di norme giuridiche, che comandano o vietano determinati comportamenti ai soggetti che ne sono destinatari, in senso soggettivo, la facoltà o pretesa, tutelata dalla legge, [...] soprattutto nel campo della genetica e dell’informatica. Tale classificazione ha carattere descrittivo e non Kant. Soprattutto a partire dal 19° sec. l’influenza teorica del giusnaturalismo iniziò a declinare, per effetto congiunto dello storicismo ...
Leggi Tutto
Scienza dell’uomo, considerato sia come soggetto o individuo, sia in aggregati, comunità, situazioni.
A. fisica
Ramo delle scienze biologiche che studia l’umanità dal punto di vista naturalistico, cioè [...] Durkheim, fu A.R. Radcliffe-Brown a dominare la scena teorica britannica tra gli anni 1940 e gli anni 1960. Nello stesso un certo margine di indeterminatezza. Attraverso la metafora informatica, ciò ci distingue dal computer: un calcolatore riconosce ...
Leggi Tutto
Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] modalità complementare (e a supporto di) all’indagine teorica e, in certa misura, alla sperimentazione. Nelle discipline di ricerca interdisciplinare, alla confluenza della matematica, dell’informatica e delle varie scienze, che studia tali modelli ...
Leggi Tutto
Qualsiasi fonte o mezzo che valga a fornire aiuto, soccorso, appoggio, sostegno, specialmente in situazioni di necessità. In economia si parla di risorse naturali, fornite dalla natura, e non naturali, [...] accresciuta produzione di risorse alimentari. Nonostante la possibilità teorica di poter recuperare ai fini agricoli ca. 90 più leggeri, la miniaturizzazione. La combinazione di informatica e tecnologie robotizzate di lavorazione sta modificando l’ ...
Leggi Tutto
Il punto o la zona in cui scaturisce per defluire una vena d’acqua sotterranea. Per estensione, origine, causa prima di un fenomeno.
Fisica
S. di radiazioni (o di energia raggiante) Corpo che emette radiazioni [...] per l’area della faglia stessa. La distribuzione teorica delle polarità dei segnali osservabili alle varie stazioni sismiche precedenza, che presentano una resistenza effettiva molto minore.
Informatica
File s. File di testo contenente una serie di ...
Leggi Tutto
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...
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...