Пенькова

Модели и методы искусственного интеллекта, Пенькова Т.Г., Вайнштейн Ю.В., 2019.

   Рассмотрены основные этапы и направления развития искусственного интеллекта, особенности построения систем, основанных на знаниях, принципы функционирования и технология разработки экспертных систем, основные стратегии поиска решений в задачах искусственного интеллекта, а также методы представления и использования знаний: продукционный, фреймовый подходы, семантические сети, формальные логические модели, методы обработки нечётких знаний.
Предназначено студентам направлений 09.03.04 «Программная инженерия», 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».

Математическая логика и теория алгоритмов, Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И., 2019.

   Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказывании, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».