Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales
Por medio de este documento queremos constatar el desarrollo del trabajo realizado durante el proyecto de grado, el cual se centra en la elaboración de un software con una interfaz simple para el aprendizaje de Sistemas Formales, lo cual se desea que el usuario sea capaz de interactuar con el sistem...
- Autores:
-
Gonzalez Boada, Jairo
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2018
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/841
- Acceso en línea:
- https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21628
https://repositorio.escuelaing.edu.co/handle/001/841
- Palabra clave:
- Sofware para computadores
Sistemas formales
Sistemas inteligentes
Computer software
Formal systems
Intelligent Systems
- Rights
- openAccess
- License
- Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito
id |
ESCUELAIG2_b1b9c3c5c7180f9f3203fc2128409e5e |
---|---|
oai_identifier_str |
oai:repositorio.escuelaing.edu.co:001/841 |
network_acronym_str |
ESCUELAIG2 |
network_name_str |
Repositorio Institucional ECI |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales |
title |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales |
spellingShingle |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales Sofware para computadores Sistemas formales Sistemas inteligentes Computer software Formal systems Intelligent Systems |
title_short |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales |
title_full |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales |
title_fullStr |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales |
title_full_unstemmed |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales |
title_sort |
Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales |
dc.creator.fl_str_mv |
Gonzalez Boada, Jairo |
dc.contributor.advisor.spa.fl_str_mv |
Chaparro Aguilar, Raúl Alfredo (dir) |
dc.contributor.author.spa.fl_str_mv |
Gonzalez Boada, Jairo |
dc.subject.spa.fl_str_mv |
Sofware para computadores Sistemas formales Sistemas inteligentes |
topic |
Sofware para computadores Sistemas formales Sistemas inteligentes Computer software Formal systems Intelligent Systems |
dc.subject.keywords.spa.fl_str_mv |
Computer software Formal systems Intelligent Systems |
description |
Por medio de este documento queremos constatar el desarrollo del trabajo realizado durante el proyecto de grado, el cual se centra en la elaboración de un software con una interfaz simple para el aprendizaje de Sistemas Formales, lo cual se desea que el usuario sea capaz de interactuar con el sistema formal al punto de definir un lenguaje, un axioma, una conjetura y las reglas que le permiten interactuar, además de contar con un sistema inteligente, el cual puede ayudar a la solución del sistema desde diferentes escenarios o caminos, así obtiene una visión holística con respecto al sistema planteado |
publishDate |
2018 |
dc.date.accessioned.spa.fl_str_mv |
2018-10-12T19:30:46Z |
dc.date.available.spa.fl_str_mv |
2018-10-12T19:30:46Z |
dc.date.issued.spa.fl_str_mv |
2018 |
dc.date.accessioned.none.fl_str_mv |
2021-10-01T16:02:51Z |
dc.date.available.none.fl_str_mv |
2021-10-01T16:02:51Z |
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.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
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.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
format |
http://purl.org/coar/resource_type/c_7a1f |
status_str |
publishedVersion |
dc.identifier.uri.spa.fl_str_mv |
https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21628 |
dc.identifier.uri.none.fl_str_mv |
https://repositorio.escuelaing.edu.co/handle/001/841 |
url |
https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21628 https://repositorio.escuelaing.edu.co/handle/001/841 |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.rights.spa.fl_str_mv |
Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
dc.rights.creativecommons.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0) |
rights_invalid_str_mv |
Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito https://creativecommons.org/licenses/by-nc/4.0/ Atribución-NoComercial 4.0 Internacional (CC 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 |
Escuela Colombiana de Ingeniería Julio Garvito |
dc.publisher.program.spa.fl_str_mv |
Ingeniería de Sistemas |
institution |
Escuela Colombiana de Ingeniería Julio Garavito |
bitstream.url.fl_str_mv |
https://repositorio.escuelaing.edu.co/bitstream/001/841/9/Gonzalez%20Boada%2c%20Jairo%20-%202018.pdf.jpg https://repositorio.escuelaing.edu.co/bitstream/001/841/11/Autorizaci%c3%b3n%20.pdf.jpg https://repositorio.escuelaing.edu.co/bitstream/001/841/13/Anexo%201.pdf.jpg https://repositorio.escuelaing.edu.co/bitstream/001/841/1/Gonzalez%20Boada%2c%20Jairo%20-%202018.pdf https://repositorio.escuelaing.edu.co/bitstream/001/841/2/Autorizaci%c3%b3n%20.pdf https://repositorio.escuelaing.edu.co/bitstream/001/841/3/Anexo%201.pdf https://repositorio.escuelaing.edu.co/bitstream/001/841/4/license.txt https://repositorio.escuelaing.edu.co/bitstream/001/841/8/Gonzalez%20Boada%2c%20Jairo%20-%202018.pdf.txt https://repositorio.escuelaing.edu.co/bitstream/001/841/10/Autorizaci%c3%b3n%20.pdf.txt https://repositorio.escuelaing.edu.co/bitstream/001/841/12/Anexo%201.pdf.txt |
bitstream.checksum.fl_str_mv |
b2da80ca81366308e4a96bdf549ed61b 0d9bed07b736b08642f27933ee0f3c0b 1cc217503d27feeaacdc6ed63863a2d0 587ab09c2b331cd3cd637fadcdec1a1f 0326a73828346d1711bb78a10dc21dba f70c92fc91823373f58e1a62b05f4d53 5a7ca94c2e5326ee169f979d71d0f06e b2ec84633915b4496cf10fdec4395685 9ce80a141015fbf9992d8af89ef3e4b8 5a77269570e35dc9d05ea256b5fb796a |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 MD5 MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Escuela Colombiana de Ingeniería Julio Garavito |
repository.mail.fl_str_mv |
repositorio.eci@escuelaing.edu.co |
_version_ |
1814355582676631552 |
spelling |
Chaparro Aguilar, Raúl Alfredo (dir)9b7176dbc5efe508aeb7aac38a1e400a300Gonzalez Boada, Jairod565c9e42d303887e878202a5ece80626002018-10-12T19:30:46Z2021-10-01T16:02:51Z2018-10-12T19:30:46Z2021-10-01T16:02:51Z2018https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21628https://repositorio.escuelaing.edu.co/handle/001/841Por medio de este documento queremos constatar el desarrollo del trabajo realizado durante el proyecto de grado, el cual se centra en la elaboración de un software con una interfaz simple para el aprendizaje de Sistemas Formales, lo cual se desea que el usuario sea capaz de interactuar con el sistema formal al punto de definir un lenguaje, un axioma, una conjetura y las reglas que le permiten interactuar, además de contar con un sistema inteligente, el cual puede ayudar a la solución del sistema desde diferentes escenarios o caminos, así obtiene una visión holística con respecto al sistema planteadoThis document we want to verify the development of the work conducted during the degree project, which focuses on the development of software with a simple interface for learning formal systems, which is that the user is able to interact with the formal system to the point of defining a language, an axiom, a conjecture and the rules that allow it to interact, in addition to having an intelligent system, which can help the solution of the system from different scenarios or paths, thus obtaining a holistic vision with respect to the proposed systemPregradoIngeniero(a) de Sistemasapplication/pdfspaEscuela Colombiana de Ingeniería Julio GarvitoIngeniería de SistemasDerechos Reservados - Escuela Colombiana de Ingeniería Julio Garavitohttps://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessAtribución-NoComercial 4.0 Internacional (CC BY-NC 4.0)http://purl.org/coar/access_right/c_abf2Sofware para computadoresSistemas formalesSistemas inteligentesComputer softwareFormal systemsIntelligent SystemsAmbiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formalesTrabajo de grado - Pregradoinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1fTextinfo:eu-repo/semantics/bachelorThesishttp://purl.org/redcol/resource_type/TPhttp://purl.org/coar/version/c_970fb48d4fbd8a85THUMBNAILGonzalez Boada, Jairo - 2018.pdf.jpgGonzalez Boada, Jairo - 2018.pdf.jpgGenerated Thumbnailimage/jpeg7294https://repositorio.escuelaing.edu.co/bitstream/001/841/9/Gonzalez%20Boada%2c%20Jairo%20-%202018.pdf.jpgb2da80ca81366308e4a96bdf549ed61bMD59open accessAutorización .pdf.jpgAutorización .pdf.jpgGenerated Thumbnailimage/jpeg12309https://repositorio.escuelaing.edu.co/bitstream/001/841/11/Autorizaci%c3%b3n%20.pdf.jpg0d9bed07b736b08642f27933ee0f3c0bMD511metadata only accessAnexo 1.pdf.jpgAnexo 1.pdf.jpgGenerated Thumbnailimage/jpeg10692https://repositorio.escuelaing.edu.co/bitstream/001/841/13/Anexo%201.pdf.jpg1cc217503d27feeaacdc6ed63863a2d0MD513open accessORIGINALGonzalez Boada, Jairo - 2018.pdfTrabajo de Gradoapplication/pdf360251https://repositorio.escuelaing.edu.co/bitstream/001/841/1/Gonzalez%20Boada%2c%20Jairo%20-%202018.pdf587ab09c2b331cd3cd637fadcdec1a1fMD51open accessAutorización .pdfAutorización del Directorapplication/pdf1101866https://repositorio.escuelaing.edu.co/bitstream/001/841/2/Autorizaci%c3%b3n%20.pdf0326a73828346d1711bb78a10dc21dbaMD52metadata only accessAnexo 1.pdfManual Tecnico y de Usuariioapplication/pdf1144506https://repositorio.escuelaing.edu.co/bitstream/001/841/3/Anexo%201.pdff70c92fc91823373f58e1a62b05f4d53MD53open accessLICENSElicense.txttext/plain1881https://repositorio.escuelaing.edu.co/bitstream/001/841/4/license.txt5a7ca94c2e5326ee169f979d71d0f06eMD54open accessTEXTGonzalez Boada, Jairo - 2018.pdf.txtGonzalez Boada, Jairo - 2018.pdf.txtExtracted texttext/plain23767https://repositorio.escuelaing.edu.co/bitstream/001/841/8/Gonzalez%20Boada%2c%20Jairo%20-%202018.pdf.txtb2ec84633915b4496cf10fdec4395685MD58open accessAutorización .pdf.txtAutorización .pdf.txtExtracted texttext/plain64https://repositorio.escuelaing.edu.co/bitstream/001/841/10/Autorizaci%c3%b3n%20.pdf.txt9ce80a141015fbf9992d8af89ef3e4b8MD510metadata only accessAnexo 1.pdf.txtAnexo 1.pdf.txtExtracted texttext/plain6372https://repositorio.escuelaing.edu.co/bitstream/001/841/12/Anexo%201.pdf.txt5a77269570e35dc9d05ea256b5fb796aMD512open access001/841oai:repositorio.escuelaing.edu.co:001/8412021-10-01 16:14:20.277open accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coU0kgVVNURUQgSEFDRSBQQVJURSBERUwgR1JVUE8gREUgUEFSRVMgRVZBTFVBRE9SRVMgREUgTEEgQ09MRUNDScOTTiAiUEVFUiBSRVZJRVciLCBPTUlUQSBFU1RBIExJQ0VOQ0lBLgoKQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCAKY29uZmVyZW5jaWEsIGxpYnJvLCBpbWFnZW4sIGZvdG9ncmFmw61hLCBhdWRpbywgcHJlc2VudGFjacOzbiB1IG90cm8gKGVuICAgIGFkZWxhbnRlIGRvY3VtZW50bykgcXVlIGVuIGxhIGZlY2hhIAplbnRyZWdvIGVuIGZvcm1hdG8gZGlnaXRhbCwgeSBsZSBwZXJtaXRvIGRlIGZvcm1hIGluZGVmaW5pZGEgcXVlIGxvIHB1YmxpcXVlIGVuIGVsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwsIAplbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZQphbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIAp1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbDsgeSBwYXJhIHVzb3MgZW4gcmVkZXMsIGludGVybmV0LCBleHRyYW5ldCwgeSBjdWFscXVpZXIgCmZvcm1hdG8gbyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyLgpFbiBtaSBjYWxpZGFkIGRlIGF1dG9yLCBleHByZXNvIHF1ZSBlbCBkb2N1bWVudG8gb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsbyBlbGFib3LDqSBzaW4gCnF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCAKdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgw6lsLiBFbiBjYXNvIGRlIHF1ZWphIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyByZWZlcmVudGUgYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgCmVsIGRvY3VtZW50byBlbiBjdWVzdGnDs24sIGFzdW1pcsOpIGxhIHJlc3BvbnNhYmlsaWRhZCB0b3RhbCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MuIEVzdG8gCnNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgCnBvZHLDoSBjb3BpYXIgYXBhcnRlcyBkZWwgdGV4dG8sIGNvbiBlbCBjb21wcm9taXNvIGRlIGNpdGFyIHNpZW1wcmUgbGEgZnVlbnRlLCBsYSBjdWFsIGluY2x1eWUgZWwgdMOtdHVsbyBkZWwgdHJhYmFqbyB5IGVsIAphdXRvci5Fc3RhIGF1dG9yaXphY2nDs24gbm8gaW1wbGljYSByZW51bmNpYSBhIGxhIGZhY3VsdGFkIHF1ZSB0ZW5nbyBkZSBwdWJsaWNhciB0b3RhbCBvIHBhcmNpYWxtZW50ZSBsYSBvYnJhIGVuIG90cm9zIAptZWRpb3MuRXN0YSBhdXRvcml6YWNpw7NuIGVzdMOhIHJlc3BhbGRhZGEgcG9yIGxhcyBmaXJtYXMgZGVsIChsb3MpIGF1dG9yKGVzKSBkZWwgZG9jdW1lbnRvLiAKU8OtIGF1dG9yaXpvIChhbWJvcykK |