Discurso informal matemático: enfoques, métodos, técnicas y tendencias
El Discurso Informal Matemático (DIM) se caracteriza por la mezcla entre lenguaje natural y las expresiones simbólicas que se presentan en el contexto de los libros de textos, en las publicaciones matemáticas y en las demostraciones matemáticas. En la actualidad el discurso informal matemático está...
- Autores:
-
Gutiérrez de Piñerez Reyes, Raúl Ernesto
Díaz Frías., Juan Francisco
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2011
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/38751
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/38751
http://bdigital.unal.edu.co/28848/
- Palabra clave:
- fenómenos lingüísticos
chequeo automático
expresiones simbólicas.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| id |
UNACIONAL2_b4ea0569eca77ca15405a0e3105437dd |
|---|---|
| oai_identifier_str |
oai:repositorio.unal.edu.co:unal/38751 |
| network_acronym_str |
UNACIONAL2 |
| network_name_str |
Universidad Nacional de Colombia |
| repository_id_str |
|
| spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Gutiérrez de Piñerez Reyes, Raúl Ernesto529262c7-5f28-4607-88b0-736493662b90300Díaz Frías., Juan Francisco46a3cfdf-dc96-47a7-924e-1c2defe6bc6f3002019-06-28T02:56:55Z2019-06-28T02:56:55Z2011https://repositorio.unal.edu.co/handle/unal/38751http://bdigital.unal.edu.co/28848/El Discurso Informal Matemático (DIM) se caracteriza por la mezcla entre lenguaje natural y las expresiones simbólicas que se presentan en el contexto de los libros de textos, en las publicaciones matemáticas y en las demostraciones matemáticas. En la actualidad el discurso informal matemático está siendo abordado desde tres grandes áreas de trabajo; una primera, la asistencia y chequeo automático de teoremas; una segunda, la automatización de los fenómenos lingüísticos que se presentan en las demostraciones matemáticas; y una tercera, que tiene que ver con la gestión del conocimiento matemático sobre grandes corpus de textos matemáticos. En este artículo se exponen los métodos, técnicas y tendencias sobre el DIM con el fin de mostrar la aplicabilidad de diversas teorías lingüístico-computacionales de manera que sirvan de punto de partida para el desarrollo de proyectos futuros.application/pdfspaUniversidad Nacional de Colombia -Sede Medellínhttp://revistas.unal.edu.co/index.php/avances/article/view/26735Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e InformáticaAvances en Sistemas e InformáticaAvances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 Avances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 1909-0056 1657-7663Gutiérrez de Piñerez Reyes, Raúl Ernesto and Díaz Frías., Juan Francisco (2011) Discurso informal matemático: enfoques, métodos, técnicas y tendencias. Avances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 Avances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 1909-0056 1657-7663 .Discurso informal matemático: enfoques, métodos, técnicas y tendenciasArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTfenómenos lingüísticoschequeo automáticoexpresiones simbólicas.ORIGINAL26735-93662-1-PB.pdfapplication/pdf496648https://repositorio.unal.edu.co/bitstream/unal/38751/1/26735-93662-1-PB.pdf9ca234bff972d345ee6f8938ff621c90MD51THUMBNAIL26735-93662-1-PB.pdf.jpg26735-93662-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg9567https://repositorio.unal.edu.co/bitstream/unal/38751/2/26735-93662-1-PB.pdf.jpgd0794a73351b8c6848a27d3279098d1aMD52unal/38751oai:repositorio.unal.edu.co:unal/387512023-01-20 23:04:14.718Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
| dc.title.spa.fl_str_mv |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias |
| title |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias |
| spellingShingle |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias fenómenos lingüísticos chequeo automático expresiones simbólicas. |
| title_short |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias |
| title_full |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias |
| title_fullStr |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias |
| title_full_unstemmed |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias |
| title_sort |
Discurso informal matemático: enfoques, métodos, técnicas y tendencias |
| dc.creator.fl_str_mv |
Gutiérrez de Piñerez Reyes, Raúl Ernesto Díaz Frías., Juan Francisco |
| dc.contributor.author.spa.fl_str_mv |
Gutiérrez de Piñerez Reyes, Raúl Ernesto Díaz Frías., Juan Francisco |
| dc.subject.proposal.spa.fl_str_mv |
fenómenos lingüísticos chequeo automático expresiones simbólicas. |
| topic |
fenómenos lingüísticos chequeo automático expresiones simbólicas. |
| description |
El Discurso Informal Matemático (DIM) se caracteriza por la mezcla entre lenguaje natural y las expresiones simbólicas que se presentan en el contexto de los libros de textos, en las publicaciones matemáticas y en las demostraciones matemáticas. En la actualidad el discurso informal matemático está siendo abordado desde tres grandes áreas de trabajo; una primera, la asistencia y chequeo automático de teoremas; una segunda, la automatización de los fenómenos lingüísticos que se presentan en las demostraciones matemáticas; y una tercera, que tiene que ver con la gestión del conocimiento matemático sobre grandes corpus de textos matemáticos. En este artículo se exponen los métodos, técnicas y tendencias sobre el DIM con el fin de mostrar la aplicabilidad de diversas teorías lingüístico-computacionales de manera que sirvan de punto de partida para el desarrollo de proyectos futuros. |
| publishDate |
2011 |
| dc.date.issued.spa.fl_str_mv |
2011 |
| dc.date.accessioned.spa.fl_str_mv |
2019-06-28T02:56:55Z |
| dc.date.available.spa.fl_str_mv |
2019-06-28T02:56:55Z |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/38751 |
| dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/28848/ |
| url |
https://repositorio.unal.edu.co/handle/unal/38751 http://bdigital.unal.edu.co/28848/ |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/avances/article/view/26735 |
| dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e Informática Avances en Sistemas e Informática |
| dc.relation.ispartofseries.none.fl_str_mv |
Avances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 Avances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 1909-0056 1657-7663 |
| dc.relation.references.spa.fl_str_mv |
Gutiérrez de Piñerez Reyes, Raúl Ernesto and Díaz Frías., Juan Francisco (2011) Discurso informal matemático: enfoques, métodos, técnicas y tendencias. Avances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 Avances en Sistemas e Informática; Vol. 8, núm. 2 (2011); 155-164 1909-0056 1657-7663 . |
| dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
| dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Nacional de Colombia -Sede Medellín |
| institution |
Universidad Nacional de Colombia |
| bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/38751/1/26735-93662-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/38751/2/26735-93662-1-PB.pdf.jpg |
| bitstream.checksum.fl_str_mv |
9ca234bff972d345ee6f8938ff621c90 d0794a73351b8c6848a27d3279098d1a |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
| repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
| _version_ |
1812169768986214400 |