Булевы -алгебры и квазиоткрытые отображения.
Displaying 121 – 140 of 1185
Булевы модели и некоторые их применения
В.В. Пашенков (1975)
Matematiceskij sbornik
Вариант конструктивных ординалов Рихтера.
Н.В. Белякин (1969)
Algebra i Logika
Вариант нестандартного выпуклого программирования
С.С. Кутателадзе (1986)
Sibirskij matematiceskij zurnal
Верхние оценки удлинения выводов при устранении сечений
В.П. Оревков (1984)
Zapiski naucnych seminarov Leningradskogo
Верхние полурешетки нумераций
Ан.А. Мальцев (1982)
Sibirskij matematiceskij zurnal
Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения
Зуй Руан Данг, Г.С. Цейтин (1974)
Zapiski naucnych seminarov Leningradskogo
Верхняя полурешётка .
Ю.Л. Ершов, И.А. Лавров (1973)
Algebra i Logika
Верхняя полурешетка нумераций конечного множества.
Ю.Л. Ершов (1975)
Algebra i Logika
Вложения импликатных решеток и суперинтуиционистские логики
С.И. Мардаев (1987)
Algebra i Logika
Возможности операций одноместного суммирования и одноместного ограниченного умножения
Н.К. Косовский (1975)
Zapiski naucnych seminarov Leningradskogo
Вполне замкнутые отображения и совместимость некоторых теорем общей топологии с аксиомами теории множеств
В.В. Федорчук (1976)
Matematiceskij sbornik
Вполне перечислимые множества.
Ю.Д. Корольков (1999)
Sibirskij matematiceskij zurnal
Временная сложность многомерных машин Тьюринга
Д.Ю. Григорьев (1979)
Zapiski naucnych seminarov Leningradskogo
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Вычисление булевых функций на машинах Тьюринга
Н.Н. Нурмеев (1976)
Verojatnostnye metody i kibernetika
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
Н.В. Белякин, N.V. Beljakin, N.V. Belǎkin, N.V. Beljakin (1963)
Algebra i Logika
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.
М.Г. Перетятькин (1983)
Algebra i Logika
Вычисления с оракулами: обобщённая селекция.
Н.В. Белякин (1990)
Sibirskij matematiceskij zurnal
Вычислимость некоторых классов конструктивных алгебр
В.П. Добрица (1977)
Sibirskij matematiceskij zurnal