Geografisk Tidsskrift, Bind 86 (1986)

Alan Bundy: The computer modelling of mathematical reasoning.

Thomas Balstrøm

Academic Press, London 1983. XIV, 322
s. 23 cm. Pris ikke oplyst.

Målgruppen for denne bog er folk, som nsker at indbygge primitiv matematisk logik i en computer. Efter en grundig behandling af forskellige matematiske beslutningsprocesser gives der sidst i bogen eksempler på EDB-programmering i det relativt nyudviklede sprog PROLOG, som er specielt designet til programmering af kunstig intelligens (Artificial Intelligence (AI)). I alle basale afsnit er der gode øvelsesopgaver med facitliste i appendix.