Resultats de la cerca
Es mostren 19 resultats
funció de Boole
Matemàtiques
Donada una àlgebra de Boole A, funció de n variables que és aplicació de An en A.
El conjunt de funcions de Boole de n variables hereta, per mitjà de les operacions de A , l’estructura d’àlgebra de Boole El conjunt P E de les parts d’un conjunt no buit E és una àlgebra de Boole, i una funció de Boole de n parts és tota aplicació de P E n en P E definida mitjançant un nombre finit de reunions, d’interseccions o bé de complementacions assignació de complementaris en E
àlgebra de Boole
Matemàtiques
Conjunt A en què s’han definit una operació unitària ¬ i dues operacions binàries ∨ i ∧, i amb dos elements distingits 0 i 1, de manera que per tot x, y, z de A se satisfan les següents propietats:
Els subconjunts d’un conjunt donat U formen una àlgebra de Boole amb les operacions de complementació, reunió i intersecció Els elements distingits són el conjunt buit i U En una àlgebra de Boole es pot definir un ordre parcial de la següent manera x ≤ y si, i solament si, x ∧ y = x o, equivalentment, x ∨ y = y Hom ha aplicat l’àlgebra de Boole en teoria de probabilitats, i en el disseny dels circuits elèctrics en què es basen les unitats lògiques dels ordinadors En aquest cas els connectors lògics ∧, ∨ i ¬ són reemplaçats per operacions físiques 1…
variable de Boole
Matemàtiques
Funcions característiques de les parts Ai d’un conjunt E que són les variables o els arguments d’una funció de Boole.
Com que aquestes funcions no poden prendre més que un dels dos valors 0 o 1, són també conegudes com a variables binàries
anell de Boole
Matemàtiques
Anell unitari en què tot element és idempotent i tal que per a tot element x de l’anell se satisfà x2 = x.
lleis de De Morgan
Lògica
Matemàtiques
En lògica d’enunciats, lleis donades per les equivalències següents: no(P i Q) = (no P) o (no Q), i no(P o Q) = (no P) i (no Q).
En teoria de conjunts, lleis donades per les igualtats i on les barreres indiquen els conjunts complementaris Les lleis de De Morgan se satisfan en tota Boole, àlgebra de
lògica algèbrica
Matemàtiques
Estudi algèbric de la lògica com a llenguatge (metallenguatge).
La lògica algèbrica tracta, doncs, les estructures que presenten les diferents lògiques i d’aquesta manera arriba a trobar estructures algèbriques —poc usuals en l’àmbit de l’àlgebra clàssica— com són, entre d’altres, les àlgebres de Hilbert, de Heyting, d’Abbott, de Boole, de Wajsberg, monàdiques, poliàdiques i cilíndriques
càlcul lògic
Lògica
Sistema de signes no interpretats, en el qual els enunciats són tractats algorísmicament ( algorisme
) i les formacions i les operacions s’efectuen d’acord amb unes regles explícites.
El càlcul és objecte de la sintaxi lògica , i opera amb esquemes formals, independentment de tota significació o contingut, per tal d’evitar les ambigüitats i les impropietats del llenguatge ordinari Consta d’un conjunt de símbols elementals, d’unes regles de formació i combinació de símbols i d’unes regles de transformació Per a ésser vàlid, el càlcul ha d’ésser consistent, complet i decidible Esbossat ja en Ramon Llull i més tard en Leibniz, aconseguí el primer desenvolupament important amb l’àlgebra de la lògica del s XIX George Boole, Ernst Schröder, i ha estat perfeccionat…
booleà | booleana
Matemàtiques
Relatiu o pertanyent als conceptes introduïts per George Boole.