Кибернетический сборник. Старая серия. Выпуск 8

Математические вопросы ......Page 4 Некоторые критерии полноты для множеств функций многозначной логики. А. Саломаа (Перевод Е. Ю. Захаровой) ......Page 5 О числе информационных символов в кодах Боуза — Чоудхури. Г. Б. Манн (Перевод В. И. Левенштейна) ......Page 31 Слабая арифметика второго порядка и конечные автоматы. Д. Р. Бюхи (Перевод Ю. И. Янова и А. Д. Коршунова) ......Page 40 О разрешающем методе для ограниченной арифметики второго порядка. Д. Р. Бюхи (Перевод Ю. И. Янова и А. Д. Коршунова) ......Page 76 Синтез вероятностных преобразователей. А. Гилл (Перевод Е. Ю. Захаровой) ......Page 89 Вычислительные машины и программирование ......Page 111 Развитие вычислительной техники в Чехословакии. Система счисления остаточных классов (СОК). А. Свобода (Перевод Ю. Л. Зимана) ......Page 113 Определение знака в неизбыточных системах счисления остаточных классов. Н. Сабо (Перевод Ю. Л. Зимана) ......Page 147 Деление и определение переполнения в системах счисления остаточных классов. И. А. Кейр, П. В. Чини, М. Таненбаум (Перевод Ю. Л. Зимана) ......Page 164 Некоторые технические реализации ......Page 177 Построение машин условной вероятности. А. Аттли (Перевод И. В. Соловьева) ......Page 179 О механическом моделировании образования привычек и обучения. С. Горн (Перевод И. В. Соловьева) ......Page 202 Оглавление ......Page 233