В результате отбора в книгу включены следующие основные разделы: теория алгоритмов ( включая программирование для ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Глушков В.М.
Введение в кибернетику
В результате отбора в книгу включены следующие основные разделы: теория алгоритмов ( включая программирование для универсальных электронных цифровых машин и универсальные алгоритмические языки для программирования), теория дискретных автоматов ( включая теорию булевых функций и понятие о принципах построения универсальных электронных цифровых машин), теория дискретных самоорганизующихся систем ( включая элементы теории оптимальных решений) и, наконец, математическая логика ( исчисление высказываний, узкое исчисление предикатов и формальная арифметика), рассматриваемая как база для автоматизации процесса построения дедуктивных ( основанных на той или иной системе аксиом) теорий.
