Horn, clausola di

Enciclopedia della Matematica (2017)

Horn, clausola di Horn, clausola di in logica, → clausola avente una particolare struttura. In una clausola si distinguono letterali negativi, se sono espressi in forma negativa, cioè preceduti dal connettivo [...] soddisfacibilità di un insieme di clausole di Horn (→ Horn-soddisfacibilità) in modo più efficiente, in termini di passi di calcolo e, quindi, di tempo, del ricorso alle tavole di verità. Per questo le clausole di Horn, introdotte dal logico di cui ... Leggi Tutto

TAGS: LINGUAGGI DI PROGRAMMAZIONE – INTELLIGENZA ARTIFICIALE – PROGRAMMAZIONE LOGICA – LOGICA MATEMATICA – TAVOLE DI VERITÀ

Horn-soddisfacibilita

Enciclopedia della Matematica (2017)

Horn-soddisfacibilita Horn-soddisfacibilità particolare connotazione della soddisfacibilità di una formula. In generale una formula si dice soddisfacibile se esiste una interpretazione delle variabili [...] che può essere in forma positiva (→ Horn, clausola di). Il problema della Horn-soddisfacibilità (ovvero della soddisfacibilità delle formule di Horn) consiste nel determinare se, dato un insieme di clausole di Horn, è possibile assegnare alle lettere ... Leggi Tutto

TAGS: TAVOLE DI VERITÀ – CLAUSOLA DI HORN – TAUTOLOGIA – ALGORITMO

clausola

Enciclopedia della Matematica (2013)

clausola clausola in logica, formula ben formata consistente nella disgiunzione di zero o più lettere enunciative, dette letterali; è quindi, una disgiunzione generalizzata di letterali. Nel caso in [...] , cioè preceduti dal connettivo della negazione ￢, e positivi, se sono espressi altrimenti, e si definisce clausola di → Horn o formula di Horn, una clausola in cui al più un letterale è positivo (contiene, quindi, al più un letterale non negato ... Leggi Tutto

TAGS: FORMA NORMALE DISGIUNTIVA – CLAUSOLA DI → HORN – EQUIVALENZA LOGICA – LOGICA

Horn, formula di

Enciclopedia della Matematica (2017)

Horn, formula di Horn, formula di → Horn, clausola di. ... Leggi Tutto

GERMANIA

Enciclopedia Italiana (1932)

(A. T., 53-54-55; 56-57). Geografia: Nome (p. 667); La moderna conoscenza geografica (p. 667); Situazione e confini (p. 668); Composizione litologica del suolo (p. 668); Struttura e forme del terreno [...] di Heilbronn, mentre le truppe svedesi, sotto il comando di Horn, di G. K. Bernardo di Weimar, di J. K. Banér, proseguivano le loro scorrerie. Decisivo fu di , e uno italo-austriaco con le clausole concernenti la questione balcanica (20 febbraio ... Leggi Tutto

CATEGORIA: DIRITTO CIVILE

URSS

Enciclopedia Italiana - IV Appendice (1981)

URSS (XXXIV, p. 816; App. I, p. 1098; II, 11, p. 1065; III, 11, p. 1043) Domenico Ruocco Rita Di Leo Domenico Caccamo Cesare G. De Michelis Sergio Rinaldi Tufi Xenia Muratova La trasformazione di [...] clausola di nazione più favorita all'espatrio di un contingente annuo di Ebrei. Così la conferenza di Helsinki , 1978, pp. 369-76); J. Mayall, The battle for the Horn: Somali irredentism and international diplomacy, in The World today, XXXIV (1978), ... Leggi Tutto

TAGS: PARTITO COMUNISTA DELL'UNIONE SOVIETICA – SEGRETARIO GENERALE DELLE NAZIONI UNITE – INVASIONE SOVIETICA DELL'AFGHĀNISTĀN – STORIA DELL'UNIONE SOVIETICA – SECONDA GUERRA MONDIALE

AFRICA

Enciclopedia Italiana - V Appendice (1991)

(I, p. 730; App. I, p. 57; II, I, p. 67; III, I, p. 39; IV, I, p. 50) Evoluzione del quadro politico. - La decolonizzazione dell'A. si è praticamente conclusa nel 1975-76 con l'indipendenza raggiunta dalle [...] è rivelato una clausola di salvaguardia sufficiente. D'altra parte, l'unanime condanna della politica di apartheid non ha con il nascere, a partire dal 1957, di periodici culturali e letterari come The Horn e Black Orpheus in Nigeria, Transitions in ... Leggi Tutto

TAGS: COMUNITÀ ECONOMICA DEGLI STATI DELL'AFRICA OCCIDENTALE – CONSIGLIO DI SICUREZZA DELL'ONU – COMUNITÀ DELL'AFRICA ORIENTALE – PRIMO CONFLITTO MONDIALE – ARCIPELAGO INDONESIANO

Vicino Oriente antico. Il comportamento

Storia della Scienza (2001)

Vicino Oriente antico. Il comportamento Wilfred G. Lambert Maurice Gilbert Raymond Westbrook Mario Liverani Lester L. Grabbe Il comportamento La 'sapienza' mesopotamica di Wilfred G. Lambert Nella [...] presenta una caratteristica peculiare che è l'uso frequente di 'clausole di motivazione'. Deuteronomio, 16, 19, per esempio, . Westbrook 1988a: Westbrook, Raymond, Old Babylonian marriage law, Horn, F. Berger, 1988. ‒ 1988b: Westbrook, Raymond, ... Leggi Tutto

CATEGORIA: STORIA DELLE RELIGIONI – FONTI

Logica matematica

Enciclopedia della Scienza e della Tecnica (2007)

Logica matematica Silvio Bozzi Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. [...] atomiche o loro negazioni in cui al massimo una è una lettera proposizionale. Tanto l'algoritmo per le clausole di Horn che quello di risoluzione che si applica a formule qualsiasi, ma che non ha complessità polinomiale, si basano sul fatto che ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – FORMA NORMALE DISGIUNTIVA – TEORIA DELLE CATEGORIE – TEOREMA DI COMPLETEZZA – TEOREMA DI COMPATTEZZA

LOGICA E INFORMATICA

Enciclopedia Italiana - V Appendice (1993)

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 [...] AnÁB1,...,Bm che significa: (B1 e...e Bm) implica (A1 oppure ... oppure An). Nel caso delle clausole di Horn di solito si preferisce questa notazione. In particolare: a) le clausole definite vengono scritte AÁB1,...,Bm se m≥1, oppure AÁ se m=0; b) le ... Leggi Tutto