CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Representación semántica de lenguaje natural en el dominio de fórmulas lógicas / (Record no. 18828)

000 -Encabezamiento
fixed length control field 03254nam a22003737a 4500
003 - Identificador del Número de Control
control field AR_CdUFM
005 - Fecha de Ultima Modificación
control field 20190222130825.0
008 - Elementos de Fongitud Fija--Información General
fixed length control field 181227s2018 ag ||||| |||| 00| 0 spa d
040 ## - Origen de la Catalogación
Agencia/entidad que catalogó originalmente la obra AR_CdUFM
Entidad que transcribió la catalogación AR_CdUFM
100 1# - Entrada Principal - Nombre Personal
9 (RLIN) 22792
Nombre Personal Piloni, Diego Ricardo,
Fechas asociadas con el nombre 1994-
245 10 - Título propiamente dicho
Título Representación semántica de lenguaje natural en el dominio de fórmulas lógicas /
Mención de responsabilidad Diego Piloni.
260 ## - Publicación, Distribución, etc. (Pie de Imprenta)
Lugar de publicación, distribución, etc. [S.l. :
Nombre de la editorial, distribuidor, etc. s.n. ],
Fecha de publicación, distribución, etc. 2018.
300 ## - Descripción Física
Extensión ii,72 h. :
Otros detalles físicos il. col. ;
Dimensiones 30 cm.
500 ## - Nota General
Nota General Bajo una Licencia Creative Commons Atribución-CompartirIgual 4.0 International.
502 ## - Nota de disertación
Nota de disertación Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.
504 ## - Nota de Bibliografía, etc.
Nota de Bibliografía, etc. Bibliografía: h. 70-71.
520 ## - Resumen, etc.
Nota de resumen, etc. Este trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, Proof and Logic” utilizando datos empíricos (Barker-Plummer, 2008). Si bien existen propuestas didácticas con soportes informáticos para el aprendizaje de lógica (Barrionuevo, 2008), la mayoría se centra o bien en los sistemas deductivos o bien en la semántica formal de fórmulas lógicas. Pareciera, por lo tanto, que faltan soportes digitales que transparenten las dificultades inherentes a la traducción de lenguajes naturales al lenguaje simbólico. El objetivo principal de este trabajo es desarrollar una herramienta didáctica informática que facilite la adquisición del lenguaje formal de lógica de primer orden.
520 ## - Resumen, etc.
Nota de resumen, etc. This final degree project starts from the assumption that learning the formal symbolic language of logic is often problematic (Oller, 2006). Some aspects of this difficulty are analyzed by the authors of “Language, Proof and Logic” using empirical evidence (Barker-Plummer, 2008). Although there are didactic proposals with digital support for learning logic (Barrionuevo, 2008), most of them focus either on deductive systems or on the formal semantics of logical formulas. It seems, therefore, that there is a lack of digital tools that make evident the difficulties in the translation of natural languages into symbolic languages. The main objective of this work is to develop a tool that facilitates the acquisition of the formal language of first order logic.
590 ## - Nota local
Nota local Firma del Tribunal : Doctores Martin Ariel Dominguez, Miguel María Pagano y Franco Martìn Luque al final del trabajo.
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Mathematical Logic
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Grammars and Other Rewriting Systems: Grammar Types, Parsing
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Formal Languages
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Natural Language Processing: Language models, Language parsing and understanding
653 ## - Término Indizado - No Controlado
Término Lógica de primer orden
653 ## - Término Indizado - No Controlado
Término Procesamiento de Lenguaje Natural
653 ## - Término Indizado - No Controlado
Término Gramáticas
653 ## - Término Indizado - No Controlado
Término Grammatical Framework
700 1# - Entradas Secundarias - Nombre Personal
9 (RLIN) 12883
Nombre Personal Pagano, Miguel María,
Fechas asociadas con el nombre 1979- ,
Término de relación dir.
700 1# - Entradas Secundarias - Nombre Personal
9 (RLIN) 17873
Nombre Personal Vilela, Demetrio Martín,
Fechas asociadas con el nombre 1969- ,
Término de relación dir.
856 ## - Localización Electrónica y Acceso
Identificador Uniforme de Recurso (URI) https://rdu.unc.edu.ar/handle/11086/10761
Link text Acceso a RDU-UNC
942 ## - Elementos Agregados (KOHA)
Source of classification or shelving scheme
Koha item type Trabajo Especial de Grado
945 ## - Inforación de Procesamiento Local (OCLC)
Código del digitador MEG
AAAA-MM-DD - Fecha de ingreso o modificacion 2018-12-27
945 ## - Inforación de Procesamiento Local (OCLC)
Código del digitador MBO
AAAA-MM-DD - Fecha de ingreso o modificacion 2019-02-22
Holdings
Estado de retiro Existencia (perdido o no perdido) Fuente de clasificación o esquema de estanterías Estado general No para préstamo Ubicación (sede de origen) Sububicacón o colección (sede poseedora del item) Estantería donde se ubica Fecha de adquisición o compra Fuente de adquisición Información codificada de la localización en otra ubicación Signatura topográfica Número de inventario (código de barras) Última vez visto (Koha) Número de copia Identificador uniforme del recurso Fecha del precio de reemplazo Tipo de ítem (Koha) Nota pública Forma de Adquisición
          FaMAF FaMAF Secc. Tesis y Trabajos especiales 2018-12-27 Donación del autor DONACIÓN TE C PIL 23419 2018-12-27 1 https://rdu.unc.edu.ar/handle/11086/10761 2019-03-20 Trabajo Especial de Grado Disponible también en línea DONACIÓN

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar