Reglas de transformación para diagramas
Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina.
| Main Author: | |
|---|---|
| Format: | conferenceObject |
| Language: | spa |
| Published: |
Universidad Nacional de Córdoba
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/3780 |
| _version_ | 1801214041662685184 |
|---|---|
| author | Ciruelos, Alejandra |
| author_facet | Ciruelos, Alejandra |
| author_sort | Ciruelos, Alejandra |
| collection | Repositorio Digital Universitario |
| description | Fil: Ciruelos, Alejandra. Universidad Nacional de Río Cuarto; Argentina. |
| format | conferenceObject |
| id | rdu-unc.3780 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2016 |
| publisher | Universidad Nacional de Córdoba |
| record_format | dspace |
| spelling | rdu-unc.37802023-12-19T20:15:17Z Reglas de transformación para diagramas Ciruelos, Alejandra Epistemología Historia de la ciencia 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 Río Cuarto; Argentina. 2016-09-06T19:17:54Z 2016-09-06T19:17:54Z 2010-10 conferenceObject isbn:978-950-33-0816-5 http://hdl.handle.net/11086/3780 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ Universidad Nacional de Córdoba |
| spellingShingle | Epistemología Historia de la ciencia Ciruelos, Alejandra Reglas de transformación para diagramas |
| title | 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_short | Reglas de transformación para diagramas |
| title_sort | reglas de transformacion para diagramas |
| topic | Epistemología Historia de la ciencia |
| url | http://hdl.handle.net/11086/3780 |
| work_keys_str_mv | AT ciruelosalejandra reglasdetransformacionparadiagramas |