Файл: Кушнер, Б. А. Лекции по конструктивному математическому анализу.pdf

Скачать файл
Заказать решение

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 15.10.2024

Просмотров: 124

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

БИБЛИОГРАФИЯ

433

[2]Remarques sur les operateurs recursifs et sur les fonctions recursives d'une variable reelle, там же 241, № 19 (1955), 1250— 1252.

[3] Quelques proprietes d'Analyse recursive, там же 244, № 7 (1957), 838—840; № 8 (1957), 996—997.

[4]Les ensembles recursivement ouverts ou fermes et leurs appli­ cations a l'Analyse recursive, там же 245, № 13 (1957), 1040— 1043; 246, № 1 (1958), 28—31.

[5]

Sur

les

possibilites

d'extension

de

la

notion

de

fonction

recur­

 

sive aux fonctions d'une ou plusieurs variables reelles, Raison-

 

nement

en

math,

et

en

sci.

experim.,

Paris,

 

CNRS,

1958,

 

67—74.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[6] Quelques

procedes de definition

en

topologie recursive,

Construc-

 

tivity

in mathematics, Amsterdam,

1959,

129—158.

 

 

 

 

 

Л а н д а у

 

( L a n d a u

E.)

 

 

 

 

 

 

 

 

 

 

 

 

 

[1]

Grundlagen

der

Analysis, 1930. [Русский

перевод:

 

Л а н д а у

Э.,

 

Основы

анализа, ИЛ, 1947.]

 

 

 

 

 

 

 

 

 

 

 

[2]

Einfiihrung

in

die

Differentialrechnung

und

Integralrechnung,

 

1934.

[Русский

перевод:

Л а н д а у

Э.,

Введение

в

дифферен­

 

циальное и интегральное исчисление, ИЛ, 1948.]

 

 

 

 

 

Л а х л а н ( L a c h l a n A . Ы.)

 

 

 

 

 

 

 

 

 

 

 

 

[1] Recursive

real numbers, J. Symbolic Logic 28,

 

N°

1

(1963),

 

1—16.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[2]

Effective

 

operations

in

a

general

setting,

J. Symbolic

Logic

29,

 

№ 4 (1964), 163—178.

 

 

 

 

 

 

 

 

 

 

 

 

 

Л а х л а н ,

М е д и с о н

( L a c h l a n

A. H., M a d i s o n

E. W.)

 

[1] Computable

fields

and

arithmetically definable

ordered

fields,

 

Proc. Amer. Math.

Soc. 24, №

4

(1970),

803—807.

 

 

 

Л е м а н

( L e h m a n

R. S.)

 

 

 

 

 

 

 

 

 

 

 

 

 

[1]On primitive recursive real numbers, Fundam. Math. 49 (1961), 105—118.

Ли ф ш и ц В. А.

[1]О конструктивных группах, Зап. научн. семинаров Ленингр.

отд. Матем. ин-та АН СССР им. В. А. Стеклова 4 (1967), 86—95.

[2] О конструктивных аналитических функциях одной веществен­ ной переменной, там же 8 (1968), 121—131.

[3]О множестве нулей конструктивного степенного ряда в веще­ ственной области, там же 16 (1969), 114—125.

[4] Об исследовании конструктивных функций методом запол­ нений, там же 20 (1971), 67—79.

[5] Локально аналитическая конструктивная функция, не являю­ щаяся аналитической, ДАН СССР 202, № 6 (1972), 1265— 1267.

Л о р е н ц А. А.

[1] Элементы конструктивной

теории вероятностей, Z. math. Lo-

gik Qrundl. Math. 15 (1969), 437—459.

Л о р е н ц е н ( L o r e n z e n P . )

 

[1] Constructive

mathematics

as a philosophical problem, Compo-

sitio math. 20

(1968), 133—142.

Лю с i e p н и к Л. А., С о б о л е в В. И.

[1]Элементы функционального анализа, «Наука», 1965, .

434

 

 

 

 

 

 

 

 

БИБЛИОГРАФИЯ

 

 

 

 

 

 

 

 

 

M a

з у р (М a z u

г

S.)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'1]

Computable

analysis, Edited by A. Grzegorczyk

and

 

H . Rasio-

 

wa,

Rozprawy Matematyczne, X X X I I I , Warszawa,

1963.

 

 

M а й x и л л

(M у h i 11 J.

R.)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1] Criteria

for

constructibility of

real

 

numbers,

J.

Symbolic

Logic

 

18, №

1 (1953), 7—10.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2] A recursive

function,

defined

on

a

compact

interval

and

having

 

a continuous derivative that is

not

recursive,

Mich. Math.

