Значок книги

Прямая и обратная теоремы И. С. Градштейн

Сохранить в:

Библиографические подробности
Автор:	Градштейн И. С.
Тип документа:	Книга
Язык:	Russian
Год издания:	Москва Наука 1972
Рубрика:	Доказательство
Ключевые слова:	Теоремы Доказательство Математическая логика

Схожие документы

Прямая и обратная теоремы
Автор: Градштейн И. С.
Год издания: (1950)

Исследования по теории доказательств
Автор: Крайзель Г.
Год издания: (1981)

Основания математики
Автор: Гильберт Д.
Год издания: (1982)

Алгоритмы вывода теорем метода векторных функций Ляпунова
Год издания: (1981)

Предельные теоремы для арифметических функций
Автор: Туляганова М. И.
Год издания: (1992)

Предельные теоремы для функционалов от случайных блужданий
Автор: Бородин А. Н.
Год издания: (1994)

Предельные теоремы для случайных сумм
Автор: Круглов В. М.
Год издания: (1990)

Многомерные тауберовы теоремы для обобщенных функций
Автор: Владимиров В. С.
Год издания: (1986)

Предельные теоремы для функций случайных величин
Автор: Гирко В. Л.
Год издания: (1983)

Предельные теоремы для процессов стохастического программирования
Автор: Каниовский Ю. М.
Год издания: (1980)

Предельные теоремы в условиях слабой зависимости
Автор: Булинский А. В.
Год издания: (1989)

Равномерные предельные теоремы для сумм независимых случайных величин
Автор: Арак Т. В.
Год издания: (1986)

Предельные теоремы для случайных процессов и их применения
Год издания: (1993)

Пространства дифференцируемых функций с доминирующей смешанной производной
Автор: Аманов Т. И.
Год издания: (1976)

Прикладная логика
Автор: Непейвода Н. Н.
Год издания: (1997)

Теоремы сложения
Автор: Ерофеенко В. Т.
Год издания: (1989)

Учимся рассуждать и доказывать
Автор: Никольская И. Л.
Год издания: (1989)

Непрерывная логика. Теория и применения
Автор: Волгин Л. И.
Год издания: (1990)

Предельные теоремы о больших уклонениях для марковских случайных процессов
Автор: Вентцель А. Д.
Год издания: (1986)

Игра и логика
Автор: Бизам Д.
Год издания: (1975)

Вычислимость и логика
Автор: Булос Д.
Год издания: (1994)

Теория моделей и ее применение
Год издания: (1988)

Проблема неполноты теории и ее гносеологическое значение
Автор: Антипенко Л. Г.
Год издания: (1986)

Элементы математической логики и некоторые алгебраические понятия
Автор: Ковригина Л. П.
Год издания: (1974)

Математическая логика
Автор: Клини С. К.
Год издания: (1973)

Диаграммы Венна
Автор: Кузичев А. С.
Год издания: (1968)

Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками
Автор: Яшин А. Д.
Год издания: (2000)

Элементарное введение в символическую логику
Автор: Бродский И. Н.
Год издания: (1972)

Математическая логика
Автор: Игошин В. И.
Год издания: (2012)

Первое знакомство с математической логикой
Автор: Депман И. Я.
Год издания: (1965)

Кольца и модули. Предельные теоремы теории вероятностей
Год издания: (1988)

Задачник по математической логике
Автор: Горбатов В. А.
Год издания: (1972)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1972)

Многоцветная логика
Автор: Бизам Д.
Год издания: (1978)

Ламбда-исчисление
Автор: Барендрегт Х. П.
Год издания: (1985)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1965)

Основания математики
Автор: Гильберт Д.
Год издания: (1979)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1979)

Рекурсивный математический анализ
Автор: Гудстейн Р. Л.
Год издания: (1970)

Основания математики
Автор: Гильберт Д.
Год издания: (1982)