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