Formalism in AI and computer science
著者
書誌事項
Formalism in AI and computer science
（Ellis Horwood series in artificial intelligence foundations and concepts）
E. Horwood, 1990
大学図書館所蔵 全9件
注記
Includes bibliographical references (p. [212]-221) and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より