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