ZAPPA, Guido
Francesco Gherardelli
Matematico, nato a Napoli il 7 dicembre 1915. Laureatosi in matematica presso la Scuola Normale di Pisa, dal 1947 è stato professore di Geometria e di Algebra presso [...] state affrontate in tale teoria: criteri di non semplicità, gruppi policiclici, teorie di Hall e di Sylow, classi di Fitting, proprietà reticolari. Z. è anche stato fra i primi a utilizzare metodi gruppali in geometria combinatoria. Notevoli inoltre ...
Leggi Tutto
GRUPPO (XVII, p. 1012; App. II, 1, p. 1096; III, 1, p. 795)
Guido Zappa
Negli ultimi decenni, la teoria dei g. ha compiuto progressi molto considerevoli. Ci limiteremo qui ai più significativi.
Gruppi [...] N1 ⋂ N2) è in ℱ (ove N1 ⋂ N2 sta a indicare il sottogruppo normale costituito dagli elementi comuni ad N1 e N2). Si dice invece "classe di Fitting" (B. Fischer, W. Gaschütz, B. Hartley 1967) una classe ℱ di g. tale che: 1) se il g. G è in ℱ e N è un ...
Leggi Tutto
In matematica, si chiamano metodi, o procedimenti di a. o, semplicemente, a., procedure alle quali si ricorre per rappresentare enti matematici (numeri, misure, funzioni ecc.) in modo non esatto, ma sufficientemente [...] .
Nei metodi di a. si comprendono, con significato alquanto diverso, procedimenti di a. analitica (ingl. curve-fitting), mediante i quali si individua una funzione (formula empirica) il cui diagramma meglio ‘approssima’, cioè riproduce con ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] : Fischer Servi, Gisele, Quando l'eccezione è la regola. Le logiche non monotone, Milano, McGraw-Hill, 2001.
Fitting 1983: Fitting, Melvin, Proof methods for modal and intuitionistic logic, Dordrecht-Lancaster, Reidel, 1983.
Girard 2004: Girard, Jean ...
Leggi Tutto
MODELLO LINEARE
Attilio Gardini
Nella statistica il m.l. è una tecnica per l'analisi delle relazioni tra fenomeni. In generale il modello è costituito da un sistema di equazioni, lineari nei parametri, [...] d'indagine.
Bibl.: N. R. Draper, H. Smith, Applied regression analysis, New York 1966; C. Daniel, F. S. Woods, Fitting equations to data, ivi 1971; M. Faliva, Stimatori lineari efficienti nel modello di regressione lineare, in Statistica, 1972, pp ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] of the manipulation of formal proofs, Stanford 1980; W. Bibel, Automated theorem proving, Vieweg 1982; M.C. Fitting, Proof methods for modal and intuitionistic logic, Dordrecht 1983; A. Bundy, The computer modelling of mathematical reasoning, New ...
Leggi Tutto
. Introduzione. - L'a. o. è stata già introdotta nella voce topologia, (App. III, 11, p. 960) in quanto è proprio in questa materia che essa trova le sue motivazioni d'origine. Infatti, in topologia, "teorie [...] ed S. MacLane (1947) mostrarono che la teoria classica delle estensioni di gruppi (O. Schreier, R. Baer, H. Fitting) può essere formalizzata usando il secondo gruppo coomologia H2(G, A) del gruppo (moltiplicativo) G con coefficienti nello ZG-modulo ...
Leggi Tutto
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] , G. Hasenjaeger, K. Gödel, H. Hermes, A. Kino, H. Putnam, S. MacLane, H. B. Curry, A. Heyting, J. Myhill); M. C. Fitting, Intuitionistic logic, model theory and forcing, Amsterdam 1969; Logic colloquium '69 (a cura di R. O. Gandy e C. M. E. Yates ...
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 [...] and randomized non-optimality of simmetrical design, in Annals of Mathematical Statistics, 29 (1958), pp. 657-99; H. Scheffé, Fitting straight lines when one variable is controlled, in Journ. of the Amer. Statistical Assoc., 53 (1958), pp. 106-17 ...
Leggi Tutto