Reglas de transformación para diagramas

Autores
Ciruelos, Alejandra
Año de publicación
2010
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Ciruelos, Alejandra. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.
Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina.
Desde fines del siglo pasado, las investigaciones en lógica sobre la inferencia heterogénea y la inferencia diagramática han señalado la necesidad de precisar las reglas de transformación para esos -sistemas, precisión que,- como vimos, está presente en los sistemas linguísticos. Por ello, en el presente trabajo se mostrarán algunos ejemplos de reglas para diagramas que, al estar exentas de la confusión entre sintaxis y semántica, contribuyen a la construcción de pruebas válidas conservando su visualización, que es la característica distintiva de los mencionados sistemas.
Fil: Ciruelos, Alejandra. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.
Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina.
Materia
Epistemología
Historia de la ciencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/3780
Acceder
id RDUUNC_32c578e1e389e8d7596519b3436cb090
oai_identifier_str oai:rdu.unc.edu.ar:11086/3780
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Reglas de transformación para diagramasCiruelos, AlejandraEpistemologíaHistoria de la cienciaFil: Ciruelos, Alejandra. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina.Desde fines del siglo pasado, las investigaciones en lógica sobre la inferencia heterogénea y la inferencia diagramática han señalado la necesidad de precisar las reglas de transformación para esos -sistemas, precisión que,- como vimos, está presente en los sistemas linguísticos. Por ello, en el presente trabajo se mostrarán algunos ejemplos de reglas para diagramas que, al estar exentas de la confusión entre sintaxis y semántica, contribuyen a la construcción de pruebas válidas conservando su visualización, que es la característica distintiva de los mencionados sistemas.Fil: Ciruelos, Alejandra. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina.Universidad Nacional de Córdoba2010-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfisbn:978-950-33-0816-5http://hdl.handle.net/11086/3780spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:42:49Zoai:rdu.unc.edu.ar:11086/3780Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:42:49.656Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Reglas de transformación para diagramas
title Reglas de transformación para diagramas
spellingShingle Reglas de transformación para diagramas
Ciruelos, Alejandra
Epistemología
Historia de la ciencia
title_short Reglas de transformación para diagramas
title_full Reglas de transformación para diagramas
title_fullStr Reglas de transformación para diagramas
title_full_unstemmed Reglas de transformación para diagramas
title_sort Reglas de transformación para diagramas
dc.creator.none.fl_str_mv Ciruelos, Alejandra
author Ciruelos, Alejandra
author_facet Ciruelos, Alejandra
author_role author
dc.subject.none.fl_str_mv Epistemología
Historia de la ciencia
topic Epistemología
Historia de la ciencia
dc.description.none.fl_txt_mv Fil: Ciruelos, Alejandra. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.
Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina.
Desde fines del siglo pasado, las investigaciones en lógica sobre la inferencia heterogénea y la inferencia diagramática han señalado la necesidad de precisar las reglas de transformación para esos -sistemas, precisión que,- como vimos, está presente en los sistemas linguísticos. Por ello, en el presente trabajo se mostrarán algunos ejemplos de reglas para diagramas que, al estar exentas de la confusión entre sintaxis y semántica, contribuyen a la construcción de pruebas válidas conservando su visualización, que es la característica distintiva de los mencionados sistemas.
Fil: Ciruelos, Alejandra. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.
Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina.
description Fil: Ciruelos, Alejandra. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.
publishDate 2010
dc.date.none.fl_str_mv 2010-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv isbn:978-950-33-0816-5
http://hdl.handle.net/11086/3780
identifier_str_mv isbn:978-950-33-0816-5
url http://hdl.handle.net/11086/3780
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional de Córdoba
publisher.none.fl_str_mv Universidad Nacional de Córdoba
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618937383256065
score 13.070432

Publicaciones similares