Algorisme de Davis-Putnam

Lalgorisme de Davis-Putnam va ser desenvolupat per Martin Davis i Hilary Putnam per comprovar la satisfacibilitat de les fórmules de la lògica proposicional en forma normal conjuntiva, és a dir, en conjunts de clàusules.

Usa IA

Taula de continguts

1. 5 les relacions: Clàusula (lògica), Forma normal conjuntiva, Hilary Putnam, Lògica proposicional, Problema de satisfacibilitat booleana.

Clàusula (lògica)

En lògica matemàtica, una clàusula és una disjunció de literals.

Veure Algorisme de Davis-Putnam і Clàusula (lògica)

Forma normal conjuntiva

En lògica booleana, una fórmula està en forma normal conjuntiva (FNC) si correspon a una conjunció de clàusules, on una clàusula és una disjunció de literals, on un literal i el seu complement no poden aparèixer en la mateixa clàusula.

Veure Algorisme de Davis-Putnam і Forma normal conjuntiva

Hilary Putnam

Hilary Whitehall Putnam (Chicago, 31 de juliol de 1926 – Arlington, 13 de març de 2016) va ser un dels filòsofs més prolífics i importants de la postguerra.

Veure Algorisme de Davis-Putnam і Hilary Putnam

Lògica proposicional

La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat.

Veure Algorisme de Davis-Putnam і Lògica proposicional

Problema de satisfacibilitat booleana

En teoria de complexitat computacional, el problema de satisfacibilitat booleana (també conegut per les sigles SAT) és el problema de determinar si existeix una interpretació que satisfà una fórmula booleana donada.

Veure Algorisme de Davis-Putnam і Problema de satisfacibilitat booleana

Uniopèdia és un mapa conceptual o xarxa semàntica organitzada com una enciclopèdia o diccionari. Es dóna una breu definició de cada concepte i les seves relacions.

Aquest és un mapa mental en línia gegant que serveix com a base per a diagrames de conceptes. És lliure d'utilitzar i cada article o document es pot descarregar. És una eina, de recursos o de referència per a l'estudi, la investigació, l'educació, l'aprenentatge o l'ensenyament, que pot ser utilitzat per professors, educadors, alumnes o estudiants; per al món acadèmic: per a l'escola, primària, secundària, batxillerat, secundària, universitat, grau tècnic, escola, universitat, de llicenciatura, mestratge o doctorat; per als papers, informes, projectes, idees, documents, enquestes, resums, o tesi. Aquí està la definició, l'explicació, la descripció o el significat de cada significativa sobre la qual necessita informació, i una llista dels seus conceptes associats com un glossari. Disponible en català, anglès, espanyol, portuguès, japonès, xinès, francès, alemany, italià, polonès, holandès, rus, àrab, hindi, suec, ucraïnesa, hongaresa, txec, hebreu, danès, finlandès, indonesi, noruec, romanès, turc, vietnamita, coreana, tailandesa, grega, búlgara, croata, eslovaca, lituània, filipina, letònia, estònia і eslovè. Més idiomes aviat.

La informació es basa en articles de Wikipedia i altres projectes de Wikimedia, i està disponible sota la Llicència de Creative Commons Reconeixement-CompartirIgual.

Uniopèdia no està avalada ni afiliada a la Fundació Wikimedia.

Google Play, Android i el logotip de Google Play són marques comercials de Google Inc.

Política de privacitat