minimalizzazione, operatore di
minimalizzazione, operatore di o schema della minimalizzazione, una delle regole attraverso le quali si costruiscono le funzioni ricorsive. L’operatore di minimalizzazione, [...] calcolabili sono infatti primitive ricorsive e per costruirle a partire dalle funzioni base (funzione zero, funzionesuccessore e funzioni di proiezione) sono sufficienti i procedimenti di composizione e ricorsione. Tuttavia, come dimostrato da ...
Leggi Tutto
Stato dell’Europa occidentale, confinante a NE con la Francia e Andorra e a O con il Portogallo. La S., bagnata a NO e a SO dall’Atlantico, a S e a E dal Mediterraneo, comprende la maggior parte (85%) [...] e i 200.000 ab., in gran parte città con funzioni amministrative. Al di sotto di questa dimensione demografica, le restando il cattolicesimo religione di Stato; designò infine quale suo successore e futuro re di S. il principe Juan Carlos di ...
Leggi Tutto
Stato dell’Europa centro-occidentale; abbraccia quasi interamente la regione geografica francese, compresa fra i Pirenei a S, la parte più accidentata ed elevata della catena alpina a SE, la valle del [...] ristabilì la pace nelle proprie campagne; in seguito, in funzione antinobiliare, cercò un più diretto collegamento con i nuovi pretese sui possessi inglesi nel continente (1259). Con i suoi successori Filippo III l’Ardito (1270-85) e Filippo IV il ...
Leggi Tutto
Stato insulare dell’Estremo Oriente. Il nome in lingua locale (Nippon-koku nella forma classica; Nihon-koku nella parlata comune) deriva dalla lettura giapponese del nome cinese del G., Jih Pen Kuo («il [...] . Meno di un anno durò l’esecutivo del suo successore Y. Fukuda, dimissionario nel 2008 a causa dell’aggravarsi l’imperatore rimane con la sua corte a Kyoto, svolgendo una funzione puramente nominale. Se in pittura prosegue l’arte di corte, ...
Leggi Tutto
Stato dell’Europa meridionale, corrispondente a una delle regioni naturali europee meglio individuate, data la nettezza dei confini marittimi e di quello terrestre: la catena alpina, con la quale si collega [...] con la donazione del castello di Sutri.
749-756: il successore Astolfo riprende l’offensiva contro i Bizantini, che perdono l politica, la sua ispirazione epica, a tratti così robusta, la sua funzione di educatore che ne fa l’ultimo, e il più grande, ...
Leggi Tutto
Stati Uniti d’America Stato federale dell’America Settentrionale, il cui territorio è suddiviso tra 50 Stati membri e il Distretto di Colombia, nel quale sorge la capitale Washington. La continuità territoriale [...] di T. Olsen, G. Paley, e soprattutto di R. Carver e dei suoi successori R. Banks, R. Ford, J. McInerney, D. Leavitt e B. Easton Ellis a ingigantirne stilemi e tipologie a seconda delle varie funzioni: Campidoglio degli Stati Uniti e Casa Bianca di ...
Leggi Tutto
Stato dell’Europa centrale, confina a N con la Danimarca, a E con la Polonia e la Repubblica Ceca, a SE e a S con l’Austria, a SO e a O con la Francia, la Svizzera il Belgio e il Lussemburgo, a NO con [...] soprattutto intorno alla questione della natura elettiva della funzione sovrana. A Enrico V infatti non fu chiamato a succedere sul trono dai principi tedeschi il duca di Svevia Federico, suo successore naturale, bensì Lotario di Supplimburgo, con il ...
Leggi Tutto
Stato dell’Africa nord-orientale, che si estende anche in territorio tradizionalmente considerato asiatico, a E dell’istmo di Suez (penisola del Sinai). Il nome deriva da quello dell’antica città di Menfi, [...] del paese, di cui divenne l’effettivo padrone. Tra i suoi successori spicca suo nipote Ismā‛īl (1863-79), il primo a portare l’architettura funeraria notevole è l’esempio della necropoli di Gabbari (in funzione dal 3° sec. a.C. al 7° d.C.), in cui ...
Leggi Tutto
Russia Il più vasto Stato del mondo, esteso dall’Europa orientale all’Estremo Oriente.
Il nome R. designa lo Stato consolidatosi a partire dal 16° sec. attorno al Principato di Moscovia ed esteso al momento [...] . L’unità del regno di Kiev cominciò a perdersi con i successori di Vladimiro I, sia per la consuetudine di dividere i domini della grande città, il destino storico della R., la funzione degli intellettuali, alimentano i versi e la saggistica di Blok ...
Leggi Tutto
Dottore della Chiesa, filosofo e teologo, vescovo d'Ippona e santo (Tagaste in Numidia, od. Sūq-Ahras in Algeria, 13 nov. 354 - Ippona, od. Bona, 28 ag. 430); fu uno dei quattro grandi Dottori della Chiesa [...] ove, tra la fine del 395 e il 396, fu consacrato come successore dal vescovo Valerio già prossimo a morte; lo stesso fece poi (426) Agostino parla di tale opera educativa, ponendo in rilievo la funzione fondamentale che ha in essa l'amore con cui il ...
Leggi Tutto
successore
successóre s. m. [dal lat. successor -oris, der. di succedĕre «venire dopo, sottentrare» (supino successum)]. – 1. (f. succeditrice, ma la forma è per lo più evitata) Chi succede, cioè subentra a un altro in una carica, in un ufficio,...
zero
żèro agg. e s. m. [dal lat. mediev. zèphyrum, adattam. (Leonardo Fibonacci nel Liber abbaci, 1202) dell’arabo ṣifr «nulla, zero», calco del sanscr. śūnyá «vuoto» e poi «zero» (v. anche cifra)]. – 1. a. Primo numero della successione naturale...