Handbook of logic in computer science : logic and algebraic methods [Material Impreso] / edición de S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Datos de publicación: Oxford: Clarendon Press, (c)2000; Nueva York: Oxford University Press, s.d.Descripción: vol. 5, 537 p. il. 16 x 24 cm IMPRESOISBN: 978-0-19-853781-6Tema(s): LOGICA SIMBOLICA | MATEMATICAS | LOGICA COMPUTACIONAL En: Abramsky, Samson ; ed. Handbook of logic in computer science En: Gabbay, Dov M. ; ed En: Maibaum, Thomas S. E. ; edResumen: Contenido: La teoría de tipos de Martin-Löf. La lógica categorial. Un método uniforme para probar los límites inferiores de la complejidad computacional de las teorías lógicas. Especificación algebraica de tipos abstractos de datos. Las funciones computables y semicomputable en álgebra.Tipo de ítem | Biblioteca de origen | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
Libro Sala | Centro | 511.3 ABR vol.5 | Disponible | C038467 |
Incluye Indice analítico.
Incluye Bibliografía.
Contenido: La teoría de tipos de Martin-Löf. La lógica categorial. Un método uniforme para probar los límites inferiores de la complejidad computacional de las teorías lógicas. Especificación algebraica de tipos abstractos de datos. Las funciones computables y semicomputable en álgebra.
Inglés.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.