Uploads by sofialaks

miscelaneas lógicas II

misceláneas lógicas

Título

Matemática discreta y apareo lógico de archivos

Algoritmos de control de archivos mediante la aplicación de tablas de verdad, minterms, combinatoria y funciones booleanas

Título

Evaluación semántica de fórmulas categóricas de forma típica, según la Lógica Clásica, por medio de universos ad-hoc, matrices boooleanas 1-D representativas y algoritmos computacionales conexos.

Definición de funciones booleanas utilizando RPN (Reverse Polish Notation) y escritura parentética según el modelo descriptivo de estructuras en árbol

Evaluación semántica de fórmulas categóricas de forma típica, según la Lógica Clásica, por medio de universos ad-hoc, matrices boooleanas 1-D representativas y algoritmos computacionales conexos.

Gramática formal y derivación teorémica de fórmulas lógicas 2

Fórmulas lógicas generalizadas con semántica matricial

Gramática formal y derivación teorémica de fórmulas lógicas II

Gramática formal y derivacion teorémica de fórmulas lógicas 1

Gramática formal y derivacion teorémica de fórmulas lógicas 1

Fórmulas lógico

Derivación de fórmulas bien formadas en Lógica Proposicional

Derivación de fórmulas bien formadas en Lógica Proposiciona1