Geografisk Tidsskrift, Bind 86 (1986)Alan Bundy: The computer modelling of mathematical reasoning.Thomas Balstrøm Academic Press,
London 1983. XIV, 322 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. |