Mostrar el registro sencillo del objeto digital

dc.contributor Marcial-Romero, J. Raymundo
dc.contributor.author López Medina, Marco Antonio
dc.date.accessioned 2017-03-08T19:04:38Z
dc.date.available 2017-03-08T19:04:38Z
dc.date.issued 2016-07-11
dc.identifier.uri http://hdl.handle.net/20.500.11799/65529
dc.description.abstract En esta tesis, se propone una estrategia para el conteo de modelos convirtiendo la fórmula de entrada en un grafo. En [12] se mostró como contar modelos en tiempo polinomial en grafos cuya forma es un camino o un árbol, por lo que se tomará el procedimiento como referencia para mostrar como contar en otro tipo de grafos. Así mismo, se estudiaran fórmulas booleanas para las cuales las implementaciones existentes son computacionalmente mas costosos (en tiempo o espacio) que la que se propondrá. es
dc.language.iso spa es
dc.rights openAccess es
dc.rights No aplica es
dc.rights openAccess es
dc.rights No aplica es
dc.subject Research Subject Categories::MATHEMATICS es
dc.subject Algoritmo es
dc.subject Fórmulas es
dc.title Implementación de un algoritmo para el conteo de modelos de fórmulas boleadas en 2-FNC es
dc.type Tesis de Licenciatura es
dc.provenance Científica es
dc.road Dorada es
dc.organismo Ingeniería es
dc.ambito Nacional es
dc.cve.CenCos 20501 es
dc.cve.progEstudios 38 es
dc.modalidad Tesis es


Ficheros en el objeto digital

Este ítem aparece en la(s) siguiente(s) colección(ones)

Visualización del Documento

  • Título
  • Implementación de un algoritmo para el conteo de modelos de fórmulas boleadas en 2-FNC
  • Autor
  • López Medina, Marco Antonio
  • Colaborador
  • Marcial-Romero, J. Raymundo
  • Fecha de publicación
  • 2016-07-11
  • Tipo de documento
  • Tesis de Licenciatura
  • Palabras clave
  • Research Subject Categories::MATHEMATICS
  • Algoritmo
  • Fórmulas
  • Los documentos depositados en el Repositorio Institucional de la Universidad Autónoma del Estado de México se encuentran a disposición en Acceso Abierto bajo la licencia Creative Commons: Atribución-NoComercial-SinDerivar 4.0 Internacional (CC BY-NC-ND 4.0)

Mostrar el registro sencillo del objeto digital

Buscar en RI


Buscar en RI

Usuario

Estadísticas