Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики
Ю.В. Голунков, З.К. Бухараева (1978)
Verojatnostnye metody i kibernetika
Similarity:
Displaying similar documents to “Критррий полноты систем операций в операторных алгоритмах, реализующих функции k-значной логики”
Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики
Полнота систем команд в машинах с конечным множеством состояний памяти
Ю.В. Голунков, Е.А. Князев (1979)
Verojatnostnye metody i kibernetika
Similarity:
О предполных классах алгоритмов, сохрахяющих принадлежность множеству I
Ю.В. Голунков (1980)
Verojatnostnye metody i kibernetika
Similarity:
О классах алгоритмов, сохраняющих отношения
Ю.В. Голунков (1982)
Verojatnostnye metody i kibernetika
Similarity:
Микропрограммные базисы на регистрах сдвига с четырмя обратными связями
Ю.В. Голунков (1976)
Verojatnostnye metody i kibernetika
Similarity:
О предполных классах алгоритмов, сохраняющих принадлежность множеству II
Ю.В. Голунков (1980)
Verojatnostnye metody i kibernetika
Similarity:
Об алгориметрической полноте некоторых систем функций и предикатов
Ю.В. Голунков, А.А. Савельев (1984)
Verojatnostnye metody i kibernetika
Similarity:
О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
Ю.В. Голунков, А.А. Савельев (1987)
Verojatnostnye metody i kibernetika
Similarity:
О некотором ослаблении интуиционистской логики
Ю.Н. Толстова (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
К проблеме полноты для систем функций алгебры логики с ненадежной реализацией
В.В. Тарасов (1975)
Matematiceskij sbornik
Similarity:
Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
Similarity:
О двух расширениях логики доказуемости GL
В.Ю. Шавруков (1990)
Matematiceskij sbornik
Similarity:
Механизм разрушения резонансных торов гамильтоновых систем
Д.В. Трещёв (1989)
Matematiceskij sbornik
Similarity:
Автоматизация проектирования лифтовых систем
Г.С. Гатауллин, В.М. Захаров, С.Е. Кузнецов, Л.И. Вольф-Троп, А.С. Карасов ([unknown])
Verojatnostnye metody i kibernetika
Similarity:
Траектории-утки релаксационных систем, связанные с нарушением условия нормального переключения
А.Ю. Колесов (1989)
Matematiceskij sbornik
Similarity:
О принципе усреднения для систем стохастических дифференциальных уравненеий
А.Ю. Веретенников (1990)
Matematiceskij sbornik
Similarity:
Об интегрируемости гамильтоновых систем с однородными конфигурационными пространствами
И.В. Микитюк (1986)
Matematiceskij sbornik
Similarity: