Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] che segue così una molteplicità di percorsi di calcolo paralleli in relazione a una stessa stringa d'ingresso. La stringa è accettata seesolose almeno uno di questi percorsi termina in uno stato finale f∈F. Si noti che 2S contiene l'insieme vuoto ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] », che ha i due angoli alla base retti e i due lati opposti uguali, e dimostra che i restanti due angoli sono retti (e il lato opposto alla base eguale alla base) seesolose vale il V postulato. Ma se il V postulato (ossia la «ipotesi dell’angolo ...
Leggi Tutto
anello
anello struttura algebrica in cui due operazioni, dette generalmente addizione e moltiplicazione (ma, con abuso di linguaggio, anche somma e prodotto), godono di determinate proprietà le quali [...] intero non negativo v(a), detto valutazione di a, tale che v(a) = 0 seesolose a = 0, v(ab) = v(a)v(b), ese, dati due elementi a e b di A, con b ≠ 0, esistono in A due elementi q (quoziente) e r (resto) tali che a = bq + r, con v(r) < v(b). Un ...
Leggi Tutto
Q
Q (insieme dei numeri razionali) insieme numerico, indicato con il simbolo Q (da «quoziente») che estende l’anello Z dei numeri interi. Se a e b sono numeri interi, con b ≠ 0, non sempre è definito [...] sul prodotto cartesiano Z × Z0 la relazione di equivalenza ∼, definita come segue: (a, b) ∼ (c, d) seesolose ad = bc, dove a, c appartengono a Z e b, d appartengono a Z0. Si definisce dunque l’insieme Q come l’insieme quoziente rispetto a tale ...
Leggi Tutto
funzione inversa
funzione inversa di una funzione iniettiva ƒ: X → Y, è la funzione, indicata con ƒ−1: Y → X, tale che x = ƒ−1(y) seesolose y = ƒ(x). Una funzione per la quale è definibile l’inversa [...] non monotòne, la invertibilità si può ottenere solo mediante una opportuna restrizione del dominio della funzione. Per esempio, la funzione y = x 2 non è monotòna su tutto R, e quindi non è invertibile. Lo è invece se si restringe il dominio a [0 ...
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 [...] meridionale con il Messico segue un andamento SE-NO, alla latitudine di circa 30°; a Eè segnato per circa 1200 km dal basso rappresentata da beni intermedi (meccanica, elettrotecnica, elettronica) esolo circa il 15% da beni di consumo (meccanica, ...
Leggi Tutto
Umbria Regione dell’Italia centrale (8464 km2 con 870.165 ab. nel 2020, ripartiti in 92 Comuni; densità 103 ab./km2). Priva di sbocco al mare, confina a N con Toscana e Marche, ancora con le Marche a E, [...] caratterizzazione complessiva non è possibile se non a solo dire che i dialetti della regione rientrano nel gruppo dei dialetti italiani centro-meridionali, partecipando (in maggioranza) alle più notevoli caratteristiche di questi, la metafonia e ...
Leggi Tutto
Chimica
Capacità di un composto o un sistema chimico di conservarsi invariato, di non subire modificazioni chimiche. Sono detti stabilizzatori (o sostanze stabilizzanti o solo stabilizzanti) le sostanze [...] del sistema ad anello chiuso. In particolare, un sistema asintoticamente stabile ad anello aperto rimane tale ad anello chiuso seesolose il diagramma polare del determinante di F(jω) non circonda il punto (−1+j0) (criterio ridotto di Nyquist: fig ...
Leggi Tutto
Diritto
L’a. nel diritto processuale civile
Diritto di agire in giudizio per ottenere la tutela giurisdizionale, che l’art. 24, co. 1, Cost. garantisce a tutti, sulla base della mera affermazione che un [...] rispetto al verificarsi della violazione, che diventerà efficace solosee quando tale evento si verificherà.
L’a. costitutiva reato o entro un anno nel caso di delitti più gravi. Seè necessaria la querela, l’istanza o la richiesta di procedimento, ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] somma logica (operazione OR) di due o più variabili indipendenti xi l’operazione il cui risultato è una variabile binaria che assume il valore 0 seesolose tutte le xi hanno il valore 0; si definisce prodotto logico (operazione AND) l’operazione il ...
Leggi Tutto
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni che esprimono una condizione, quelle...
se
sé pron. rifl. [lat. sē] (radd. sint.). – 1. Forma forte della declinazione del pron. rifl. di 3a pers.; si usa soltanto quand’è riferito al soggetto (maschile o femminile, singolare o plurale) o nelle frasi enunciate con verbo all’infinito...