door Peter Gibbins · Clarendon Press · tapa blanda · ISBN 9780198596592
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Logic with Prolog» is het handboek over formele logica en logisch programmeren van Peter Gibbins, bij Clarendon Press, in paperback (336 pagina's, in het Engels).
Inleiding tot formele logica en logisch programmeren met Prolog: behandelt parsers, interpreters, bewijsverificatoren en theorema-bewijzers, de propositie- en predicatenlogica via natuurlijke deductie, de logica van een kleine imperatieve taal en de beperkingen van echt Prolog.
Oorspronkelijk gepubliceerd in 1988, maakt het deel uit van de Oxford Applied Mathematics and Computing Science Series en bevat het bibliografie en index.
Gericht op universitaire studenten en IT-professionals die geïnteresseerd zijn in logica en programmeren in Prolog.
