FORONI
Irene Maria Maffei
Famiglia di musicisti veronesi, attivi nel sec. XIX.
Domenico nacque a Valeggio sul Mincio (nell'odierna provincia di Verona) il 9 luglio 1796 da Antonio e da Margarita Pin; [...] … (Divertissement in occasione del matrimonio del principe ereditario Karl, 1850); Prolog i anledning av avtäckningen av Karl XIV Johans staty i Stockholm (Prologo in occasione dell'inaugurazione della statua di Carlo XIV Giovanni, 1854 ...
Leggi Tutto
ORSINI, Romano
Riccardo Saccenti
ORSINI, Romano. – Nacque a Roma, verosimilmente intorno al 1230, da Gentile e da Costanza, di cui non è noto il casato.
Era fratello minore di Matteo Rosso, creato cardinale [...] distinzione netta fra quanto cade entro la sfera della fede e quanto invece è oggetto di conoscenza razionale. Nel prologo del commento egli adotta il modello classico della discussione delle quattro cause per sottolineare come l’oggetto proprio del ...
Leggi Tutto
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] dell'a. (del lambda-calcolo e dell'a. universale), specialmente per la programmazione di tipo logico ovvero simbolico (Lisp, Prolog).
Le aree di ricerca tradizionali. −Gli oggetti tradizionali della ricerca algebrica di questo secolo sono state varie ...
Leggi Tutto
WITTE, Sergej Jul′evič
Fritz Epstein
Uomo politico russo, nato il 17 giugno 1849 a Tiflis, morto il 13 marzo 1915 a Pietrogrado. Entrato nell'amministrazione delle ferrovie di Odessa, nel 1885 fu chiamato [...] ; A. Morskoj, Voennaja mošč Rossii: predskazanija general-adjutanta A. N. Kuropatkina i ich kritika grafom S. Ju. Vitte, ivi 1915; Prolog russkojaponskoj vojny. Materials iz archiva gr. S. Ju. Vitte, a cura di B. Glinskij, ivi 1916; E. J. Dillon, The ...
Leggi Tutto
LEONE (Leone Arciprete)
Paolo Chiesa
Fu al servizio del duca di Napoli Giovanni (III) e di suo figlio Marino (II) intorno alla metà del X secolo; per essi L. si recò a Costantinopoli presso gli imperatori [...] è rilevato fra il modesto livello stilistico della traduzione di L. e le migliori competenze retoriche che traspaiono dal prologo dipenda dal consapevole intendimento da parte di un letterato di discreta formazione di far pervenire il suo prodotto a ...
Leggi Tutto
ANSELMO d'Aosta, santo
Tullio Gregory; Franziskus S. Schmitt
Nacque ad Aosta nel 1033 o 1034 da Gundolfo, un nobile lombardo, e da Eremberga, una burgunda residente ad Aosta.
Il padre (che morì poi [...] A. Suraci, Il pensiero e l'opera educativa di S. A. d. Aosta, Torino 1953; F. S. Schmitt, Dante und A. v. A., Zum Prolog. der Divina Commedia, in Medioevo e Rinascimento; Studi in onore di Bruno Nardi, Firenze (s.a.), pp. 651-666; J. Mc Intyre, St. A ...
Leggi Tutto
MOCENIGO, Alvise
Gino Benzoni
– Nacque a Venezia il 29 ag. 1662, da Alvise dei Mocenigo di S. Samuele e da Cecilia di Sebastiano Michiel, terzo di questo nome nella sua famiglia e personalizzato coll’aggiunta [...] della dolorosa perdita della Morea, una redifinizione dei confini che contempla per la Serenissima l’acquisto di Sternizza, Prolog e Imoschi con i rispettivi distretti. Sancita questa situazione di fatto – con la quale la Dalmazia veneta raggiunge ...
Leggi Tutto
INFORMATICA MEDICA
Giorgio Migliau
Il progressivo sviluppo dell'informatica negli ultimi anni ha permesso la messa a punto di tecnologie molto avanzate e di sistemi sempre più veloci e affidabili. D'altra [...] scopo sono stati introdotti nuovi linguaggi di programmazione come il LISP (List Processing) o il più recente PROLOG (Programming in Logic). Attualmente esistono linguaggi di programmazione con interprete e compilatore (Expert System Shell: GENIE e ...
Leggi Tutto
ALFANO
Anselmo Lentini
Personaggio di primo piano nella storia salernitana e cassinese del sec. XI, come pure nel quadro della vita letteraria, che segnò in quel tempo una mirabile fioritura. Nato a [...] 1928; Id., Il trattato "De pulsibus", di A. I., arcivescovo di Salerno, Roma 1936.
Fonti e Bibl.: Leonis Marsicani Chronicon Casnense, Prolog., II, 96; III, 7-8, 29, 35, in Monumenta Germ. Hist., Scriptore:, VII, Hannoverae 1846, pp. 575, 694, 701 s ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] , la ricerca automatica resta impraticabile in un buon numero di casi e per questo motivo in linguaggi come PROLOG si permettono deviazioni rispetto al teorema. Malgrado queste difficoltà, si tratta sicuramente di una linea di ricerca promettente ...
Leggi Tutto
prologo
pròlogo s. m. [dal lat. prolŏgus, gr. πρόλογος, comp. di προ- «avanti» e λόγος «discorso»] (pl. -ghi). – 1. Nelle antiche tragedie e commedie greche e latine, monologo o dialogo che introduceva l’azione, e serviva a esporre l’antefatto...