Lógicas modales con datos infinitos / (Registro nro. 17241)

Detalles MARC
000 -Encabezamiento
fixed length control field 02881nam a22004457a 4500
003 - Identificador del Número de Control
control field AR_CdUFM
005 - Fecha de Ultima Modificación
control field 20200427193910.0
008 - Elementos de Fongitud Fija--Información General
fixed length control field 150615b xxu||||| |||| 00| 0 eng 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) 22362
Nombre Personal Rossi, Gisela Carla,
Fechas asociadas con el nombre 1990-
245 10 - Título propiamente dicho
Título Lógicas modales con datos infinitos /
Mención de responsabilidad Gisela C. Rossi.
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. 2015.
300 ## - Descripción Física
Extensión 27 h. :
Otros detalles físicos il. ;
Dimensiones 30 cm.
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 y Física, 2015.
504 ## - Nota de Bibliografía, etc.
Nota de Bibliografía, etc. Bibliografía : h. 27.
505 2# - Nota de Contenido Formateada
Nota de contenido formateada Introducción -- Definiciones básicas -- Ejemplo motivador -- PDL parametrizado -- Juegos de satisfactibilidad -- Decibilidad de PPDL -- Conclusión.
520 ## - Resumen, etc.
Nota de resumen, etc. En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es interpretada sobre sistemas de transición parametrizados cuyas aristas están etiquetadas con letras o variables y cuyos estados están etiquetados con proposiciones no parametrizadas. Nuestro resultado es demostrar que el problema de satisfactibilidad para PPDL es decidible cuando es interpretado sobre la subclase de sistemas de transición parametrizados en los cuales las variables pueden ser reseteadas.<br/><br/>
520 ## - Resumen, etc.
Nota de resumen, etc. We extend propositional dynamic logic (PDL) with variables ranging over an infinite domain. This extension, called parametrized PDL or PPDL for short, is interpreted over parametrized transitions systems whose edges are labeled with letters or variables and whose states are labeled with non-parametrized propositions. The result of this work shows that the satisfiability problem for PPDL is decidable when interpreted over the subclass of parametrized transition systems in which variables can be reset.
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE
Additional physical form available note Disponible en línea.
540 ## - NOTA DE CONDICIONES DE USO Y REPRODUCCION
Fuente del término cc
Términos que regulan el uso y reproducción Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina.
Derechos de uso y reproducción (CC BY-NC-ND) CC BY-NC-ND
Identificador Uniforme del Recurso <a href="https://creativecommons.org/licenses/by-nc-nd/2.5/ar/">https://creativecommons.org/licenses/by-nc-nd/2.5/ar/</a>
650 #4 - Entradas Secundarias - Términos temáticos
Fuente del encabezamiento o término Theory of Computation
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Teoria de la computación
653 ## - Término Indizado - No Controlado
Término Parametrised propositional dynamic logic
653 ## - Término Indizado - No Controlado
Término Infinite domain
653 ## - Término Indizado - No Controlado
Término Satisfiability
653 ## - Término Indizado - No Controlado
Término Service synthesis
653 ## - Término Indizado - No Controlado
Término Games
653 ## - Término Indizado - No Controlado
Término PDL
653 ## - Término Indizado - No Controlado
Término Lógica proposicional dinámica parametrizada
653 ## - Término Indizado - No Controlado
Término Dominio infinito
653 ## - Término Indizado - No Controlado
Término Satisfactibilidad
653 ## - Término Indizado - No Controlado
Término Síntesis de servidores
653 ## - Término Indizado - No Controlado
Término Juegos
700 1# - Entradas Secundarias - Nombre Personal
9 (RLIN) 593
Nombre Personal Areces, Carlos Eduardo,
Fechas asociadas con el nombre 1971- ,
Término de relación dir.
856 41 - Localización Electrónica y Acceso
Link text Acceso a RDU-UNC
Identificador Uniforme de Recurso (URI) http://hdl.handle.net/11086/2817
942 ## - Elementos Agregados (KOHA)
Source of classification or shelving scheme
Koha item type Trabajo Especial de Grado
945 ## - Inforación de Procesamiento Local (OCLC)
AAAA-MM-DD - Fecha de ingreso o modificacion 2015-06-15
-- 2020-04-27
Existencias
Estado de retiro Existencia (perdido o no perdido) Fuente de clasificación o esquema de estanterías Estado general No para préstamo Forma de Adquisición 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 Signatura topográfica Número de inventario (código de barras) Última vez visto (Koha) Número de copia Fecha del precio de reemplazo Tipo de ítem (Koha) Nota pública
        DONACIÓN FaMAF FaMAF Secc. Tesis y Trabajos especiales 15/06/2015 Donación de la autora Trabajo Especial Computación CAJA 19 - 22290 22290 21/07/2017 1 15/06/2015 Trabajo Especial de Grado Disponible también en línea


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)