J.

18,

 

№

2 (1971), 97—98.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

М а й х и л л , Ш е п е р д с о н

( M y h i l l

J. R.,

S h e p h e r d s o n

J.C.)

1] Effective

operations

 

on

partial

recursive

functions,

Z.

math.

 

Logik Grundl. Math. 1 (1955), 310—317.

 

 

 

 

 

 

 

 

 

М а л ь ц е в

А. И.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1] Алгоритмы

и

рекурсивные

функции,

«Наука»,

1965.

 

 

М а н у к я н С .

Н.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1] О

конструктивных

кривых

и

 

криволинейных

интегралах

от

 

функций комплексной переменной, ИАН Арм. ССР 4, № 2

 

(1969),

137—143.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2] О внутренних точках невырожденных конструктивных кривых,

 

ДАН

СССР

194, № 4 (1971), 768—769.

 

 

 

 

 

 

 

 

 

М а р к о в

А. А.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теория

 

алгорифмов,

 

Труды

 

Матем.

 

ин-та

АН

СССР,

 

им. В. А. Стеклова

38,

Изд. АН

СССР,

 

1951,

176—189.

 

'2] Теория

 

алгорифмов,

Труды

 

Матем.

 

ин-та

АН

СССР

 

им. В. А. Стеклова 42, Изд. АН СССР,

1954.

 

 

 

 

 

 

3] О

непрерывности

конструктивных

функций,

УМН

9,

№

3

 

(61)

(1954), 226—229.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4]

Об

одном

принципе

конструктивной

математической

логики,

 

Труды 3-го Всесоюзного матем. съезда, т. 2, Изд. АН СССР,

 

1956,

146—147.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5] О

конструктивных

функциях,

Труды

Матем. ин-та

 

АН

СССР

 

им.

В. А. Стеклова

52,

Изд. АН

СССР,

 

1958,

315—348.

 

6] О

конструктивной

 

математике,

Труды

Магем.

 

ин-та

АН

 

СССР им. В. А. Стеклова 67,

 

Изд. АН

СССР,

1962,

8—14.

 

7] Комментарии

редактора

 

перевода,

 

в

кн.:

Г е й т и н г А., Ин­

 

туиционизм,

«Мир»,

1965.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8] An approach to constructive mathematical logic, «Logic, Metho­

 

dology

and

Philosophy of

Sciences*,

I I I , Amsterdam,

1968.

 

9] О

логике

конструктивной

математики,

Вестн.

МГУ, сер.

ма­

 

тем. мех., № 2 (1970), 7—29.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

М а р т и н - Л ё ф

( M a r t i n - L o f P . )

 

 

 

 

 

 

 

 

 

 

 

1] Notes on constructive mathematics,

 

Almqvist

&

Wiskell,

Stock­

 

holm,

1970.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

М а т и я с е в и ч Ю. В.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1] Достаточное

условие

сходимости

 

монотонных

последователь­

 

ностей, Зап. научн. семинаров Ленингр. отд. Матем. ин-та АН

 

СССР им. В. А. Стеклова

 

20

(1971), 97—1Q3.

 

 

 

 

 

 

М е н д е л ь с о н ( M e n d e l s o n E . )

 

 

 

 

 

 

 

 

 

 

 

 

 

1] Introduction

to Mathematical Logic, D. van Nostrand Co., Inc.,

 

Princeton — Toronto — N. Y. — London.

[Русский

перевод: M e н-

 

д e л ь с о н

Э.,

Введение

 

в

математическую

логику,

«Наука»,

 

1971.]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

БИБЛИОГРАФИЯ

 

 

 

М е ш к о в с к и й ( M e s c h k o w s k i H . )

 

 

 

[1] Rekursive

reele

Zahlen, Math.

Z.

66

(1956),

189—202.

 

M и н ц

Г. E.

 

 

 

 

 

 

 

 

[1] О

предикате

дифференцируемое™

и операторе дифференци­

рования

в

конструктивном

математическом анализе,

ДАН

СССР 147, № 5 (1962), 1032—1034.

 

 

 

[2] О

предикатных

и операторных

вариантах

построения

теорий

конструктивной

математики,

Труды

Матем. ин-та АН

СССР

им. В. А. Стеклова 72, «Наука», 1964,

383—436.

 

[3] Исправления и дополнения к статье «О предикатных и опера­

 

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

 

тики»,

Труды Матем. ин-та АН СССР

им. В. А. Стеклова

93,

 

«Наука», 1967, 257—258.

 

 

 

 

 

 

 

М и х а л и н е ц

( M i h a l j i n e c

М.)

 

 

 

 

 

 

