Dominio booleano
En matemáticas e álxebra abstracta, un dominio booleano é un conxunto que consta exactamente de dous elementos cuxas interpretacións inclúen falso e ' 'verdadeiro. En lóxica, matemáticas e informática, un dominio booleano adoita escribirse como {0, 1},[1] [2] [3] [4] [5] [6] [7]
A estrutura alxébrica que se constrúe naturalmente nun dominio booleano é a álxebra de Boole con dous elementos. O obxecto inicial na categoría de retícula limitada é un dominio booleano.
En informática, unha variábel booleana é unha variábel que toma valores nalgún dominio booleano. Algunhas linguaxes de programación presentan palabras ou símbolos reservados para os elementos do dominio booleano, por exemplo, false e true.
Notas
[editar | editar a fonte]- ↑ van Dalen, Dirk (2004). Logic and Structure. Springer. p. 15.
- ↑ Makinson, David (2008). Sets, Logic and Maths for Computing. Springer. p. 13. Bibcode:2008slmc.book.....M.
- ↑ Boolos, George S.; Jeffrey, Richard C. (1980). Computability and Logic. Cambridge University Press. p. 99.
- ↑ Mendelson, Elliott (1997). Introduction to Mathematical Logic (4 ed.). Chapman & Hall/CRC. p. 11.
- ↑ Hehner, Eric C. R. (2010). A Practical Theory of Programming. Springer. p. 3. Parámetro descoñecido
|orig-date=ignorado (Axuda) - ↑ Parberry, Ian (1994). Circuit Complexity and Neural Networks. MIT Press. pp. 65. ISBN 978-0-262-16148-0.
- ↑ Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Series in Advanced Microelectronics 8. Springer-Verlag Berlin Heidelberg New York. p. 73. ISBN 3-540-43152-7. ISSN 1437-0387.
Véxase tamén
[editar | editar a fonte]Bibliografía
[editar | editar a fonte]Outros artigos
[editar | editar a fonte]
