Construcción de un algoritmo para contar modelos de fórmulas en 2 - FC

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorDe Ita Luna, Guillermo
dc.contributor.advisorDE ITA LUNA, GUILLERMO; 57559
dc.contributor.authorPerez Barrios, Omar
dc.creatorPEREZ BARRIOS, OMAR; 552900
dc.date.accessioned2020-11-12T00:48:50Z
dc.date.available2020-11-12T00:48:50Z
dc.date.issued2015
dc.description.abstract“Dentro del área de ciencias de la computación se han definido gran diversidad de problemas, de los cuales se ha encontrado algoritmos para resolver gran parte de éllos. Sin embargo, conocer un conjunto de pasos para llegar a la solución de un problema no siempre es suficiente, existen algunos problemas en el área de computación en los cuales el número de operaciones que se requieren para llegar a la solución del problema aumenta mucho más rápido de lo que se incrementan los datos de entrada del problema. El estudio de estas características de un algoritmo son consideradas dentro del área de teoría de la complejidad computacional, la cual tiene sus orígenes en los inicios de la década de los 60’s, cuando los primeros usuarios de computadoras electrónicas comenzaron a prestar peculiar interés al desempeño de sus programas. Encontrar técnicas satisfactorias para resolver problemas computacionales ha eludido a investigadores por años, entre los problemas más desafiantes computacionalmente, destaca el problema de satisfactibilidad de restricciones, introducido por Stephen Arthur Cook, tras el cual se han desarrollado diversas líneas de investigación enfocadas en el campo de complejidad computacional”.es_MX
dc.folio721415Tes_MX
dc.formatpdfes_MX
dc.identificator7es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/8996
dc.language.isospaes_MX
dc.matricula.creator213470951es_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationINGENIERÍA Y TECNOLOGÍAes_MX
dc.subject.lccComplejidad computacionales_MX
dc.subject.lccTeoría de grafoses_MX
dc.subject.lccAlgoritmoses_MX
dc.subject.lccProgramación de computadorases_MX
dc.thesis.careerMaestría en Ciencias de la Computaciónes_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias de la Computaciónes_MX
dc.thesis.degreetoobtainMaestro en Ciencias de la Computaciónes_MX
dc.titleConstrucción de un algoritmo para contar modelos de fórmulas en 2 - FCes_MX
dc.typeTesis de maestríaes_MX
dc.type.conacytmasterThesises_MX
dc.type.degreeMaestríaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
721415T.pdf
Size:
2.03 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Tesis de Maestría