Desarrollo de un prototipo de software para probar condiciones que deben cumplir funciones lógicas cuaternarias regulares

El documento desarrollado consiste en una propuesta de un sistema de software que permita probar condiciones necesarias y suficientes que deben cumplir tablas de verdad representadas por funciones lógicas en el álgebra de De Morgan, a partir de una metodología de desarrollo de software, y la evaluac...

Full description

Autores:
Mora Sabogal, Cristian Camilo
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2020
Institución:
Universidad Distrital Francisco José de Caldas
Repositorio:
RIUD: repositorio U. Distrital
Idioma:
spa
OAI Identifier:
oai:repository.udistrital.edu.co:11349/28122
Acceso en línea:
http://hdl.handle.net/11349/28122
Palabra clave:
Lógica difusa
Ingeniería de Sistemas - Tesis y disertaciones académicas
Desarrollo de prototipos
Ingeniería de software
Álgebra
Fuzzy logic
Rights
License
Atribución-NoComercial-SinDerivadas 4.0 Internacional
Description
Summary:El documento desarrollado consiste en una propuesta de un sistema de software que permita probar condiciones necesarias y suficientes que deben cumplir tablas de verdad representadas por funciones lógicas en el álgebra de De Morgan, a partir de una metodología de desarrollo de software, y la evaluación del sistema con condiciones encontradas en la literatura, y condiciones propuestas.