Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] . Ovviamente P⊂NP; è ragionevole supporre che P≠NP, ma ciò non è stato ancora dimostrato e anzi costituisce uno dei problemi centrali dellateoria computazionale. Per citare una classe definita da restrizioni sullo spazio, la classe PSPAZIO è la ...
Leggi Tutto
Storie naturali
Stephen C. Stearns
(Zoologisches Institut, Universität Basel, Basilea, Svizzera)
La diversità della vita sulla Terra è anche una diversità di storie naturali. Le piante superiori e gli [...] dei modelli di sforzo riproduttivo.
Per dimostrare che la fenomenologia osservata era causata dalla necessita di una spIegazione.
La teoriadella storia naturale considera l'evoluzione della durata della vita riproduttiva come un equilibrio ...
Leggi Tutto
Archeologia
Sabatino Moscati
di Sabatino Moscati
Archeologia
sommario: 1. Criteri e metodi. 2. Dalla prospezione allo scavo. 3. La datazione dei reperti. 4. Procedimenti di analisi. 5. Archeologia sperimentale. [...] quello teorizzante: anzi la teoriadella stratificazione e della connessa natura della ricerca archeologica, nonché del analisi in Francia dei più antichi reperti di rame: essa ha dimostrato l'origine del rame stesso nell'Iran del IV millennio a. ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] e la più breve tra tali computazioni consiste di t mosse. Nonostante l'apparente potenziamento del modello, la teoriadella computabilità dimostra che gli insiemi di stringhe accettate non cambiano, mentre cambia il numero di mosse eseguite dalle due ...
Leggi Tutto
induzione
induzióne [Der. del lat. inductio -onis, dal part. pass. inductus di inducere "indurre" (→ induttivo)] [FAF] Procedimento logico, opposto a quello della deduzione, per cui dall'osservazione [...] condizioni elettrostatiche. ◆ [FAF] I. eliminativa ed enumerativa: v. teoria: VI 132 d. ◆ [EMG] I. magnetica: fenomeno immediatamente successiva. Tale principio, che è alla base delladimostrazione per i. (v. sopra), è suscettibile di forme ...
Leggi Tutto
Letteratura e arti visive
Giorgio Patrizi
Se il Novecento può dirsi il secolo delle avanguardie - nel senso che da esse derivano le sue espressioni meglio caratterizzanti il percorso della modernità [...] è una dimostrazione interessante l'approccio al testo pittorico di un letterato duttile e bizzarro come V. Imbriani, testimone attento delle ricerche espressive dei macchiaioli. In Critica d'arte e prose narrative (del 1868) elabora una "teoriadella ...
Leggi Tutto
Psicanalisi
PPaul Ricoeur
Silvano Arieti
di Paul Ricoeur, Silvano Arieti
PSICANALISI
La teoria psicanalitica di Paul Ricoeur
Sommario: 1. Introduzione. 2. La psicanalisi come metodo d'indagine: a) [...] . La scuola freudiana classica: a) concetti generali; b) pulsioni istintuali e teoriadella libido; c) l'Es e il processo primario; d) i sogni; e rappresentato non tanto dalla sua dimostrazionedell'esistenza dell'inconscio e forse nemmeno dall' ...
Leggi Tutto
Storia
GGiovanni Pugliese Carratelli
Giuseppe Galasso
di Giovanni Pugliese Carratelli, Giuseppe Galasso
STORIA
Storia di Giovanni Pugliese Carratelli
sommario: 1. Res gestae e historia rerum gestarum. [...] certo punto. La pratica di fonti siffatte lo dimostra senza possibilità di dubbio, date le differenze riscontrabili non è affatto di pura e semplice teoriadelle fonti. I principi esegetici delle fonti elaborati dalla tradizione storiografica europea ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le arti meccaniche
Robert Halleux
Emmanuel Poulle
Christian Meyer
Baudouin van den Abeele
Le arti meccaniche
Le conoscenze tecniche [...] il pensiero musicale dell'Alto Medioevo. In compenso, all'inizio del X sec., la questione del tempo, del tutto assente nella teoria musicale, destò l'attenzione dei notatori. Le recenti ricerche paleografiche hanno dimostrato che certe configurazioni ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Relazioni culturali fra Est e Ovest
Juan Vernet Ginés
Julio Samsó
Charles S.F. Burnett
Pietro B. Rossi
Tzvi Langermann
Relazioni [...] versione latina del Picatrix modificò la fonte araba per aggiornarla rispetto alla teoriadella trepidazione, e ancora l'interesse per le materie astrologiche dimostrato da re Alfonso indusse i suoi collaboratori ad aggiungere capitoli originali alla ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
pull factor (pull-factor) loc. s.le m. Secondo alcune interpretazioni politiche, l’insieme dei fattori economici, politici e sociali che attrarrebbero la migrazione verso Paesi in condizioni sociali, economiche, politiche, ambientali più favorevoli...