Перед Вами сборник научно-популярных статей из американского журнала Byte, написанных видными специалистами США, Англии, Канады. Здесь затрагивается широкий круг вопросов из области искусственного интеллекта: фундаментальные проблемы создания искусственного интеллекта, языки программирования, машинное зрение, биологические прототипы, экспертные системы и т. д. Книга адресована читателям, интересующимся достижениями современной науки и техники, а также всем, кто по роду своей профессиональной деятельности связан с вычислительной техникой.
В книге освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупнённых групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
В книге освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупнённых групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
