Lògica computacional
17%
off

Lògica computacional

By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 2 business days
When will my order arrive?

Description

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.show more

Product details