Formalism in AI and computer science
Choice Reviews Online · 1990
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.