legame tensore
Enciclopedia della Matematica (2013)
legame tensore
legame tensore in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola di introduzione della congiunzione moltiplicativa [...] (detta times e indicata con il simbolo ⊗; → logica lineare). Il legame tensore ha due premesse etichettate dalle formule A e B e una conclusione etichettata dalla formula A ⊗ B (→ proof-net) ...
Leggi Tutto
LUNAZIONE
Enciclopedia Italiana (1934)
LUNAZIONE
Francesco Porro de Somenzi
. Il periodo di tempo durante il quale la Luna, veduta dalla Terra, attraversa tutte le sue modificazioni di aspetto, e si riconduce in congiunzione eclittica con [...] il Sole (viene cioè a passare con l'astro maggiore per un medesimo cerchio massimo perpendicolare all'eclittica dalla stessa parte) si chiama lunazione. Il significato astronomico della definizione coincide ...
Leggi Tutto
pena
Enciclopedia Dantesca (1970)
pena
Emilio Pasquini
Accantoniamo ovviamente tutti gli esempi già registrati nella voce ‛ appena ', sia per l'avverbio modale o di quantità sia per l'unico caso di congiunzione temporale (ne resta fuori [...] soltanto Fiore CCII 4 a pena mai maggiore gioia attendo), puntando invece sul sintagma ‛ con p. ', di valore analogo (" a, con fatica ", " difficilmente ", " a stento "), in Pg XIX 17 con pena / da lei ...
Leggi Tutto
forma normale disgiuntiva
Enciclopedia della Matematica (2017)
forma normale disgiuntiva
forma normale disgiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come disgiunzione generalizzata di sottoforme proposizionali, [...] ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ forma normale congiuntiva; → Horn, clausola di). ...
Leggi Tutto
quanto
Enciclopedia Dantesca (1970)
quanto
Riccardo Ambrosini
1. Di q. - avverbio, aggettivo e pronome relativo e interrogativo, ma anche dimostrativo nel sintagma ‛ tutto q. ' (v. 8.), sostantivo (v. 9.), preposizione (v. 5.) e congiunzione, [...] ; XXVIII 101, XXXII 110 e 144). Per un'analoga distribuzione di altra funzione di q., v. 4.1.
7. ‛ In q. ', congiunzione di tradizione scolastica - come rivela l'uso nelle opere latine: cfr. VE I III 3 [signum] sensuale quid est, in quantum sonus est ...
Leggi Tutto
cintura
Enciclopedia on line
Anatomia comparata
Sorta di anello scheletrico più o meno complicato (detto anche cingolo o cinto) che nello scheletro dei Vertebrati serve di sostegno allo scheletro delle appendici e di congiunzione [...] delle stesse con lo scheletro assile.
Nei Vertebrati privi di appendici pari, mancano naturalmente i relativi cinti. Nei Pesci, i pezzi scheletrici, cartilaginei o ossei della c., sia anteriore sia posteriore, ...
Leggi Tutto
Katmandu
Enciclopedia on line
(o Kathmandu) Città capitale del Nepal (1.329.732 ab. nel 2017 considerando l’intera agglomerazione urbana). Sorge a 1302 m s.l.m. sul versante meridionale dell’Himalaya, alla congiunzione di vari corsi [...] d’acqua nel fiume sacro Bagmati. Consta di tre nuclei e l’agglomerato urbano, esteso a N del Bagmati, ha le caratteristiche del centro di strada, all’incrocio di numerose vie carovaniere. K. ha acquistato ...
Leggi Tutto
EUPOLIDEO
Enciclopedia Italiana (1932)
. Verso asinarteto (Eupoli, da cui trae il nome, l'usò forse per primo) usato principalmente nella parabasi della commedia greca e nel dramma satiresco. È formato dalla congiunzione di un gliconeo terzo [...] con un dimetro trocaico catalettico (lecizio). Ma si ha una grande varietà di forme per la possibilità di allungamento delle tesi e di giambi e tribrachi nel primo piede. Il suo schema fondamentale è: ...
Leggi Tutto
cintura
Dizionario di Medicina (2010)
cintura
Sorta di anello scheletrico (detto anche cinto o cingolo) più o meno complicato che nello scheletro appendicolare o zonale dei Vertebrati serve di sostegno allo scheletro delle appendici e di [...] congiunzione alle stesse, con lo scheletro assile. ...
Leggi Tutto
come che
Enciclopedia Dantesca (1970)
come che
Mario Medici
. La locuzione, dell'uso antico o letterario, scritta anche in grafia unita (comeché, comecché), è dagli editori di D. rappresentata sempre con grafia divisa.
1. Come congiunzione [...] subordinativa concessiva, col valore di " benché ", " quantunque ", " sebbene ", " per quanto ", in If VI 72 Alte terrà lungo tempo le fronti, / tenendo l'altra sotto gravi pesi, / come che di ciò pianga ...
Leggi Tutto