Конструктивная теория доказательств и нестандартный анализ

Конструктивная теория доказательств и нестандартный анализ

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Драгалин А. Г. Альберт Григорьевич
اللغة:	الروسية
منشور في:	Москва, Едиториал УРСС, 2003
الموضوعات:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

مواد مشابهة

Математический интуиционизм. Введение в теорию доказательств
حسب: Драгалин А. Г. Альберт Григорьевич
منشور في: (Москва, Наука, 1979)

Математическая логика: пер. с англ.
حسب: Клини С. К. Стивен Коул
منشور في: (Москва, Едиториал УРСС, 2005)

Теория множеств и континуум-гипотеза
حسب: Коэн П. Д. Пол Дж.
منشور في: (Москва, Мир, 1969)

Элементы математической логики
حسب: Новиков П. С. Петр Сергеевич
منشور في: (Москва, Наука, 1973)

Нестандартный анализ и векторные решетки: Монография
منشور في: (Новосибирск, Изд-во Ин-та математики СО РАН, 1999)

Что такое нестандартный анализ
حسب: Успенский В. А. Владимир Андреевич
منشور في: (Москва, Наука, 1987)

Топосы. Категорный анализ логики: пер. с англ.
حسب: Голдблатт Р.
منشور في: (Москва, Мир, 1983)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
حسب: Кипнис М. М. Михаил Маркович
منشور في: (Челябинск, Изд-во ЧПИ, 1985)

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.
حسب: Клини С. К. Стефен Коул
منشور في: (Москва, Наука, 1978)

Теория доказательств: пер. с англ.
حسب: Такеути Г. Гаиси
منشور في: (Москва, Мир, 1978)

Методологические проблемы интуиционистской математики
حسب: Панов М. И. Михаил Иванович
منشور في: (Москва, Наука, 1984)

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
منشور في: (1983)

Введение в аксиоматическую теорию выпуклости
حسب: Солтан В. П. Валерий Петрович
منشور في: (Кишинев, Штиинца, 1984)

Начало высшей математики: учебное пособие
حسب: Сухотин А. М. Александр Михайлович
منشور في: (Томск, Изд-во ТПУ, 2004)

Математическая логика: учебное пособие
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (СПб., Лань, 2004)

Математическая логика: учебное пособие для вузов
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (СПб., Лань, 2005)

Труды по теории множеств
حسب: Кантор Г. Георг
منشور في: (Москва, Наука, 1985)

Математическая логика и алгебра: Сборник статей
منشور في: (Москва, Наука, 2003)

Технические диапозитивы
حسب: Селицкий И.
منشور في: (Харьков, Типография и Литография М. Зильберберг и С-вья, 1908)

Математическая логика: учебное пособие
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (СПб., Лань, 2005)

Природа антиномичности власти: концептуальный аспект; Коммуникативные аспекты языка и культуры; Ч. 1
حسب: Сивопляс А. В.
منشور في: (2012)

Симметрическая конструктивная логика
حسب: Заславский И. Д. Игорь Дмитриевич
منشور في: (Ереван, Изд-во АН Армянской ССР, 1978)

Начало высшей математики: учебное пособие
حسب: Сухотин А. М. Александр Михайлович
منشور في: (Томск, Изд-во ТПУ, 2008)

Начало высшей математики: учебное пособие
حسب: Сухотин А. М. Александр Михайлович
منشور في: (Томск, Изд-во ТПУ, 2008)

Методика обучения математике. Часть 1 учебное пособие для вузов
حسب: Сиротина И. К.
منشور في: (Санкт-Петербург, Лань, 2025)

Математическая логика: учебное пособие для вузов
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (Москва, Физматлит, 2011)

Методологический анализ оснований математики
منشور في: (Москва, Наука, 1988)

Теория судебных доказательств; Избранные труды в 3-х томах
منشور في: (1991)

Инфинитезимальный анализ; Ч. 1
حسب: Гордон Е. И. Евгений Израилевич
منشور في: (Новосибирск, Изд-во Ин-та математики СО РАН, 2001)

Введение в теорию вероятностей
حسب: Колмогоров А. Н. Андрей Николаевич
منشور في: (Москва, Наука, 1982)

Ч. 2 : Теория множеств; Справочная книга по математической логике
منشور في: (1982)

Исключение недопустимых доказательств в досудебном производстве
حسب: Титовец И. В.
منشور في: (Москва, РТУ МИРЭА, 2021)

Основания математики. Теория доказательств: пер. с нем.
حسب: Гилберт Д. Давид
منشور في: (Москва, Наука, 1982)

Формальное и интуитивное в математическом познании
حسب: Карпунин В. А. Валерий Андреевич
منشور في: (Ленинград, Изд-во ЛГУ, 1983)

Пособие для подготовки к единому государственному экзамену и централизованному тестированию по математике
حسب: Соболь Б. В. Борис Владимирович
منشور في: (Ростов-на-Дону, Феникс, 2003)

Математическая логика: дополнительные главы: учебное пособие
حسب: Колмогоров А. Н. Андрей Николаевич
منشور في: (Москва, Изд-во МГУ, 1984)

Теория доказательств в уголовном процессе учебное пособие
حسب: Артамонова Е. А.
منشور في: (Чита, ЗабГУ, 2020)

Обработка нечеткой информации в системах принятия решений
منشور في: (Москва, Радио и связь, 1989)

Проблема символа в современной философии: (критика и анализ)
حسب: Свасьян К. А. Карен Аваевич
منشور في: (Ереван, Изд-во Армянской ССР, 1980)

Доказывание в уголовном процессе: оценка отдельных видов доказательств учебник для вузов
حسب: Барыгина А. А. Александра Анатольевна
منشور في: (Москва, Юрайт, 2025)