An introduction to the logical and algorithmic concepts of artificial intelligence, discussing automated reasoning, the use of propositional and predicated logic, proof strategies, writing programs, natural language processing, expert systems and searching state space, decompositions and trees.