Modelo categórico de la logica bivalente

Descripción del Articulo

Objetivos: El objetivo de la tesis es Construir un modelo categórico para interpretar a la lógica bivalente. Materiales y métodos: Se utilizó la búsqueda de bibliografía relacionada con las categorías y la lógica bivalente. Por el tipo de la investigación, el presente estudio reúne las condiciones m...

Descripción completa

Detalles Bibliográficos
Autor: Moreno Julca, Yoliño Miler
Formato: tesis de grado
Fecha de Publicación:2022
Institución:Universidad Nacional José Faustino Sánchez Carrión
Repositorio:UNJFSC-Institucional
Lenguaje:español
OAI Identifier:oai:repositorio.unjfsc.edu.pe:20.500.14067/7046
Enlace del recurso:http://hdl.handle.net/20.500.14067/7046
Nivel de acceso:acceso abierto
Materia:Lógica proposicional
Funtores
Lógica algebraica
Teoría de Categorías
https://purl.org/pe-repo/ocde/ford#1.01.02
id UNJF_c5eeea91de05f6ee21d42baf7d2bb019
oai_identifier_str oai:repositorio.unjfsc.edu.pe:20.500.14067/7046
network_acronym_str UNJF
network_name_str UNJFSC-Institucional
repository_id_str 4321
dc.title.es_PE.fl_str_mv Modelo categórico de la logica bivalente
title Modelo categórico de la logica bivalente
spellingShingle Modelo categórico de la logica bivalente
Moreno Julca, Yoliño Miler
Lógica proposicional
Funtores
Lógica algebraica
Teoría de Categorías
https://purl.org/pe-repo/ocde/ford#1.01.02
title_short Modelo categórico de la logica bivalente
title_full Modelo categórico de la logica bivalente
title_fullStr Modelo categórico de la logica bivalente
title_full_unstemmed Modelo categórico de la logica bivalente
title_sort Modelo categórico de la logica bivalente
author Moreno Julca, Yoliño Miler
author_facet Moreno Julca, Yoliño Miler
author_role author
dc.contributor.advisor.fl_str_mv Broncano Torres, Juan Carlos
dc.contributor.author.fl_str_mv Moreno Julca, Yoliño Miler
dc.subject.es_PE.fl_str_mv Lógica proposicional
Funtores
Lógica algebraica
Teoría de Categorías
topic Lógica proposicional
Funtores
Lógica algebraica
Teoría de Categorías
https://purl.org/pe-repo/ocde/ford#1.01.02
dc.subject.ocde.es_PE.fl_str_mv https://purl.org/pe-repo/ocde/ford#1.01.02
description Objetivos: El objetivo de la tesis es Construir un modelo categórico para interpretar a la lógica bivalente. Materiales y métodos: Se utilizó la búsqueda de bibliografía relacionada con las categorías y la lógica bivalente. Por el tipo de la investigación, el presente estudio reúne las condiciones metodológicas de una investigación teórica y aplicativa. Los instrumentos son la bibliografía y algunos antecedentes relacionados con la teoría de categorías y la lógica bivalente. Después de obtener la bibliografía se procede a formular un funtor que permita analizar la lógica bivalente usando categorías. Conclusiones. Después de realizar y analizar el proyecto de investigación se concluyó que la teoría de categorías con la ayuda de los funtores se logra interpretar la lógica bivalente. Recomendaciones. Se recomienda realizar nuevos trabajos en el futuro con la finalidad de que se formalice algebraicamente el proyecto de investigación haciendo uso de construcciones categóricas, los morfismos y lis funtores. Además, extender los principios de inferencia de la lógica bivalente con ayuda de las demás construcciones categóricas.
publishDate 2022
dc.date.accessioned.none.fl_str_mv 2023-01-12T14:20:25Z
dc.date.available.none.fl_str_mv 2023-01-12T14:20:25Z
dc.date.issued.fl_str_mv 2022-09-16
dc.type.es_PE.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.version.es_PE.fl_str_mv info:eu-repo/semantics/acceptedVersion
format bachelorThesis
status_str acceptedVersion
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.14067/7046
url http://hdl.handle.net/20.500.14067/7046
dc.language.iso.es_PE.fl_str_mv spa
language spa
dc.relation.ispartof.fl_str_mv SUNEDU
dc.rights.es_PE.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.uri.es_PE.fl_str_mv https://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.format.es_PE.fl_str_mv application/pdf
dc.publisher.es_PE.fl_str_mv José Faustino Sánchez Carrión
dc.publisher.country.es_PE.fl_str_mv PE
dc.source.none.fl_str_mv reponame:UNJFSC-Institucional
instname:Universidad Nacional José Faustino Sánchez Carrión
instacron:UNJFSC
instname_str Universidad Nacional José Faustino Sánchez Carrión
instacron_str UNJFSC
institution UNJFSC
reponame_str UNJFSC-Institucional
collection UNJFSC-Institucional
bitstream.url.fl_str_mv https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/1/TESIS%20MORENO%20JULCA%20YOLI%c3%91O%20MILER%29.pdf
https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/2/REPORTE%20TURNITIN%20MORENO%20JULCA%20YOLI%c3%91O%20MILER.pdf
https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/3/anexo%201%20-MORENO%20JULCA%20YOLI%c3%91O%20MILER-7.pdf
https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/4/license.txt
bitstream.checksum.fl_str_mv c0a57b634233df9d4df2d95ba64d23af
f0df90823eea1755b118d1b8705f3304
429ad87a3f3cc4229d0962711246961e
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional - UNJFSC
repository.mail.fl_str_mv repositorio@unjfsc.edu.pe
_version_ 1842261506860777472
spelling Broncano Torres, Juan CarlosMoreno Julca, Yoliño Miler2023-01-12T14:20:25Z2023-01-12T14:20:25Z2022-09-16http://hdl.handle.net/20.500.14067/7046Objetivos: El objetivo de la tesis es Construir un modelo categórico para interpretar a la lógica bivalente. Materiales y métodos: Se utilizó la búsqueda de bibliografía relacionada con las categorías y la lógica bivalente. Por el tipo de la investigación, el presente estudio reúne las condiciones metodológicas de una investigación teórica y aplicativa. Los instrumentos son la bibliografía y algunos antecedentes relacionados con la teoría de categorías y la lógica bivalente. Después de obtener la bibliografía se procede a formular un funtor que permita analizar la lógica bivalente usando categorías. Conclusiones. Después de realizar y analizar el proyecto de investigación se concluyó que la teoría de categorías con la ayuda de los funtores se logra interpretar la lógica bivalente. Recomendaciones. Se recomienda realizar nuevos trabajos en el futuro con la finalidad de que se formalice algebraicamente el proyecto de investigación haciendo uso de construcciones categóricas, los morfismos y lis funtores. Además, extender los principios de inferencia de la lógica bivalente con ayuda de las demás construcciones categóricas.application/pdfspaJosé Faustino Sánchez CarriónPEinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/4.0/Lógica proposicionalFuntoresLógica algebraicaTeoría de Categoríashttps://purl.org/pe-repo/ocde/ford#1.01.02Modelo categórico de la logica bivalenteinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionreponame:UNJFSC-Institucionalinstname:Universidad Nacional José Faustino Sánchez Carrióninstacron:UNJFSCSUNEDUMatemática AplicadaJosé Faustino Sánchez Carrión Facultad de cienciasMatemática Aplicada15861538https://orcid.org/0000-0002-7148-455447966152541046Rios Perez, Isidro JavierHerrera Vega, Hector AlexisMendoza Flores, Cristian Miltonhttps://purl.org/pe-repo/renati/level#tituloProfesionalhttps://purl.org/pe-repo/renati/type#tesisORIGINALTESIS MORENO JULCA YOLIÑO MILER).pdfTESIS MORENO JULCA YOLIÑO MILER).pdfapplication/pdf1600704https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/1/TESIS%20MORENO%20JULCA%20YOLI%c3%91O%20MILER%29.pdfc0a57b634233df9d4df2d95ba64d23afMD51REPORTE TURNITIN MORENO JULCA YOLIÑO MILER.pdfREPORTE TURNITIN MORENO JULCA YOLIÑO MILER.pdfapplication/pdf10050874https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/2/REPORTE%20TURNITIN%20MORENO%20JULCA%20YOLI%c3%91O%20MILER.pdff0df90823eea1755b118d1b8705f3304MD52anexo 1 -MORENO JULCA YOLIÑO MILER-7.pdfanexo 1 -MORENO JULCA YOLIÑO MILER-7.pdfapplication/pdf279052https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/3/anexo%201%20-MORENO%20JULCA%20YOLI%c3%91O%20MILER-7.pdf429ad87a3f3cc4229d0962711246961eMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/7046/4/license.txt8a4605be74aa9ea9d79846c1fba20a33MD5420.500.14067/7046oai:repositorio.unjfsc.edu.pe:20.500.14067/70462023-01-12 09:20:26.637Repositorio Institucional - UNJFSCrepositorio@unjfsc.edu.peTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=
score 12.851315
Modelo categórico de la logica bivalente
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).

Ejemplares Similares