Artificial intelligence and theoretical computer science. (Intelligence artificielle et informatique théorique.) (French) Zbl 0852.68002

Toulouse: Cépaduès Éditions. 520 p. (1994).
This is an undergraduate textbook for artificial intelligence newcomers and an introduction to some basic theoretical computer science problems. Considering the covered topics, the investigated areas are very broad: mathematical logic and the resolution principle, Turing machines, formal languages, calculability, NP-complexity, \(\chi\)-calculus, searching, AND/OR graphs, backtracking, game theory, minimax algorithm, expert systems, functional programming (Scheme), logic programming (Prolog), machine learning, neural networks, genetic algorithms, genetic programming. Hence, the task of the authors was hard and it is a pleasant surprise to see how well they did their job. The book is self-contained and makes an enjoyable reading considering is essayistic style. I recommend it as an appropriate supplementary reading to any undergraduate student interested in computer science. It may be also used as a handbook, providing newcomers with an insight into the status of artificial intelligence and theoretical computer science.


68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68T01 General topics in artificial intelligence
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
68Q45 Formal languages and automata
68W10 Parallel algorithms in computer science
68T05 Learning and adaptive systems in artificial intelligence