Кибернетика

Термин «кибернетика» был впервые употреблен французским математиком А.Ампером (1834), возрожден в 1948 г. американским ученым Н.Винером (в названии книги «Кибернетика, или Управление и связь в живом и машине» (Москва, 1983), излагающей основные концепции понимания кибернетической науки). Систематическое изложение идей кибернетики дал в 1956 г. английский ученый У.Эшби; дальнейшее развитие науки связано с работами американского инженера-математика К.Шеннона, выдающихся отечественных ученых А.А.Ляпунова, А.И.Берга, В.М.Глушкова и других. Несмотря на враждебное отношение к этой науке со стороны советских официальных научных кругов, значительный вклад в ее философские аспекты внес академик А.Н.Колмогоров. Основой развития отечественной научной школы математической кибернетики явились результаты по оценке структурной сложности дискретных функциональных систем (С.В.Яблонский, О.Б.Лупанов). Развитие вычислительной техники, обогащенное идеями кибернетики, сопровождалось разработкой теории практических машинных алгоритмов, зарождением науки информатики. За кибернетикой сохранилось ее более узкое понимание как науки, исследующей аналогии между машинами и живыми организмами, искусственный интеллект и проблемы философии.

С середины 1950-х гг. в Казанском университете начались интенсивные исследования в области кибернетики. В 1957 г. по инициативе В.В.Морозова при кафедре алгебры была создана лаборатория математического анализа, которая в 1960 г. (с установкой первой электронно-вычислительной машины «Урал-1») обрела статус вычислительного центра. В том же году в научно-исследовательском институте математики и механики при Казанском университете был создан отдел кибернетики. В 1971 г. на механико-математическом факультете университета открылась кафедра теоретической кибернетики, в 1978 г. на базе четырех кафедр механико-математического факультета был организован факультет вычислительной математики и кибернетики. С 1962 г. главной научной темой стало исследование теории вероятностных автоматов и конструирование вероятностных процессоров (Р.Г.Бухараев, В.М.Захаров, Ф.М.Аблаев, Н.Н.Нурмеев и другие). В 1990-е гг. получили развитие исследования в области изучения алгоритмических алгебр – «проблемы полноты» (Ю.В.Голунков, В.Б.Соловьев). Значительный вклад в теорию оценок сложности кибернетических функций внес Р.Г.Нигматуллин. Разработана эффективная теория автоматического тестирования интегральных схем на основе сжатия входно-выходной информации (Р.К.Латыпов). С начала 2000 г. было продолжено изучение проблематики вероятностных автоматов в исследовании квантовых автоматов (Ф.М.Аблаев), в решении проблемы алгоритмической полноты в области математической логики (М.М.Арсланов).

В 1968 г. при Казанском университете было основано отделение математического обеспечения Московского института электронных управляющих машин (МО ИНЭУМ), которое разрабатывало математическое обеспечение для советских электронно-вычислительных машин типа ЕС ЭВМ и СМ ЭВМ. В 1984 г. на базе отделения был организован филиал ИНЭУМ, преобразованный позже в Институт проблем информатики Академии наук РТ. В 1993 г. получила развитие проблематика искусственного интеллекта, в частности татарская компьютерная лингвистика, которая разрабатывалась в лаборатории проблем искусственного интеллекта, основанной при кафедре теоретической кибернетики университета с участием Академии наук РТ; основной вклад в прагматическую методологию этих исследований внес Дж.Ш.Сулейманов (2001). Теории доказательств и логического программирования развиты Н.К.Замовым и В.И.Шароновым; разработаны эффективные машинно-ориентированные методы доказательства теорем в исчислении предикатов, позволившие построить полные стратегии автоматического поиска доказательств для большинства известных разрешимых классов исчисления предикатов и модальных логик (Н.К.Замов); разработаны методы минимизации квазивыпуклых функционалов, имеющие приложения в теории оптимизации и применении электронно-вычислительных машин в экономике (Я.И.Заботин). Теоретические и практические результаты в области конструирования разных типов вероятностных машин получены учеными Казанского авиационного института (Б.Ф.Кирьянов, В.А.Песошин, В.И.Глова); ими разработана первая серийная модель управляемого генератора случайных кодов, развиты аппаратурные методы фильтрации и приложения теории случайных процессов к конструированию виброиспытателей радиотехнической аппаратуры (Ш.М.Чабдаров).

Энциклопедия кибернетики. Киев, 1974.

Автор – Р.Г.Бухараев