En este módulo didáctico hemos argumentado la necesidad de un lenguaje y una semántica formal (una lógica) para poder expresar de una manera libre de ambigüedades los conceptos en informática y en las ingenierías, en general; y hemos presentado la más simple de las lógicas con aplicación a la informática: la lógica booleana. El lenguaje formal de la lógica booleana consiste en nombrar con símbolos cualquier expresión y en formalizar rigurosamente la manera como se...
↧