El tiempo en la lógica y en la teoría de conjuntos
1 documento
- Autores:
-
Muñoz, José M .
Caicedo, Xavier
- Tipo de recurso:
- Investigation report
- Fecha de publicación:
- 2000
- Institución:
- Minciencias
- Repositorio:
- Repositorio Minciencias
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.minciencias.gov.co:20.500.14143/50457
- Acceso en línea:
- https://repositorio.minciencias.gov.co/handle/20.500.14143/50457
- Palabra clave:
- Teoría de conjuntos
Matemáticas -- Investigaciones
Proyectos de investigación
Lógica
- Rights
- openAccess
- License
- https://creativecommons.org/licenses/by/4.0/
| id |
RCENDOC_621329a9973f93b2129d6459ced6e53e |
|---|---|
| oai_identifier_str |
oai:repositorio.minciencias.gov.co:20.500.14143/50457 |
| network_acronym_str |
RCENDOC |
| network_name_str |
Repositorio Minciencias |
| repository_id_str |
|
| spelling |
Muñoz, José M .Caicedo, Xavier2024-01-27T14:09:20Z2024-01-27T14:09:20Z2000-03-21https://repositorio.minciencias.gov.co/handle/20.500.14143/504571 documentoEn el desarrollo del proyecto se propusieron los siguientes objetivos: 1. Utilizando la lógica clásica pero interpretando los conjuntos cambiantes con el tiempo como funciones , analizar las propiedades de ciertos universos formados por ellas, los cuales poseen estructuras de gran riqueza . 2. Establecer relaciones entre las lógicas anteriores y la lógica intuicionista , utilizando sobre todo como puente los espacios fibrados y los modelos de Kripke .39 p.application/pdfspaUniversidad Nacional de ColombiaColcienciasBogotáhttps://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessAtribución 4.0 Internacional (CC BY 4.0)http://purl.org/coar/access_right/c_abf2El tiempo en la lógica y en la teoría de conjuntosInforme de investigaciónhttp://purl.org/coar/resource_type/c_18wshttp://purl.org/coar/resource_type/c_18ghhttp://purl.org/coar/resource_type/c_93fcTextinfo:eu-repo/semantics/reporthttp://purl.org/redcol/resource_type/INFinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a85Teoría de conjuntosMatemáticas -- InvestigacionesProyectos de investigaciónLógicaEstudiantes, Profesores, Comunidad científica colombiana, etc.11010522689El tiempo en la lógica y en la teoría de conjuntos062-91Departamento Administrativo de Ciencia, Tecnología e Innovación [CO] ColcienciasPublicationORIGINAL1101-05-226-89 INFORME FINAL.pdf1101-05-226-89 INFORME FINAL.pdfapplication/pdf13599395https://repositorio.minciencias.gov.co/bitstreams/5bdade9f-8681-44ea-864b-d222d119a246/downloadfe087ecf8dd282809fbef221e1a30c26MD511101-05-226-89 INFORME FINAL.pdf1101-05-226-89 INFORME FINAL.pdfapplication/pdf13599395https://repositorio.minciencias.gov.co/bitstreams/c56ca18e-6d26-441f-8f85-faa4e2f49bef/downloadfe087ecf8dd282809fbef221e1a30c26MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-815543https://repositorio.minciencias.gov.co/bitstreams/81da0722-ef86-4e30-b298-5e12e319faa4/download73a5432e0b76442b22b026844140d683MD5220.500.14143/50457oai:repositorio.minciencias.gov.co:20.500.14143/504572024-01-27 14:09:22.556https://creativecommons.org/licenses/by/4.0/restrictedhttps://repositorio.minciencias.gov.coRepositorio Institucional de Mincienciascendoc@minciencias.gov.co |
| dc.title.none.fl_str_mv |
El tiempo en la lógica y en la teoría de conjuntos |
| title |
El tiempo en la lógica y en la teoría de conjuntos |
| spellingShingle |
El tiempo en la lógica y en la teoría de conjuntos Teoría de conjuntos Matemáticas -- Investigaciones Proyectos de investigación Lógica |
| title_short |
El tiempo en la lógica y en la teoría de conjuntos |
| title_full |
El tiempo en la lógica y en la teoría de conjuntos |
| title_fullStr |
El tiempo en la lógica y en la teoría de conjuntos |
| title_full_unstemmed |
El tiempo en la lógica y en la teoría de conjuntos |
| title_sort |
El tiempo en la lógica y en la teoría de conjuntos |
| dc.creator.fl_str_mv |
Muñoz, José M . Caicedo, Xavier |
| dc.contributor.author.none.fl_str_mv |
Muñoz, José M . Caicedo, Xavier |
| dc.subject.lemb.none.fl_str_mv |
Teoría de conjuntos Matemáticas -- Investigaciones Proyectos de investigación Lógica |
| topic |
Teoría de conjuntos Matemáticas -- Investigaciones Proyectos de investigación Lógica |
| description |
1 documento |
| publishDate |
2000 |
| dc.date.issued.none.fl_str_mv |
2000-03-21 |
| dc.date.accessioned.none.fl_str_mv |
2024-01-27T14:09:20Z |
| dc.date.available.none.fl_str_mv |
2024-01-27T14:09:20Z |
| dc.type.none.fl_str_mv |
Informe de investigación |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_18gh http://purl.org/coar/resource_type/c_93fc |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_18ws |
| dc.type.content.none.fl_str_mv |
Text |
| dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/report |
| dc.type.redcol.none.fl_str_mv |
http://purl.org/redcol/resource_type/INF |
| dc.type.version.none.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| format |
http://purl.org/coar/resource_type/c_18ws |
| status_str |
publishedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.minciencias.gov.co/handle/20.500.14143/50457 |
| url |
https://repositorio.minciencias.gov.co/handle/20.500.14143/50457 |
| dc.language.iso.none.fl_str_mv |
spa |
| language |
spa |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.none.fl_str_mv |
https://creativecommons.org/licenses/by/4.0/ |
| dc.rights.accessrights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.creativecommons.none.fl_str_mv |
Atribución 4.0 Internacional (CC BY 4.0) |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by/4.0/ Atribución 4.0 Internacional (CC BY 4.0) http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.none.fl_str_mv |
39 p. |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidad Nacional de Colombia Colciencias |
| dc.publisher.place.none.fl_str_mv |
Bogotá |
| publisher.none.fl_str_mv |
Universidad Nacional de Colombia Colciencias |
| institution |
Minciencias |
| bitstream.url.fl_str_mv |
https://repositorio.minciencias.gov.co/bitstreams/5bdade9f-8681-44ea-864b-d222d119a246/download https://repositorio.minciencias.gov.co/bitstreams/c56ca18e-6d26-441f-8f85-faa4e2f49bef/download https://repositorio.minciencias.gov.co/bitstreams/81da0722-ef86-4e30-b298-5e12e319faa4/download |
| bitstream.checksum.fl_str_mv |
fe087ecf8dd282809fbef221e1a30c26 fe087ecf8dd282809fbef221e1a30c26 73a5432e0b76442b22b026844140d683 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional de Minciencias |
| repository.mail.fl_str_mv |
cendoc@minciencias.gov.co |
| _version_ |
1809558208420773888 |