Formalism in Artificial Intelligence and Computer Science

Arguing that computer science has not been as successful as it could be, the author presents a critique of current activity where computer scientists are attempting to follow a methodological path set out by traditional views of the natural sciences and engineering and mathematics disciplines. Leith questions the validity of computer science as an academic discipline, and expresses concern with the education of computer scientists. He relates computer science to social theory, using examples from computing and law, reasoning that we have attempted to dismiss the social context of computing while emphasising the formal. The text will benefit graduate and undergraduate students of computer science, artificial intelligence and the sociology of science, as well as those dealing with computers and the law.

ISBN 0133255492   DEWEY edition DC20 ISBN13 9780133255492 (What's this?)   Pages 200 Publisher Pearson Higher Education   Weight (grammes) 520 Imprint Ellis Horwood Ltd , Publisher   Published in Harlow Format Hardback   Series title Ellis Horwood series in artificial intelligence foundations & concepts Publication date 01 Apr 1990   Height (mm) 180 Library of Congress Q335.L43 1   Width (mm) 250 DEWEY 004.01   Academic level Postgraduate, Professional / Scholarly

Part 1 A short history of formalism. Part 2 Computer logic; logic information and knowledge; medieval logic programming; logic programming and law. Part 3 Software engineering; the problem of 'engineering'; proof of programs. Part 4 Computer science education; current strategies in teaching computer science; the missing elements in computer science education. Part 5 Replacing formalism in computer science; the sociology of computing as a science.

 Be the first to write a customer review