Programación lógica y su semántica en espacios métricos generalizados

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorMartínez Ruíz, Iván
dc.contributorRamírez Parámo, Alejandro
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.advisorRAMIREZ PARAMO, ALEJANDRO; 35809
dc.contributor.authorSalgado Matías, Erik
dc.creatorSALGADO MATIAS, ERICK; 813978
dc.date.accessioned2020-08-20T19:42:47Z
dc.date.available2020-08-20T19:42:47Z
dc.date.issued2018-12-06
dc.description.abstract“La programación lógica inicio a principios de los años 70 como consecuencia directa de trabajos anteriores sobre demostradores automáticos de teoremas e inteligencia artificial (IA). La construcción de sistemas deductivos automáticos es, por supuesto, un pilar central dentro de los trabajos que tienen como objetivo el desarrollo de la inteligencia artificial. Basándose en el trabajo de Herbrand [66] en 1930, hubo mucha actividad en los demostradores automáticos a principios de los 60’s por Prawitz [49], Gilmore [27], Davis, Putnam [15] y otros. Este esfuerzo culmino en 1965 con la publicación del artículo emblemático hecho por Robinson [53], en el cual introduce el principio de resolución. El principio de resolución es una regla de inferencia, la cual es en particular bien comportada para la automatización sobre una computadora. El crédito por la introducci´on de la programación lógica se le atribuye principalmente a Kowalski [41] y Colmerauer [14], aunque Green [28] y Heyes [31] también deberían compartir dicho m´erito. En 1972, Kowalski y Colmerauer fueron los que establecieron la idea (fundamental) de que la l´ogica puede ser usada como un lenguaje de programación.”es_MX
dc.folio757618Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/7271
dc.language.isospaes_MX
dc.matricula.creator217470113es_MX
dc.publisherBenemérita Universidad Autónoma de Pueblaes_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.lccProgramación lógica--Investigaciónes_MX
dc.subject.lccLenguajes de programación (Computadoras)--Semánticaes_MX
dc.subject.lccLógica de primer ordenes_MX
dc.subject.lccLenguajes de programación lógicaes_MX
dc.subject.lccProlog (Lenguaje de programación para computadora)es_MX
dc.subject.lccTopologíaes_MX
dc.subject.lccTeoría del punto fijoes_MX
dc.thesis.careerMaestría en Ciencias (Matemáticas)es_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.titleProgramación lógica y su semántica en espacios métricos generalizadoses_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:
757618T.pdf
Size:
1.53 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