Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Клини С. К. Стефен Коул
مؤلفون آخرون:	Весли Р. Ричард
اللغة:	الروسية
منشور في:	Москва, Наука, 1978
سلاسل:	Математическая логика и основания математики
الموضوعات:	интуиционизм математика рекурсивные функции континуум
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119555

مواد مشابهة

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

Основы теории алгоритмов и рекурсивных функций
حسب: Людковский С. В.
منشور في: (Москва, РТУ МИРЭА, 2022)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
حسب: Катленд Н. Найджел
منشور في: (Москва, Мир, 1983)

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

Таксономия рекурсивных зависимостей; Молодежь и современные информационные технологии
حسب: Соколова В. В. Вероника Валерьевна
منشور في: (2005)

Обработка рекурсивных данных конечными автоматами; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
حسب: Новосельцев В. Б. Виталий Борисович
منشور في: (2006)

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

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук
حسب: Соколова В. В. Вероника Валерьевна
منشور في: (Томск, [Б. и.], 2007)

Теория и алгоритмы обработки рекурсивных информационных структур: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
حسب: Соколова В. В. Вероника Валерьевна
منشور في: (Томск, [Б. и.], 2006)

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
حسب: Соколова В. В. Вероника Валерьевна
منشور في: (Томск, [Б. и.], 2007)

Автоматный подход к организации многомерных рекурсивных СУБД; Молодежь и современные информационные технологии
حسب: Новосельцев В. Б. Виталий Борисович
منشور في: (2006)

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

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

Введение в метаматематику: пер. с англ.
حسب: Клини С. К. Стефен К.
منشور في: (Москва, Изд-во иностранной литературы, 1957)

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

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

Курс чистой математики
حسب: Харди Г. Х.
منشور في: (Москва, Государственное изд-во иностранной литературы, 1949)

Метаматематика элементарной математики: пер. с нем.
حسب: Энгелер Э. Эрвин
منشور في: (Москва, Мир, 1987)

О философии математики: пер. с нем.
حسب: Вейль Г. Герман
منشور في: (Москва, URSS, 2010)

Т. 5: [обзоры]; Современные проблемы математики
منشور في: (1975)

Алгоритмы и рекурсивные функции
حسب: Мальцев А. И. Анатолий Иванович
منشور في: (Москва, Наука, 1965)

Алгоритмы и рекурсивные функции
حسب: Мальцев А. И. Анатолий Иванович
منشور في: (Москва, Наука, 1986)

Нейроны в поведении: системные аспекты
منشور في: (Москва, Наука, 1986)

Семиотический континуум учебное пособие
حسب: Путилина Л. В.
منشور في: (Оренбург, ОГУ, 2015)

Распределение зооплактона по продольному профилю двух нарушенных малых рек бассейна верхней Волги; Экология; № 5
حسب: Крылов А. В.
منشور في: (2004)

Философия математики, физики, химии, биологии: учебное пособие
حسب: Канке В. А. Виктор Андреевич
منشور في: (М, Кнорус, 2011)

Euclidian axiom 8 and the continuum-hypothesis; Перспективы развития фундаментальных наук
حسب: Sukhotin A. M. Aleksandr Mikhailovich
منشور في: (2013)

Проблема континуитета Третьего рейха в культурной политике Йозефа Пауля Геббельса; Трансформация научных парадигм и коммуникативные практики в информационном социуме
حسب: Билалутдинов М. Д. Марат Дамирович
منشور في: (2013)

Доказуемое и недоказуемое
حسب: Манин Ю. И. Юрий Иванович
منشور في: (Москва, Советское радио, 1979)

Вычислимое и невычислимое
حسب: Манин Ю. И. Юрий Иванович
منشور في: (Москва, Сов. радио, 1980)

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

Конструктивная теория доказательств и нестандартный анализ
حسب: Драгалин А. Г. Альберт Григорьевич
منشور في: (Москва, Едиториал УРСС, 2003)

Лингвокультурология и лингвострановедение учебное пособие
حسب: Проскурин С. Г.
منشور في: (Новосибирск, НГТУ, 2019)

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

Элементы теории множеств и комбинаторики: учебное пособие
حسب: Бро Л. Р.
منشور في: (Ташкент, Изд-во ТИНХ, 1981)

Механика континуума для инженеров
حسب: Фомин В. Л. Владимир Леонидович
منشور في: (Ленинград, Изд-во Ленинградского ун-та, 1975)

Рекурсивное оценивание параметров сварочной цепи с помощью расширенного фильтра Калмана; Технологии Microsoft в теории и практике программирования
حسب: Пякилля Б. И. Борис Иванович
منشور في: (2016)

Теория рекурсии для программистов
حسب: Головешкин В. А. Василий Адамович
منشور في: (Москва, Физматлит, 2006)

Сельскохозяйственное производство с точки зрения теории систем Статья
حسب: Корнев Г. Н. Григорий Николаевич
منشور في: (Иваново, Ивановская государственная сельскохозяйственная академия имени академика Д.К.Беляева, 2011)

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