Conjuntos aproximados y su relación con algunas lógicas modales
El proyecto se divide en dos partes. La primera parte corresponde al estudio de los aspectos básicos de la teoría de conjuntos aproximados, así como su conexión con la lógica modal básica. La segunda parte corresponde al estudio de una versión de la semántica para la lógica de Godel-Kripke basada en...
- Autores:
-
Gamboa Guzmán, Laura Paola
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2019
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/45432
- Acceso en línea:
- http://hdl.handle.net/1992/45432
- Palabra clave:
- Teoría de conjuntos
Modalidad (Lógica)
Teorema de Gödel
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
UNIANDES2_e3baef31832db1d7f4c5845afc1f7600 |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/45432 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| spelling |
Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Martínez Baldares, Maricarmenvirtual::9291-1Gamboa Guzmán, Laura Paola676646fc-a54e-441a-a01b-ba63ed16e247600Caicedo Ferrer, Xavier2020-09-03T15:59:09Z2020-09-03T15:59:09Z2019http://hdl.handle.net/1992/45432u827500.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/El proyecto se divide en dos partes. La primera parte corresponde al estudio de los aspectos básicos de la teoría de conjuntos aproximados, así como su conexión con la lógica modal básica. La segunda parte corresponde al estudio de una versión de la semántica para la lógica de Godel-Kripke basada en conjuntos aproximados. Para esto se hizo primero una recopilación de la bibliografía disponible, dado que buena parte de esta no se encuentra consolidada en libros de texto, sino que se trata de artículos publicados en diversas fuentes. El objetivo principal fue entender por qué algunos de los teoremas existentes están enunciados solo para universos finitos en la literatura y cómo se pueden adaptar estos para trabajar con universos infinitos. Además, se estudiaron las propiedades algebraicas del retículo de conjuntos aproximados sobre un espacio de aproximación con la relación de orden usual...This project is divided into two parts. The first one is a study of the basic aspects of rough set theory, as well as its relation with basic modal logic. The second part is a study of a version of a semantics for Godel-Kripke logic based on rough sets. Towards this aim, a compilation of the available bibliography was first made, since a large part of it is not consolidated in textbooks, but it is rather found on articles published in various sources. The main goal was to understand why, in the literature, some of the existing theorems are stated only for finite universes and how these can be adapted to work with infinite universes. In addition, the algebraic properties of the lattice of rough sets on an approximation space with the usual order ...MatemáticoPregrado35 hojasapplication/pdfspaUniversidad de los AndesMatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaConjuntos aproximados y su relación con algunas lógicas modalesTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPTeoría de conjuntosModalidad (Lógica)Teorema de GödelMatemáticasPublicationhttps://scholar.google.es/citations?user=Q0fgYywAAAAJvirtual::9291-10000-0001-6174-3324virtual::9291-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000678635virtual::9291-135f86969-35e2-4807-84a1-2ac3c50c8a61virtual::9291-135f86969-35e2-4807-84a1-2ac3c50c8a61virtual::9291-1ORIGINALu827500.pdfapplication/pdf443333https://repositorio.uniandes.edu.co/bitstreams/ab726422-6d93-437c-b9bf-8e425f98b548/downloadb539885ce7a4b8ab1a460a04f79ded45MD51THUMBNAILu827500.pdf.jpgu827500.pdf.jpgIM Thumbnailimage/jpeg6699https://repositorio.uniandes.edu.co/bitstreams/57c2d9f7-f0a4-43ba-ac7d-5188b8d72d96/download271421b6601351f412989262d6d52e7fMD55TEXTu827500.pdf.txtu827500.pdf.txtExtracted texttext/plain95557https://repositorio.uniandes.edu.co/bitstreams/20fe798b-f542-42ce-bcae-c09cda0cdc47/download574c73f22b6aa49f0becefe2108c66efMD541992/45432oai:repositorio.uniandes.edu.co:1992/454322024-03-13 13:53:51.092http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co |
| dc.title.es_CO.fl_str_mv |
Conjuntos aproximados y su relación con algunas lógicas modales |
| title |
Conjuntos aproximados y su relación con algunas lógicas modales |
| spellingShingle |
Conjuntos aproximados y su relación con algunas lógicas modales Teoría de conjuntos Modalidad (Lógica) Teorema de Gödel Matemáticas |
| title_short |
Conjuntos aproximados y su relación con algunas lógicas modales |
| title_full |
Conjuntos aproximados y su relación con algunas lógicas modales |
| title_fullStr |
Conjuntos aproximados y su relación con algunas lógicas modales |
| title_full_unstemmed |
Conjuntos aproximados y su relación con algunas lógicas modales |
| title_sort |
Conjuntos aproximados y su relación con algunas lógicas modales |
| dc.creator.fl_str_mv |
Gamboa Guzmán, Laura Paola |
| dc.contributor.advisor.none.fl_str_mv |
Martínez Baldares, Maricarmen |
| dc.contributor.author.none.fl_str_mv |
Gamboa Guzmán, Laura Paola |
| dc.contributor.jury.none.fl_str_mv |
Caicedo Ferrer, Xavier |
| dc.subject.armarc.es_CO.fl_str_mv |
Teoría de conjuntos Modalidad (Lógica) Teorema de Gödel |
| topic |
Teoría de conjuntos Modalidad (Lógica) Teorema de Gödel Matemáticas |
| dc.subject.themes.none.fl_str_mv |
Matemáticas |
| description |
El proyecto se divide en dos partes. La primera parte corresponde al estudio de los aspectos básicos de la teoría de conjuntos aproximados, así como su conexión con la lógica modal básica. La segunda parte corresponde al estudio de una versión de la semántica para la lógica de Godel-Kripke basada en conjuntos aproximados. Para esto se hizo primero una recopilación de la bibliografía disponible, dado que buena parte de esta no se encuentra consolidada en libros de texto, sino que se trata de artículos publicados en diversas fuentes. El objetivo principal fue entender por qué algunos de los teoremas existentes están enunciados solo para universos finitos en la literatura y cómo se pueden adaptar estos para trabajar con universos infinitos. Además, se estudiaron las propiedades algebraicas del retículo de conjuntos aproximados sobre un espacio de aproximación con la relación de orden usual... |
| publishDate |
2019 |
| dc.date.issued.none.fl_str_mv |
2019 |
| dc.date.accessioned.none.fl_str_mv |
2020-09-03T15:59:09Z |
| dc.date.available.none.fl_str_mv |
2020-09-03T15:59:09Z |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/45432 |
| dc.identifier.pdf.none.fl_str_mv |
u827500.pdf |
| dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.spa.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
http://hdl.handle.net/1992/45432 |
| identifier_str_mv |
u827500.pdf instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.es_CO.fl_str_mv |
spa |
| language |
spa |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.es_CO.fl_str_mv |
35 hojas |
| dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
| dc.publisher.es_CO.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.es_CO.fl_str_mv |
Matemáticas |
| dc.publisher.faculty.es_CO.fl_str_mv |
Facultad de Ciencias |
| dc.publisher.department.es_CO.fl_str_mv |
Departamento de Matemáticas |
| dc.source.es_CO.fl_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca |
| instname_str |
Universidad de los Andes |
| institution |
Universidad de los Andes |
| reponame_str |
Repositorio Institucional Séneca |
| collection |
Repositorio Institucional Séneca |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/ab726422-6d93-437c-b9bf-8e425f98b548/download https://repositorio.uniandes.edu.co/bitstreams/57c2d9f7-f0a4-43ba-ac7d-5188b8d72d96/download https://repositorio.uniandes.edu.co/bitstreams/20fe798b-f542-42ce-bcae-c09cda0cdc47/download |
| bitstream.checksum.fl_str_mv |
b539885ce7a4b8ab1a460a04f79ded45 271421b6601351f412989262d6d52e7f 574c73f22b6aa49f0becefe2108c66ef |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1812133945787023360 |