EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F65 Other constructive mathematics

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 23

0 пceвдoдиффepeцируйemoctи пceвдоравномерно нeпpepывных кoнструктивных функций пo функцияm тoгo жe типa

Osvald Demuth (1983)

Commentationes Mathematicae Universitatis Carolinae

Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике

Н.А. Шанин (1995)

Zapiski naucnych seminarov POMI

Достаточные условия нормируемости линейных операторов в конструктивной математике

Antonín Kučera (1971)

Commentationes Mathematicae Universitatis Carolinae

Некоторые конструктивизации абелевых групп

В.П. Добрица (1983)

Sibirskij matematiceskij zurnal

О Борелевых типах некоторых классов арифметических действительных чисел

Osvald Demuth (1982)

Commentationes Mathematicae Universitatis Carolinae

О дизъюнктивном ранге формул конструктивной арифметики

Г.С. Цейтин (1968)

Zapiski naucnych seminarov Leningradskogo

О исевдодиференцируемости конструктивных функций на конструктивных действительных числах

Osvald Demuth (1980)

Commentationes Mathematicae Universitatis Carolinae

О конcтpуктовных аналогах обобщено абсолютно непрерывных функций и функций обобщеной ограниченой вариации

Osvald Demuth (1978)

Commentationes Mathematicae Universitatis Carolinae

О конструктивном интеграле Перрона

Osvald Demuth (1980)

Acta Universitatis Carolinae. Mathematica et Physica

О конструктивных интегралах Данжуа

Osvald Demuth (1979)

Commentationes Mathematicae Universitatis Carolinae

О конструктивных периодических абелевых группах.

В.П. Добрица, А.Т. Нуртазин, Н.Г. Хисамиев (1978)

Sibirskij matematiceskij zurnal

О некоторых классах арифметических действительных чисел

Osvald Demuth (1982)

Commentationes Mathematicae Universitatis Carolinae

О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте $0 ▵ 1$ конструктивных функций

Osvald Demuth, Jan Polívka (1979)

Commentationes Mathematicae Universitatis Carolinae

О псевдодифференцируемости равномерно непрерывных конструктивных функций по функциям того же типа

Osvald Demuth (1981)

Commentationes Mathematicae Universitatis Carolinae

О свойствах неопределённых конструктивннх интегралов Лебега-Стилтьеса

Osvald Demuth, V. Kmínek (1980)

Commentationes Mathematicae Universitatis Carolinae

О числе неавтоэквивалентных конструктивизаций

С.С. Гончаров (1977)

Algebra i Logika

Об apифmeтичeckoй cлoжнocти диффеpeндиpoвaния в конструктивной математике

Osvald Demuth (1983)

Commentationes Mathematicae Universitatis Carolinae

Об использовании интеграла Римана-Стилтьеса в теории конструктивного интеграла Лебега и его обобщений

Osvald Demuth (1979)

Commentationes Mathematicae Universitatis Carolinae

Об одном обобщении конструктивного аналога теоремы К. М. Гарга

Osvald Demuth (1981)

Commentationes Mathematicae Universitatis Carolinae

Рекурсивные топологические пространства.

Е.И. Латкин (1995)

Sibirskij matematiceskij zurnal

Currently displaying 1 – 20 of 23

Page 1 Next