Учебное пособие содержит исчерпывающее, но в то же время лаконичное изложение основных способов представления знаний в компьютере и методов решения прикладных задач символического искусственного интеллекта. Рассмотрено представление знаний системами продукций и формулами логических исчислений. Изучены методы синтеза программ по непроцедурным спецификациям. Основу книги составляет материал лекционного курса, который автор читает в Санкт-Петербургском политехническом университете Петра Великого. Изложение сопровождается примерами, описанием алгоритмов и необходимыми сведениями из дискретной математики.Содержание учебного пособия соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования.Для студентов высших и средних учебных заведений, обучающихся по инженерно-техническим и естественнонаучным направлениям.