[1]

On

the

continuity

of

constructive transformations

I — I I , Glasnik

 

Mat.-Fiz. Astr. 15

(1960), 21—29, 229—235.

 

 

 

[2]

Some

local

properties of

constructive

real functions,

Glasnik

 

Mat.-Fiz. Astr. 20 (1965), 33—37.

 

 

 

 

 

[3]

Inverse

upper bound

theorems

for

constructive real

functions,

 

там

же, 177—187.

 

 

 

 

 

 

 

 

 

[4] Одно

обобщение

 

конструктивно

равномерно

непрерывных

 

функций,

Международный

конгресс

математиков

(Москва,

 

1966),

Тезисы

кратких

научных

сообщений,

Секция

1,

 

1966,

21.

 

 

 

 

 

 

 

 

 

 

[5]

A

nonmonotonous

constructive

real

C°°-differentiable

function

 

having

no local maximum and no local

minimum,

Glasnik Mat.-

 

Fiz. Astr. 3 (1968), 155—164.

 

 

 

 

 

 

М о с к о в а к и с

( M o s c h o v a k i s

Y. N.)

 

 

 

 

[1]Recursive metric spaces, Fundam. Math. 55, № 3 (1964), 215— 238.

[2] Notation systems and recursive ordered fields, Compositio Math. 17 (1965), 40—71.

Мо с т о в с к и й ( M o s t o w s k i A . )

[1]Современное состояние исследований по основаниям матема­ тики, УМН 9, № 3 (61) (1954), 3—38.

[2]On computable sequences, Fundam. Math. 44, № 1 (1957), 37— 51.

[3]On various degrees of constructivism, Constructivity in mathe­

matics, Amsterdam, 1959,

178—194.

 

 

 

Н а г о р н ы й H . M .

 

 

 

 

 

[1] К усилению теоремы приведения теории алгорифмов,

ДАН

СССР 90, № 3 (1953), 341—342.

 

 

 

[2] О

минимальном

алфавите алгорифмов над данным алфави­

том, Труды Матем. ин-та АН СССР им. В. А. Стеклова

52,

Изд. АН СССР, 1958, 66—74.

 

 

 

[3] Некоторые обобщения

понятия

нормального алгорифма,

там

же, 7—65.

 

 

 

 

 

Н а т а н с о н

И. П.

 

 

 

 

 

[1] Теория

функций

вещественной переменной, Гостехиздат,

 

1957.

Н о г и н а Е. Ю.

 

 

 

 

 

[1] Об

эффективно

топологических

пространствах, ДАН

СССР

169, №

1 (1966),

28—31.

 

 

 

 

436

БИБЛИОГРАФИЯ

[2]Соотношения между некоторыми классами эффективно топо­ логических пространств, Матем. заметки б, № 4 (1969), 483— 495.

[3]Об одной теореме Московакиса, Труды 1-й конференции мо­

лодых

специалистов

Вычислительного центра АН Арм. ССР

и Ер. ГУ, I I I , Ереван,

1969, 92—100.

О р е в к о в

В. П.

 

(1]Конструктивное отображение квадрата в себя, сдвигающее каждую конструктивную точку, ДАН СССР 152, № 1 (1963), 55—58.

[2] О конструктивных отображениях круга

в себя, Труды Магем.

ин-та АН СССР им. В. А. Стеклова 72,

«Наука», 1964, 437—

461.

 

[3]Некоторые вопросы теории полиномов с конструктивными ве­ щественными коэффициентами, там же, 462—487.

[4] О

конструктивных

отображениях конечных полиэдров, Тру­

ды Матем. ин-та АН СССР им. В. А. Стеклова 93, «Наука»,

1967,

142—163.

 

[5] О

некоторых типах

непрерывности конструктивных операто­

ров, там же, 164—186.

[6]Некоторые свойства гомеоморфизмов конструктивных метри­ ческих пространств, Зап. научн. семинаров Ленингр. отд. Ма­

тем. ин-та АН СССР им. В. А. Стеклова 16 (1969), 157—164.

[7]Эквивалентность двух определений непрерывности, там же 20 (1970), 145—159.

[8]О непрерывности конструктивных функционалов, там же, 160—169.

Пе т е р (Р е t е г R.)

[1] Zur

Begriff

der rekursiven reellen Zahl, Acta

Scient. Math.

 

Szeged. 12A (1950), 239—245.

 

 

[2]

Rekursiven

Funktionen, Budapest, 1951.

[Русский

перевод: Пе ­

 

т е р

P., Рекурсивные

функции, ИЛ, 1954.]

 

Р а б и н

(R a b i n М. О.)

 

 

 

