Lÿgica computacional

No disponible

Descripción

El text recull les classes de l'assignatura de lògica computacional impartides per l'autor a Enginyeria Informàtica. Després d'un estudi aprofundit del ProLog i la programació lògica, s'estudien les bases lògiques (càlculs formals, semàntica i especialment càlcul per resolució) en què es fonamenta. El text conté nombrosos exercicis tipus tant de ProLog com de lògica.

Detalles del producto

Precio
9,01 €
Editorial
Servei de Publicacions de la Universitat Autònoma
Idioma
Catalán
Tipo
Sin especificar
EAN/UPC
9788449013843
Materias IBIC:

Obtén ingresos recomendado libros

Genera ingresos compartiendo enlaces de tus libros favoritos a través del programa de afiliados.

Únete al programa de afiliados