Lògica Computacional

Autor:Binefa, Xavier;

Categoría:Otros temas

ISBN: 9788449013843

Servei de Publicacions de la Universitat Autònoma de Barcelona nos ofrece Lògica Computacional en catalán, disponible en nuestra tienda desde el 01 de Octubre del 1998. Amplía tus conocimientos sobre el mundo de los ordenadores con este libro de informática, perfectamente adaptado para todos los lectores por su cuidado contenido. Este libro cuenta con un total de 123 páginas , unas dimensiones de 28x20 cm (1. ed.).

Leer argumento »

Novedades Libros

Ver todas las novedades de libros »

Argumento de Lògica Computacional

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.0