Ambiente visual de conceptos asociados la lógica proposicional y predicados.

Implementation of a software that is intended to help students and professors with the learning of the propositional and predicate logic, which are the axis of the Information Technology & Computer Science Engineering. All the process of development of this software and its final result is descr...

Full description

Autores:
Aguado Bedoya, Camilo
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2017
Institución:
Escuela Colombiana de Ingeniería Julio Garavito
Repositorio:
Repositorio Institucional ECI
Idioma:
spa
OAI Identifier:
oai:repositorio.escuelaing.edu.co:001/691
Acceso en línea:
https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21081
https://repositorio.escuelaing.edu.co/handle/001/691
Palabra clave:
Software para computadores
Innovaciones tecnológicas
Computer software
Information technology
Rights
openAccess
License
Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito
id ESCUELAIG2_c619255d74a02c32a37519dba006cee6
oai_identifier_str oai:repositorio.escuelaing.edu.co:001/691
network_acronym_str ESCUELAIG2
network_name_str Repositorio Institucional ECI
repository_id_str
dc.title.spa.fl_str_mv Ambiente visual de conceptos asociados la lógica proposicional y predicados.
title Ambiente visual de conceptos asociados la lógica proposicional y predicados.
spellingShingle Ambiente visual de conceptos asociados la lógica proposicional y predicados.
Software para computadores
Innovaciones tecnológicas
Computer software
Information technology
title_short Ambiente visual de conceptos asociados la lógica proposicional y predicados.
title_full Ambiente visual de conceptos asociados la lógica proposicional y predicados.
title_fullStr Ambiente visual de conceptos asociados la lógica proposicional y predicados.
title_full_unstemmed Ambiente visual de conceptos asociados la lógica proposicional y predicados.
title_sort Ambiente visual de conceptos asociados la lógica proposicional y predicados.
dc.creator.fl_str_mv Aguado Bedoya, Camilo
dc.contributor.advisor.spa.fl_str_mv Chaparro Aguilar, Raúl Alfredo (dir)
dc.contributor.author.spa.fl_str_mv Aguado Bedoya, Camilo
dc.subject.spa.fl_str_mv Software para computadores
Innovaciones tecnológicas
topic Software para computadores
Innovaciones tecnológicas
Computer software
Information technology
dc.subject.keywords.spa.fl_str_mv Computer software
Information technology
description Implementation of a software that is intended to help students and professors with the learning of the propositional and predicate logic, which are the axis of the Information Technology & Computer Science Engineering. All the process of development of this software and its final result is described in these documents with a user guide.
publishDate 2017
dc.date.issued.spa.fl_str_mv 2017
dc.date.accessioned.spa.fl_str_mv 2018-01-19T16:55:05Z
dc.date.available.spa.fl_str_mv 2018-01-19T16:55:05Z
dc.date.accessioned.none.fl_str_mv 2021-10-01T16:04:20Z
dc.date.available.none.fl_str_mv 2021-10-01T16:04:20Z
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=21081
dc.identifier.uri.none.fl_str_mv https://repositorio.escuelaing.edu.co/handle/001/691
url https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21081
https://repositorio.escuelaing.edu.co/handle/001/691
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 Garavito
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/691/1/Aguado%20Bedoya%2c%20Camilo%20-%202017.pdf
https://repositorio.escuelaing.edu.co/bitstream/001/691/2/Anexo.pdf
https://repositorio.escuelaing.edu.co/bitstream/001/691/3/Manual%20de%20usuario.pdf
https://repositorio.escuelaing.edu.co/bitstream/001/691/4/license.txt
https://repositorio.escuelaing.edu.co/bitstream/001/691/5/Libro%20del%20proyecto.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/691/6/Manual%20de%20Usuario.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/691/15/Aguado%20Bedoya%2c%20Camilo%20-%202017.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/691/17/Anexo.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/691/19/Manual%20de%20usuario.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/691/9/Libro%20del%20proyecto.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/691/10/Anexo%201.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/691/11/Manual%20de%20Usuario.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/691/16/Aguado%20Bedoya%2c%20Camilo%20-%202017.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/691/18/Anexo.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/691/20/Manual%20de%20usuario.pdf.jpg
bitstream.checksum.fl_str_mv e2e34d33f43ab8abc35c20bcddefedf0
7dd70a76b523996d94c1966a5165a598
a16907793a823e1d105d77065dd34089
5a7ca94c2e5326ee169f979d71d0f06e
aa5ab65cd102ad4400b01af8241aa5bf
2a7fb24ae78007bfc73e1025486452c2
6afe87989b34990edc0a28328b870b4c
e1c06d85ae7b8b032bef47e42e4c08f9
5b02bb017e5388bc9cb56efee63980fe
1ea280a0d378eff521de65f80ccde683
d0d4030c3b3593cc5922336d6acf4a8f
f00f6095b0814fe9ea4b7ce6f81339b5
be09e98d36336a294181d8f2c531a19f
a6f6d1c06f874a9f598cc3c1bcc5c187
46f88082401b9f08b95f202134613203
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
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_ 1814355640800247808
spelling Chaparro Aguilar, Raúl Alfredo (dir)9b7176dbc5efe508aeb7aac38a1e400a300Aguado Bedoya, Camilo303cf5320d02fd3f7bed753bcff2dffc6002018-01-19T16:55:05Z2021-10-01T16:04:20Z2018-01-19T16:55:05Z2021-10-01T16:04:20Z2017https://catalogo.escuelaing.edu.co/cgi-bin/koha/opac-detail.pl?biblionumber=21081https://repositorio.escuelaing.edu.co/handle/001/691Implementation of a software that is intended to help students and professors with the learning of the propositional and predicate logic, which are the axis of the Information Technology & Computer Science Engineering. All the process of development of this software and its final result is described in these documents with a user guide.Implementación de un software que tiene como intención ayudar a estudiantes y profesores con el aprendizaje de la lógica proposicional y de predicados, los cuales son la base de la Ingeniería de Sistemas. En el documento se describirá el proceso de desarrollo de este software y su resultado final junto con su manual de usuario.PregradoIngeniero(a) de Sistemasapplication/pdfspaEscuela Colombiana de Ingeniería Julio GaravitoIngenierí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_abf2Software para computadoresInnovaciones tecnológicasComputer softwareInformation technologyAmbiente visual de conceptos asociados la lógica proposicional y predicados.Trabajo 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_970fb48d4fbd8a85ORIGINALAguado Bedoya, Camilo - 2017.pdfapplication/pdf1169307https://repositorio.escuelaing.edu.co/bitstream/001/691/1/Aguado%20Bedoya%2c%20Camilo%20-%202017.pdfe2e34d33f43ab8abc35c20bcddefedf0MD51open accessAnexo.pdfAutorización para la bibliotecaapplication/pdf5756437https://repositorio.escuelaing.edu.co/bitstream/001/691/2/Anexo.pdf7dd70a76b523996d94c1966a5165a598MD52open accessManual de usuario.pdfapplication/pdf1451865https://repositorio.escuelaing.edu.co/bitstream/001/691/3/Manual%20de%20usuario.pdfa16907793a823e1d105d77065dd34089MD53open accessLICENSElicense.txttext/plain1881https://repositorio.escuelaing.edu.co/bitstream/001/691/4/license.txt5a7ca94c2e5326ee169f979d71d0f06eMD54open accessTEXTLibro del proyecto.pdf.txtExtracted texttext/plain12413https://repositorio.escuelaing.edu.co/bitstream/001/691/5/Libro%20del%20proyecto.pdf.txtaa5ab65cd102ad4400b01af8241aa5bfMD55open accessManual de Usuario.pdf.txtExtracted texttext/plain24153https://repositorio.escuelaing.edu.co/bitstream/001/691/6/Manual%20de%20Usuario.pdf.txt2a7fb24ae78007bfc73e1025486452c2MD56open accessAguado Bedoya, Camilo - 2017.pdf.txtAguado Bedoya, Camilo - 2017.pdf.txtExtracted texttext/plain12377https://repositorio.escuelaing.edu.co/bitstream/001/691/15/Aguado%20Bedoya%2c%20Camilo%20-%202017.pdf.txt6afe87989b34990edc0a28328b870b4cMD515open accessAnexo.pdf.txtAnexo.pdf.txtExtracted texttext/plain2https://repositorio.escuelaing.edu.co/bitstream/001/691/17/Anexo.pdf.txte1c06d85ae7b8b032bef47e42e4c08f9MD517open accessManual de usuario.pdf.txtManual de usuario.pdf.txtExtracted texttext/plain24153https://repositorio.escuelaing.edu.co/bitstream/001/691/19/Manual%20de%20usuario.pdf.txt5b02bb017e5388bc9cb56efee63980feMD519open accessTHUMBNAILLibro del proyecto.pdf.jpgIM Thumbnailimage/jpeg3623https://repositorio.escuelaing.edu.co/bitstream/001/691/9/Libro%20del%20proyecto.pdf.jpg1ea280a0d378eff521de65f80ccde683MD59open accessAnexo 1.pdf.jpgIM Thumbnailimage/jpeg4851https://repositorio.escuelaing.edu.co/bitstream/001/691/10/Anexo%201.pdf.jpgd0d4030c3b3593cc5922336d6acf4a8fMD510open accessManual de Usuario.pdf.jpgIM Thumbnailimage/jpeg4136https://repositorio.escuelaing.edu.co/bitstream/001/691/11/Manual%20de%20Usuario.pdf.jpgf00f6095b0814fe9ea4b7ce6f81339b5MD511open accessAguado Bedoya, Camilo - 2017.pdf.jpgAguado Bedoya, Camilo - 2017.pdf.jpgGenerated Thumbnailimage/jpeg6053https://repositorio.escuelaing.edu.co/bitstream/001/691/16/Aguado%20Bedoya%2c%20Camilo%20-%202017.pdf.jpgbe09e98d36336a294181d8f2c531a19fMD516open accessAnexo.pdf.jpgAnexo.pdf.jpgGenerated Thumbnailimage/jpeg13886https://repositorio.escuelaing.edu.co/bitstream/001/691/18/Anexo.pdf.jpga6f6d1c06f874a9f598cc3c1bcc5c187MD518open accessManual de usuario.pdf.jpgManual de usuario.pdf.jpgGenerated Thumbnailimage/jpeg9308https://repositorio.escuelaing.edu.co/bitstream/001/691/20/Manual%20de%20usuario.pdf.jpg46f88082401b9f08b95f202134613203MD520open access001/691oai:repositorio.escuelaing.edu.co:001/6912021-10-01 18:01:21.211open accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coU0kgVVNURUQgSEFDRSBQQVJURSBERUwgR1JVUE8gREUgUEFSRVMgRVZBTFVBRE9SRVMgREUgTEEgQ09MRUNDScOTTiAiUEVFUiBSRVZJRVciLCBPTUlUQSBFU1RBIExJQ0VOQ0lBLgoKQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCAKY29uZmVyZW5jaWEsIGxpYnJvLCBpbWFnZW4sIGZvdG9ncmFmw61hLCBhdWRpbywgcHJlc2VudGFjacOzbiB1IG90cm8gKGVuICAgIGFkZWxhbnRlIGRvY3VtZW50bykgcXVlIGVuIGxhIGZlY2hhIAplbnRyZWdvIGVuIGZvcm1hdG8gZGlnaXRhbCwgeSBsZSBwZXJtaXRvIGRlIGZvcm1hIGluZGVmaW5pZGEgcXVlIGxvIHB1YmxpcXVlIGVuIGVsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwsIAplbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZQphbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIAp1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbDsgeSBwYXJhIHVzb3MgZW4gcmVkZXMsIGludGVybmV0LCBleHRyYW5ldCwgeSBjdWFscXVpZXIgCmZvcm1hdG8gbyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyLgpFbiBtaSBjYWxpZGFkIGRlIGF1dG9yLCBleHByZXNvIHF1ZSBlbCBkb2N1bWVudG8gb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsbyBlbGFib3LDqSBzaW4gCnF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCAKdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgw6lsLiBFbiBjYXNvIGRlIHF1ZWphIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyByZWZlcmVudGUgYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgCmVsIGRvY3VtZW50byBlbiBjdWVzdGnDs24sIGFzdW1pcsOpIGxhIHJlc3BvbnNhYmlsaWRhZCB0b3RhbCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MuIEVzdG8gCnNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgCnBvZHLDoSBjb3BpYXIgYXBhcnRlcyBkZWwgdGV4dG8sIGNvbiBlbCBjb21wcm9taXNvIGRlIGNpdGFyIHNpZW1wcmUgbGEgZnVlbnRlLCBsYSBjdWFsIGluY2x1eWUgZWwgdMOtdHVsbyBkZWwgdHJhYmFqbyB5IGVsIAphdXRvci5Fc3RhIGF1dG9yaXphY2nDs24gbm8gaW1wbGljYSByZW51bmNpYSBhIGxhIGZhY3VsdGFkIHF1ZSB0ZW5nbyBkZSBwdWJsaWNhciB0b3RhbCBvIHBhcmNpYWxtZW50ZSBsYSBvYnJhIGVuIG90cm9zIAptZWRpb3MuRXN0YSBhdXRvcml6YWNpw7NuIGVzdMOhIHJlc3BhbGRhZGEgcG9yIGxhcyBmaXJtYXMgZGVsIChsb3MpIGF1dG9yKGVzKSBkZWwgZG9jdW1lbnRvLiAKU8OtIGF1dG9yaXpvIChhbWJvcykK