Programing wiht higher order-logic
Los sistemas formales que describen los cálculos sobre estructuras sintácticas son frecuentes en la informática. Programación lógica proporciona un marco natural para la codificación y la animación de este tipo de sistemas. Sin embargo, estos sistemas a menudo incorporan variables de unión, una noci...
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | Spanish English |
| Subjects: |
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 111442 | ||
| 003 | Ucuenca | ||
| 005 | 20230308185352.0 | ||
| 008 | 014063|2012 -us|||||r|||||||||||spa|| | ||
| 020 | |a 978052187940 | ||
| 040 | |b spa | ||
| 041 | 1 | |a eng | |
| 082 | 0 | |a 005.1 | |
| 245 | |a Programing wiht higher order-logic |c Dale Miller, Gopalan Nadathur |h foto | ||
| 264 | |a Cambridge |b University Press |c 2012 | ||
| 300 | |a xiii; 306 páginas: |c 24 cm |b tab | ||
| 504 | |a incl. ref. | ||
| 520 | 3 | |a Los sistemas formales que describen los cálculos sobre estructuras sintácticas son frecuentes en la informática. Programación lógica proporciona un marco natural para la codificación y la animación de este tipo de sistemas. Sin embargo, estos sistemas a menudo incorporan variables de unión, una noción que debe ser tratada con cuidado a nivel computacional. Este libro pretende demostrar que un lenguaje de programación basado en una versión simple escrito de la lógica de orden superior, proporciona un medio declarativos elegantes para proporcionar un tratamiento de este tipo. Tres grandes temas están cubiertos en la búsqueda de este objetivo. en primer lugar, un marco teórico-prueba que es compatible con una visión general de la programación lógica se identifica. segundo, una lengua real llamado [lambda] Prolog se desarrolla mediante la aplicación de este punto de vista a la lógica de orden superior. Finalmente, una metodología para la programación de las especificaciones se expone al mostrar cómo varios cálculos sobre los objetos formales tales como fórmulas lógicas, programas funcionales y [lambda]-términos y expresiones [pi]-cálculo puede ser codificado en [lambda] | |
| 650 | 4 | |a Informática |9 7361 | |
| 650 | 0 | |a Lenguaje de programación |9 243735 | |
| 653 | |a INFORMATICA | ||
| 650 | 0 | |a Programación informática |9 7362 | |
| 700 | 1 | |a Miller, Dale |9 117590 | |
| 700 | 1 | |a Nadathur, Gopalan |9 117591 | |
| 852 | |a UC-CDJBV |f Compra |l 1 |m General |p 20140630 |q 316.80 |r 2 |t 111442 |w Ingeniería |y 161286 |b 0 |d CDRC |e CDRC |g 005.1 PRIMER PISO |z 2014-40-63 | ||
| 856 | |a http://sibuc.ucuenca.edu.ec/portada/111442.jpg | ||
| 942 | |c BK | ||
| 999 | |c 69267 |d 69267 | ||