登入選單
返回Google圖書搜尋
Lògica computacional
Xavier Binefa
出版Servei de Publicacions de la Universitat Autònoma de Barcelona, 1998
主題Computers / Computer Science
ISBN84490138449788449013843
URLhttp://books.google.com.hk/books?id=sanpEJv5naAC&hl=&source=gbs_api
EBookSAMPLE
註釋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.