VENDO LIBRO LÓGICA DE PRIMER ORDEN.

Breve Introducción: 10€ €
Ciudad: Albacete
Oferta: Libros de texto en Albacete
Anuncio
Publicado: 2015-11-07
Vistas: 1
Número de serie:8xeBpZP9
Por favor dígame que vea la información de armanax.com.
Fotos
Haga clic en la imagen para ampliarla



Vendo libro(totalmente nuevo): Lógica de primer orden. Autores: MªJesús Castel de Haro; Faraón Llorens Largo. índice: 1. Lógica de primer orden y los problemas de razonamiento;2. El lenguaje de la lógica de primer orden;3. Teoría semántica;4. Deducción natural en lógica de primer orden;5. Teoría axiomática;6. Metalógica;7. Normalización de fórmulas lógicas;8. Demostración automática de teoremas;9. Introducción a la programación lógica;Anexo. Lo vendo por 10euros(no incluidos gastos de envío). Tlf: 6 4 6 4 3 1 7 8 . ISBN 84-922775-5-6

Impresión
Anuncio