Resultats de la cerca

...(FNC)''' si correspon a una [[conjunció lògica|conjunció]] de [[Clàusula (lògica)|clàusules]], on una clàusula és una [[disjunció]] de [[Literal (lógica)|li ...FNC són la [[conjunció lògica|conjunció]], la [[disjunció]] i la [[Negació lògica|negació]]. L'operador negació només pot aplicar-se a un literal, i no a una ...

...ional. La versió de dues entrades implementa [[Igualtat lògica|la igualtat lògica]], comportant-se segons la taula de veritat de la dreta i, per tant, la por [[Categoria:Lògica computacional]] ...

En [[lògica proposicional]], una fórmula lògica és una '''clàusula de Horn''' si és una clàusula (disjunció de literals) am ...a clàusula objectiu (goal) o consulta (query), especialment en programació lògica. ...

En [[matemàtiques]], [[lògica]] i [[complexitat computacional]] un [[llenguatge formal]] és un '''llenguatge lliure de context si es pot [[Categoria:Complexitat computacional]] ...

En [[matemàtiques]], [[lògica]] i [[complexitat computacional]] un [[llenguatge formal]] és un '''llenguatge recursiu''' és un [[Conjunt * [[Complexitat computacional]] ...

En [[lògica]] i [[Ciències de la computació|informàtica]], específicament en [[Raonamen ...ucció beta. Aquesta versió s'utilitza en assistents de prova i programació lògica d'ordre superior, per exemple [[Isabelle]], [[Twelf]] i [[ΛProlog|lambdaPro ...

En [[matemàtiques]], [[lògica]] i [[complexitat computacional]] un [[llenguatge formal]] és un '''llenguatge enumerable recursivament''' * [[Complexitat computacional]] ...

...[Criptografia]], [[Computació quàntica]], [[Teoria de nombres]], [[Àlgebra computacional]], [[Semàntica formal]], [[Mètodes Formals]], [[Teoria de la computabilitat | [[Lògica matemàtica|Lògica Matemàtica]] ...

...^m</math> tindria una [[Teoria de la complexitat computacional|complexitat computacional]] de [[Notació de Landau|O(<math>n^2</math>)]]. El FWHT _''h'' no ..._WHT).svg|miniatura|308x308px|Transformada Fast Walsh–Hadamard dela funció lògica 1010 0110.]] ...

rect 270 200 680 330 [[Lògica combinacional]] ...la lògica seqüencial té ''[[Memòria d'ordinador|memòria]]'' mentre que la lògica combinacional no.<ref>C.J. Savant, Jr.; Martin Roden; Gordon Carpenter. "El ...

...tzar com llenguatges sense comptadors i com a llenguatges definits per una lògica temporal lineal.<ref>{{Ref-llibre|cognom=1952-|nom=Straubing, Howard,|títol [[Categoria:Complexitat computacional]] ...

...finir com el conjunt de [[Llenguatge formal|llenguatges expressats]] per [[lògica de segon ordre]].<ref>{{Ref-web|url=https://complexityzoo.uwaterloo.ca/Comp ...

Els '''axiomes de Peano''' (o '''postulats de Peano''') són un conjunt d'[[lògica de segon ordre|axiomes de segon ordre]] que defineixen de manera exacta la ...th> per la pertinença a un conjunt, i una C en reversa per a la implicació lògica (que es va convertir en <math>\supset</math>). ...

...Hi ha una certa relació amb altres varietats de lògica, per exemple, la [[lògica modal]]. El seu estudi té una certa importància dins l'estudi de la [[infor ...stat de seqüències d'estats d'un ordre temporal que, en la pràctica és una lògica temporal. ...

En [[teoria de la computabilitat]] i en [[complexitat computacional]], un '''problema de decisió''' és una qüestió en algun [[sistema formal]] ...de decisió basant-se en com de «difícils» són, en termes de [[Requeriment computacional|requeriments computacionals]] que es necessiten per l'algorisme més eficien ...

...giques. És el [[Proof procedure|procediment de prova]] més popular per a [[Lògica modal|lògiques modals]]. {{Sfn|Girle|2014}} ...tra, un quadre també pot demostrar que una fórmula lògica és [[Tautologia (lògica)|tautòloga]]: si una fórmula és tautòloga, la seva negació és una contradic ...

...ística]]. Mentre que els filòsofs a partir d'[[Aristòtil]] han discutit la lògica modal, i els [[Filosofia medieval|filòsofs medievals]] com [[Guillem d'Occa ...dinàmica]] per crear una [[lògica de les comunicacions públiques]] i una [[lògica d'actualització de producte]], que intenten modelar les subtileses epistèmi ...

...os fitats de la [[jerarquia aritmètica]] i la [[jerarquia analítica]] de [[lògica matemàtica]].<ref>{{Ref-llibre|cognom=Sanjeev.|nom=Arora,|títol=Computation [[Categoria:Complexitat computacional]] ...

...stat de les seves entrades en un moment donat, diferenciant-se així dels [[Lògica combinacional|sistemes combinacionals]] en què les seves sortides són funci [[Categoria:Lògica computacional]] ...

...[Quantificador existencial|quantificadors existencials]] dels enunciats de lògica, i sovint aquest és un primer pas en la [[demostració automàtica de teoreme ...binefa111"/> La fórmula que en resulta no és necessàriament [[Equivalència lògica|equivalent]] a l'original, però hi és [[equisatisfactible]]: és satisfactib ...