АКАДЕМИЯ НАУК УКРАИНСКОЙ ССР
НАУЧНЫЙ СОВЕТ ПО КИБЕРНЕТИКЕ
в. м. глушков
ВВЕДЕНИЕ
В КИБЕРНЕТИКУ
Издательство академии наук украинской с
КИЕВ — 1964
В книге собран и обобщен материал, необходимый для построе-
построения таких разделов современной кибернетики, как теория электрон-
электронных цифровых машин, теория дискретных автоматов и теория дис-
дискретных самоорганизующихся систем, автоматизация мыслительных
процессов, теория распознавания образов и др. Изложены основы
теории булевых функций, теория алгоритмов, логические исчисления
и логические сети, основные вопросы теории автоматов, принципы
построения электронных цифровых машин и универсальных алгорит-
алгоритмических языков, основы теории персептронов, некоторые принци-
принципиальные вопросы теории самоорганизующихся систем. Многие фундаментальные результаты по математической логике
и теории алгоритмов поданы конспективно, без подробных доказа-
доказательств, а в ряде случаев и вовсе без доказательств. Рассчитана книга на широкие круги математиков и научных ра-
работников многих специальностей, желающих познакомиться с проб-
проблемами современной кибернетики. -
¦t
4
H! '¦. -'¦. ; : . 1 >:
ПРЕДИСЛОВИЕ ' lr д
Цель настоящей книги заключается в том, чтобы познако-
познакомить читателя с рядом новых научных направлений, составляю-
составляющих основу кибернетики в ее современном понимании.
В наибо-
наиболее общем плане все эти направления можно подразделить на
две большие группы — на общую теорию преобразования ин-
информации и на теорию и принципы построения различного рода
преобразователей информации. Однако материал, который мож-
можно отнести к указанным большим направлениям, настолько об-
обширен, что его вряд ли возможно изложить даже конспективно
в одной книге. Поэтому необходимо было произвести отбор ма-
материала в соответствии с теми или иными общими принципами. Материал для настоящей книги отобран в соответствии
с двумя основными принципами. Первый принцип заключается
в требовании достаточно строгого оформления материала, поз-
позволяющего изложить его в виде некоторой математической тео-
теории (хотя и с характерным для кибернетики уклоном в сторону,
практического моделирования). Второй принцип состоит в том,
что автор ограничивается, как правило, дискретными способами
представления информации и дискретными преобразователями
информации. В результате отбора в книгу включены следующие основные
разделы: теория алгоритмов (включая программирование для
универсальных электронных цифровых машин и универсаль-
универсальные алгоритмические языки для программирования), теория
дискретных автоматов (включая теорию булевых функций и
понятие о принципах построения универсальных электронных
цифровых машин), теория дискретных самоорганизующихся си-
систем (включая элементы теории оптимальных решений) и, на-
наконец, математическая логика (исчисление высказываний, узкое
исчисление предикатов и формальная арифметика), рассмат-
рассматриваемая как база для автоматизации процесса построения
дедуктивных (основанных на той или иной системе аксиом)
теорий.