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

В книге собран и обобщен материал, необходимый для построения таких разделов современной кибернетики, как теория электронных цифровых машин, теория дискретных автоматов и теория дискретных самоорганизующихся систем, автоматизация мыслительных процессов, теория распознавания образов и др. Изложены основы теории булевых функций, теория алгоритмов, логические исчисления и логические сети, основные вопросы теории автоматов, принципы построения электронных цифровых машин и универсальных алгоритмических языков, основы теории персептронов, некоторые принципиальные вопросы теории самоорганизующихся систем. Многие фундаментальные результаты по математической логике и теории алгоритмов поданы конспективно, без подробных доказательств, а в ряде случаев и вовсе без доказательств.Рассчитана книга на широкие круги математиков и научных работников многих специальностей, желающих познакомиться с проблемами современной кибернетики.