Критррий полноты систем операций в операторных алгоритмах, реализующих функции k-значной логики
Ю.В. Голунков (1980)
Verojatnostnye metody i kibernetika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики”
Критррий полноты систем операций в операторных алгоритмах, реализующих функции k-значной логики
О предполных классах алгоритмов, сохрахяющих принадлежность множеству 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:
Полнота систем команд в машинах с конечным множеством состояний памяти
Ю.В. Голунков, Е.А. Князев (1979)
Verojatnostnye metody i kibernetika
Similarity:
Об алгориметрической полноте некоторых систем функций и предикатов
Ю.В. Голунков, А.А. Савельев (1984)
Verojatnostnye metody i kibernetika
Similarity:
О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
Ю.В. Голунков, А.А. Савельев (1987)
Verojatnostnye metody i kibernetika
Similarity:
О некотором ослаблении интуиционистской логики
Ю.Н. Толстова (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О двух расширениях логики доказуемости GL
В.Ю. Шавруков (1990)
Matematiceskij sbornik
Similarity:
Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
Similarity:
К проблеме полноты для систем функций алгебры логики с ненадежной реализацией
В.В. Тарасов (1975)
Matematiceskij sbornik
Similarity:
Оценка для числа тупиковых д.н.ф. функций алгебры логики
Ю.И. Журавлев (1962)
Sibirskij matematiceskij zurnal
Similarity:
Модальные логики с LM-аксиомами.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity: