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

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

Podrobná bibliografie
Hlavní autor:	Драгалин А. Г. Альберт Григорьевич
Vydáno:	Москва, Едиториал УРСС, 2003
Témata:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

Podobné jednotky

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика учебное пособие
Autor: Колмогоров А.Н. Андрей Николаевич
Vydáno: (Москва, УРСС, 2005)