Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] possono gettare in generale sullo studio dei modelli finiti. Si tratta di un tema di grande importanza anche per l'informaticateorica ma soprattutto in sé, come mostrano per esempio le ricerche di Ax (1968) sui campi pseudofiniti, e che ha portato ...
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
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] se per un problema non esiste una macchina di Turing in grado di risolverlo allora il problema si dice incomputabile o irrisolvibile.
→ Complessità algoritmica; Informaticateorica; Intelligenza artificiale; Sistemi chimico-fisici: autorganizzazione ...
Leggi Tutto
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] insiemistiche; possiamo così interpretare le teorie in categorie come i topos di prefasci o fasci ottenendo risultati che non hanno corrispettivo se ci si limita a interpretazioni puramente insiemistiche.
→ Informaticateorica; Logica matematica ...
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
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] la teoria delle d. fornisce strumenti di analisi teorica utili ed effettivamente impiegati nei più diversi settori un insieme di modelli, di metodologie e di applicazioni informatiche che consentono di sostenere le azioni che accompagnano la gestione ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] qualsiasi rivista di s. non manca di riportare contributi teorici o applicativi delle due tecniche. Questa larga possibilità applicativa su: a) le metodologie statistiche e le tecniche informatiche; b) la conformità delle rilevazioni alle direttive ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] dell'algoritmo che lo risolve (v. informatica, App. V, ii, p. 704; e informatica: Scienze dell'informazione, in questa Appendice della mia. Ma in ogni caso non esiste un metasistema teorico in grado di farci andare oltre la nostra condizione sociale o ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] analisi funzionale, ma anche per il ruolo che ebbe in fisica teorica e in geometria differenziale nel XX secolo.
Charles-Émile Picard ( Calcolo delle soluzioni di EDP, analisi numerica e informatica
Uno dei fenomeni più notevoli e importanti delle ...
Leggi Tutto
Biomatematica
Vincenzo Capasso
Nel Saggiatore (1623), Galileo Galilei sosteneva che «l’Universo […] è scritto in lingua matematica, e i caratteri sono triangoli, cerchi e altre figure geometriche […]; [...] lavoro sperimentale ha sofferto di una mancanza di visione teorica a carattere generale. La situazione è cambiata in ruolo giocato dalla matematica, insieme alla statistica e all’informatica, nella sequenziazione del genoma umano e di altri genomi. ...
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...
tecnico
tècnico agg. e s. m. (f. -a) [dal lat. technĭcus, gr. τεχνικός, der. di τέχνη «arte»] (pl. m. -ci). – 1. agg. a. Relativo alle applicazioni e realizzazioni pratiche di un’arte, di una scienza o di una disciplina, di un’attività: nozioni...