Optimización de la traducción funcional para lógicas modales
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis biblioteca |
| Language: | spa |
| Published: |
2013-08-09
|
| Subjects: | Lógica matemática, Lógica modal, Lógica híbrida, Traducciones funcionales, Lógica de primer orden, Demostrador de teoremas, Mathematical logic, |
| Online Access: | http://hdl.handle.net/11086/549061 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
dig-unc-ar-11086-549061 |
|---|---|
| record_format |
koha |
| spelling |
dig-unc-ar-11086-5490612023-09-20T13:24:30Z Optimización de la traducción funcional para lógicas modales Díaz, Marcio Oscar Areces, Carlos Eduardo Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones funcionales preserva satisfacibilidad. Investigamos el desempeño de SPASS, un demostrador de lógica de primer orden, al suministrarle fórmulas traducidas con y sin anotaciones de sorts. Concluimos que, para todas los casos testeados, remover sorts mejora el desempeño del demostrador. Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. 2023-09-18T14:11:45Z 2023-09-18T14:11:45Z 2013-08-09 bachelorThesis http://hdl.handle.net/11086/549061 spa Attribution-NonCommercial-NoDerivatives 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| institution |
UNC AR |
| collection |
DSpace |
| country |
Argentina |
| countrycode |
AR |
| component |
Bibliográfico |
| access |
En linea |
| databasecode |
dig-unc-ar |
| tag |
biblioteca |
| region |
America del Sur |
| libraryname |
Biblioteca 'Ing. Agrónomo Moisés Farber' de la Facultad de Ciencias Agropecuarias |
| language |
spa |
| topic |
Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic |
| spellingShingle |
Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic Díaz, Marcio Oscar Optimización de la traducción funcional para lógicas modales |
| description |
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. |
| author2 |
Areces, Carlos Eduardo |
| author_facet |
Areces, Carlos Eduardo Díaz, Marcio Oscar |
| format |
bachelorThesis |
| topic_facet |
Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic |
| author |
Díaz, Marcio Oscar |
| author_sort |
Díaz, Marcio Oscar |
| title |
Optimización de la traducción funcional para lógicas modales |
| title_short |
Optimización de la traducción funcional para lógicas modales |
| title_full |
Optimización de la traducción funcional para lógicas modales |
| title_fullStr |
Optimización de la traducción funcional para lógicas modales |
| title_full_unstemmed |
Optimización de la traducción funcional para lógicas modales |
| title_sort |
optimización de la traducción funcional para lógicas modales |
| publishDate |
2013-08-09 |
| url |
http://hdl.handle.net/11086/549061 |
| work_keys_str_mv |
AT diazmarciooscar optimizaciondelatraduccionfuncionalparalogicasmodales |
| _version_ |
1781879606363553792 |