[1]

Computable

algebra,

general theory and

theory

of computable

fields, Trans. Amer. Math. Soc. 95, № 2 (1960), 341—360.

Ра й е ( R i c e H . G.)

[1]Recursive real numbers, Proc. Amer. Math. Soc. 5, № 5 (1954), 784—791.

Р и ч а р д с о н

( R i c h a r d s o n

D.)

 

[1] Some

undecidable

problems involving elementary

functions

of a real variable, J. Symbolic Logic 33, № 4 (1968).

 

Р о д ж е р с

( R o g e r s H., Jr.)

 

 

[1] Recursive

functions

and

effective computability, McGraw-Hill,

New York,

1967. [Русский

перевод: X. Р о д ж е р с , Теория рекур­

сивных

функций и эффективная вычислимость, «Мир»,

1972.]

Ру д и н (Ru d i n W.)

[1]Principles of mathematical analysis, McGraw-Hill Book Com­

pany, 1964. [Русский перевод: Р у д и н У., Основы математи­ ческого анализа, «Мир», 1966.]

Ск а р п е л л и н и ( S c a f p e l l i n i В.)

[1]Zwei unentscheidbare probleme der Analysis, Z. math. Logik Grundl. Math. 9 (1963), 265—289.

БИБЛИОГРАФИЯ

437

Сл и с е н к о А. О.

[1]О некоторых свойствах арифметических операций над дуплек­ сами, ДАН СССР 152, № 2 (1963), 292—295.

[2]О некоторых алгорифмических задачах, связанных с арифме­

тическими

операциями над функциями, Труды Матем. ин-та

АН СССР

им. В. А. Стеклова 72, «Наука», 1964, 488—523.

[3]Пример неразрывного, но не непрерывного конструктивного оператора в метрическом пространстве, там же, 524—532.

[4]О конструктивных несепарабельных пространствах, там же, 533—536.

[5]О максимальных регуляторах непрерывности конструктивных функций, Зап. научн. семинаров Ленингр. отд. Матем. ин-та АН СССР им. В. А. Стеклова 4 (1967), 201—208.

[6] Арифметические операции на некоторых множествах дуплек­ сов, Труды Матем. ин-та АН СССР им. В. А. Стеклова 93, «Наука», 1967, 187—207.

[7]О построении максимальных регуляторов непрерывности кон­ структивных функций, там же, 208—249.

[8] Некоторые вопросы

аппроксимации максимальных регулято­

ров непрерывности,

Труды Матем.

ин-та АН СССР

им. В. А. Стеклова ИЗ, «Наука», 1970,

73—78.

С о р ( S o a r e Robert I.)

 

 

[1] Cohesive sets and recursively enumerable

Dedekind cuts, Paci­

fic J. Math. 31, № 1 (1969), 215—231.

 

[2]Recursion theory and Dedekind cuts, Trans. Amer. Math. Soc. 140 (1969), 271—294.

Т р а х т е н б р о т Б. A.

 

[1] Табличное

представление

рекурсивных операторов, ДАН

СССР

101, № 3 (1955), 417—420.

[21 Алгоритмы

и машинное решение задач, Фйзматгиз, I960.

[3] Сложность

алгоритмов и

вычислений, Новосибирск, 1967.

Т ь ю р и н г

( T u r i n g А. М.)

 

[1]On computable numbers, with an application to the Entscheidungsproblem, Proc. Lond. Math. Soc, ser. 2, 42 (1936), 230—265.

[2]A correction, там же 43 (1937), 544—546.

У а й т х е д , Р а с с е л ( W h i t e h e a d A., R u s s e l l В.)

[1]Principia mathematica, vol. 1, London, 1910.

[2]Principia mathematica, vol. 2, London, 1912.

[3]Principia mathematica, vol. 3, London, 1913.

Ус п е н с к и й В. A.

[1] К теореме о равномерной непрерывности, УМН 12, № 1 (1957), 99—142.

[2]К вопросу о соотношении между различными системами кон­ структивных действительных чисел, Изв. высш. учебн. заведе­ ний, Математика, № 2 (15) (1960), 199—208.

[3] Лекции о вычислимых

функциях,

Фйзматгиз, 1960.

 

Ф а н Д и н ь З и е у

 

 

 

 

 

[1] Конструктивные локально выпуклые линейные

топологические

пространства,

ДАН СССР 162,

№

4 (1965), 766—769.

 

[2] Метризуемость, нормируемость

и

мультинормируемосгь

кон­

структивных

локально

выпуклых

пространств,

там же

162,

№ 5 (1965), 1011—1014.

 

 

 

 

 

Смотрите также файлы