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

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

Bibliografske podrobnosti
Glavni avtor:	Драгалин А. Г. Альберт Григорьевич
Jezik:	ruščina
Izdano:	Москва, Едиториал УРСС, 2003
Teme:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

Podobne knjige/članki

Математическая логика пер. с англ.
od: Клини С. К. Стивен Коул
Izdano: (Москва, Едиториал УРСС, 2005)

Теория множеств и континуум-гипотеза
od: Коэн П. Д. Пол Дж.
Izdano: (Москва, Мир, 1969)

Элементы математической логики
od: Новиков П. С. Петр Сергеевич
Izdano: (Москва, Наука, 1973)

Что такое нестандартный анализ
od: Успенский В. А. Владимир Андреевич
Izdano: (Москва, Наука, 1987)

Топосы. Категорный анализ логики пер. с англ.
od: Голдблатт Р.
Izdano: (Москва, Мир, 1983)

Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
od: Кипнис М. М. Михаил Маркович
Izdano: (Челябинск, Изд-во ЧПИ, 1985)

Теория доказательств пер. с англ.
od: Такеути Г. Гаиси
Izdano: (Москва, Мир, 1978)

Основания интуиционистской математики с точки зрения теории рекурсивных функций пер. с англ.
od: Клини С. К. Стефен Коул
Izdano: (Москва, Наука, 1978)

Методологические проблемы интуиционистской математики
od: Панов М. И. Михаил Иванович
Izdano: (Москва, Наука, 1984)

Введение в аксиоматическую теорию выпуклости
od: Солтан В. П. Валерий Петрович
Izdano: (Кишинев, Штиинца, 1984)

Математическая логика учебное пособие для вузов
od: Ершов Ю. Л. Юрий Леонидович
Izdano: (СПб., Лань, 2005)

Начало высшей математики учебное пособие
od: Сухотин А. М. Александр Михайлович
Izdano: (Томск, Изд-во ТПУ, 2004)

Труды по теории множеств
od: Кантор Г. Георг
Izdano: (Москва, Наука, 1985)

Математическая логика и алгебра Сборник статей
Izdano: (Москва, Наука, 2003)

Технические диапозитивы
od: Селицкий И.
Izdano: (Харьков, Типография и Литография М. Зильберберг и С-вья, 1908)

Математическая логика учебное пособие
od: Ершов Ю. Л. Юрий Леонидович
Izdano: (СПб., Лань, 2005)

Природа антиномичности власти: концептуальный аспект
od: Сивопляс А. В.
Izdano: (2012)

Начало высшей математики учебное пособие
od: Сухотин А. М. Александр Михайлович
Izdano: (Томск, Изд-во ТПУ, 2008)

Симметрическая конструктивная логика
od: Заславский И. Д. Игорь Дмитриевич
Izdano: (Ереван, Изд-во АН Армянской ССР, 1978)

Методика обучения математике. Часть 1 учебное пособие для вузов
od: Сиротина И. К.
Izdano: (Санкт-Петербург, Лань, 2025)

Математическая логика учебное пособие для вузов
od: Ершов Ю. Л. Юрий Леонидович
Izdano: (Москва, Физматлит, 2011)

Начало высшей математики учебное пособие
od: Сухотин А. М. Александр Михайлович
Izdano: (Томск, Изд-во ТПУ, 2008)

Методологический анализ оснований математики
Izdano: (Москва, Наука, 1988)

Введение в теорию вероятностей
od: Колмогоров А. Н. Андрей Николаевич
Izdano: (Москва, Наука, 1982)

Ч. 2 : Теория множеств
Izdano: (1982)

Основания математики. Теория доказательств пер. с нем.
od: Гилберт Д. Давид
Izdano: (Москва, Наука, 1982)

Формальное и интуитивное в математическом познании
od: Карпунин В. А. Валерий Андреевич
Izdano: (Ленинград, Изд-во ЛГУ, 1983)

Математическая логика: дополнительные главы учебное пособие
od: Колмогоров А. Н. Андрей Николаевич
Izdano: (Москва, Изд-во МГУ, 1984)

Пособие для подготовки к единому государственному экзамену и централизованному тестированию по математике
od: Соболь Б. В. Борис Владимирович
Izdano: (Ростов-на-Дону, Феникс, 2003)

Сварка судовых конструкций: справ. материалы
od: Бурмистров Е. Г.
Izdano: (Нижний Новгород, ВГУВТ, 2015)

Обработка нечеткой информации в системах принятия решений
Izdano: (Москва, Радио и связь, 1989)

Исключение недопустимых доказательств в досудебном производстве
od: Титовец И. В.
Izdano: (Москва, РТУ МИРЭА, 2021)

Проблема символа в современной философии (критика и анализ)
od: Свасьян К. А. Карен Аваевич
Izdano: (Ереван, Изд-во Армянской ССР, 1980)

Исследования по математическому анализу и римановой геометрии
Izdano: (Новосибирск, Наука, 1992)

Математика учебное пособие
od: Стойлова Л. П. Любовь Петровна
Izdano: (Москва, Академия, 2005)

Нестандартные методы анализа
od: Кусраев А. Г. Анатолий Георгиевич
Izdano: (Новосибирск, Наука, 1990)

Математическая логика учебное пособие
od: Ершов Ю. Л. Юрий Леонидович
Izdano: (Москва, Наука, 1979)

Теория доказательств в уголовном процессе учебное пособие
od: Артамонова Е. А.
Izdano: (Чита, ЗабГУ, 2020)

Доказывание в уголовном процессе: оценка отдельных видов доказательств учебник для вузов
od: Барыгина А. А. Александра Анатольевна
Izdano: (Москва, Юрайт, 2025)

Доказывание в уголовном процессе: оценка отдельных видов доказательств учебное пособие для вузов
od: Барыгина А. А. Александра Анатольевна
Izdano: (Москва, Юрайт, 2021)