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. [...]
Dinamica simbolica
Gli automi finiti hanno numerose relazioni con la 'dinamica simbolica', una teoria sviluppata originariamente da Harold M. Morse e Gustav A. Hedlund. Si tratta di una teoria che studia sistemi dinamici simbolici dati da insiemi di ...
Leggi Tutto
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 [...] l'albero.
Dinamica simbolica
Gli automi finiti hanno numerose relazioni con la dinamica simbolica sviluppata originariamente da Harold M. Morse e Gustav A. Hedlund, una teoria che studia sistemi dinamici simbolici costituiti da insiemi di parole ...
Leggi Tutto
Nuzialità
Lado Ruzicka
Introduzione
Il matrimonio e lo scioglimento delle unioni matrimoniali per divorzio o vedovanza sono stati da sempre oggetto di studio dei demografi in quanto la frequenza e la [...] Famiglia; Matrimonio; Natalità; Parentela).
Bibliografia
Anderson, M., Morse, D.J., High fertility, high emigration, di matrimonio in prospettiva, in Famiglia e mutamento sociale, a cura di M. Barbagli, Bologna 1977, pp. 267-317).
Haskey, J., Trends ...
Leggi Tutto
SICUREZZA INDUSTRIALE
Flavio Vignudelli
. La s. i. è determinata dall'assenza di pericoli che possano minacciare l'integrità fisica, psichica e psicologica dell'uomo impegnato nelle attività necessarie [...] dei materiali metallici, Milano 1950; J.F. McCloskey, J.M. Coppinger, Operations research for management, Baltimora 1956; P.M. Morse, Files d'attente, stocks et entretien, Parigi 1960; M. Azzalini, Le fonti del diritto prevenzionale, Roma 1962; G ...
Leggi Tutto
SPAZIO, ESPLORAZIONE DELLO
Paolo Santini
Rolando Quadri e Benedetto Conforti
di Paolo Santini e Rolando Quadri, Benedetto Conforti
La conquista dello spazio di Paolo Santini
sommario: 1. Introduzione. [...] ., Eislingen 1952.
Dunning, R. S., The orbital mechanics of flight mechanics, NASA Report SP 325, Washington 1973.
Ertel, I., Morse, M. L., The Apollo speacecraft, voll. I e II, NASA, Washington 1969.
‟ESA technical review", ESA, Paris.
Escobal, P. R ...
Leggi Tutto
Microaggregati
Gianfranco Pacchioni
SOMMARIO: 1. Introduzione. 2. Microaggregati stabilizzati da ligandi: a) clusters di elementi in alto stato di ossidazione; b) clusters di elementi in basso stato [...] bare clusters, in ‟Chemical reviews", 1990, XC, pp. 383-402.
Mingos, D. M. P., Wales, D. J., Introduction to cluster chemistry, Englewood Cliffs, N. J., 1990.
Morse, M. D., Clusters of transition-metal atoms, in ‟Chemical reviews", 1986, LXXXVI, pp ...
Leggi Tutto
Inventore e pittore (Charlestown, Mass., 1791 - Poughkeepsie, New York, 1872). Laureatosi alla Yale University nel 1810, andò l'anno seguente in Inghilterra ove studiò pittura; tornato in America lavorò [...] , che realizzò nel 1835, esponendolo alla Columbia University. Nel marzo 1843 il governo lo aiutò con sovvenzioni cosicché M., l'anno dopo, poté trasmettere il primo messaggio telegrafico da Washington a Baltimora. Introdusse la dagherrotipia in ...
Leggi Tutto
Matematico (Waterville, Maine, 1892 - Princeton 1977), prof. (dal 1930) alla Harvard University e (dal 1935) all'Institute for advanced studies a Princeton; socio straniero dei Lincei (1962). Allievo di [...] G. D. Burkhoff, M. è uno dei maggiori matematici statunitensi contemporanei. La sua multiforme produzione va studio del celebre problema dei tre corpi. Altra idea feconda di M. fu quella di indagare i caratteri tipologici di una varietà esaminando ...
Leggi Tutto
Morse-Kelley, teoria di
Morse-Kelley, teoria di indicata anche come teoria MK, fu introdotta attorno agli anni Cinquanta del Novecento dai matematici statunitensi J.L. Kelley e A.P. Morse come variante [...] e non necessariamente una formula predicativa. L’assioma risulta, quindi: se A(x) è una formula ben formata di MK, Ǝy∀x(x ∈ y ⇔ M(x) ∧ A(x)), dove M(x) significa «x è un insieme», cioè esiste y tale che x ∈ y e x è un termine in cui non occorre y ...
Leggi Tutto
Morse Harold Calvin Marston
Morse 〈mòos〉 Harold Calvin Marston [STF] (Waterville, Maine, 1892 - Princeton 1977) Prof. di matematica nell'univ. Harvard (1930) e poi membro dell'Institute for advanced [...] : IV 631 d. ◆ [MCC] Famiglia di M.: v. meccanica analitica: III 660 e. ◆ [ALG] Funzioni di M.: v. punti critici, teoria dei: IV 631 e. ◆ [ALG] Lemma di M.: v. punti critici, teoria dei: IV 631 b. ◆ [ALG] Teoria di M.: v. punti critici, teoria dei: IV ...
Leggi Tutto
morse
mòrse s. m. – Sostantivazione del nome del pittore statunitense Samuel F. B. Morse (1791-1872) usata per indicare il codice telegrafico da lui inventato, detto anche alfabeto Morse, adottato internazionalmente sia per la radiotelegrafia...
morso2
mòrso2 s. m. [lat. mŏrsus -us, der. di mordēre «mordere», part. pass. morsus]. – 1. a. L’atto del mordere (di uomini o di animali), dell’affondare cioè i denti in una materia, per staccarne un pezzo o anche solo per produrvi un’incisione....