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

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

מידע ביבליוגרפי
מחבר ראשי:	Клини С. К. Стефен Коул
מחברים אחרים:	Весли Р. Ричард
שפה:	רוסית
יצא לאור:	Москва, Наука, 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)

Основания математики. Логические исчисления и формализация арифметики.
מאת: Гильберт Д. Давид
יצא לאור: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
מאת: Гильберт Д. Давид
יצא לאור: (Москва, Наука, 1982)

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
מאת: Соколова В. В. Вероника Валерьевна
יצא לאור: (Томск, [Б. и.], 2007)

Введение в метаматематику: пер. с англ.
מאת: Клини С. К. Стефен К.
יצא לאור: (Москва, Изд-во иностранной литературы, 1957)

Автоматный подход к организации многомерных рекурсивных СУБД; Молодежь и современные информационные технологии
מאת: Новосельцев В. Б. Виталий Борисович
יצא לאור: (2006)

Курс чистой математики
מאת: Харди Г. Х.
יצא לאור: (Москва, Государственное изд-во иностранной литературы, 1949)

Топосы. Категорный анализ логики: пер. с англ.
מאת: Голдблатт Р.
יצא לאור: (Москва, Мир, 1983)

Метаматематика элементарной математики: пер. с нем.
מאת: Энгелер Э. Эрвин
יצא לאור: (Москва, Мир, 1987)

Формальное и интуитивное в математическом познании
מאת: Карпунин В. А. Валерий Андреевич
יצא לאור: (Ленинград, Изд-во ЛГУ, 1983)

Семиотический континуум учебное пособие
מאת: Путилина Л. В.
יצא לאור: (Оренбург, ОГУ, 2015)

Нейроны в поведении: системные аспекты
יצא לאור: (Москва, Наука, 1986)

Т. 5: [обзоры]; Современные проблемы математики
יצא לאור: (1975)

О философии математики: пер. с нем.
מאת: Вейль Г. Герман
יצא לאור: (Москва, URSS, 2010)

Алгоритмы и рекурсивные функции
מאת: Мальцев А. И. Анатолий Иванович
יצא לאור: (Москва, Наука, 1986)

Алгоритмы и рекурсивные функции
מאת: Мальцев А. И. Анатолий Иванович
יצא לאור: (Москва, Наука, 1965)

Распределение зооплактона по продольному профилю двух нарушенных малых рек бассейна верхней Волги; Экология; № 5
מאת: Крылов А. В.
יצא לאור: (2004)

Доказуемое и недоказуемое
מאת: Манин Ю. И. Юрий Иванович
יצא לאור: (Москва, Советское радио, 1979)

Euclidian axiom 8 and the continuum-hypothesis; Перспективы развития фундаментальных наук
מאת: Sukhotin A. M. Aleksandr Mikhailovich
יצא לאור: (2013)

Проблема континуитета Третьего рейха в культурной политике Йозефа Пауля Геббельса; Трансформация научных парадигм и коммуникативные практики в информационном социуме
מאת: Билалутдинов М. Д. Марат Дамирович
יצא לאור: (2013)

Вычислимое и невычислимое
מאת: Манин Ю. И. Юрий Иванович
יצא לאור: (Москва, Сов. радио, 1980)

Философия математики, физики, химии, биологии: учебное пособие
מאת: Канке В. А. Виктор Андреевич
יצא לאור: (М, Кнорус, 2011)

Восемь лекций по математическому анализу
מאת: Хинчин А. Я. Александр Яковлевич
יצא לאור: (Москва, Наука, 1977)

Лингвокультурология и лингвострановедение учебное пособие
מאת: Проскурин С. Г.
יצא לאור: (Новосибирск, НГТУ, 2019)

Механика континуума для инженеров
מאת: Фомин В. Л. Владимир Леонидович
יצא לאור: (Ленинград, Изд-во Ленинградского ун-та, 1975)

Элементарные рекурсивные функции
מאת: Марченков С. С. Сергей Серафимович
יצא לאור: (Москва, МЦНМО, 2003)

Элементы теории множеств и комбинаторики: учебное пособие
מאת: Бро Л. Р.
יצא לאור: (Ташкент, Изд-во ТИНХ, 1981)

Сельскохозяйственное производство с точки зрения теории систем Статья
מאת: Корнев Г. Н. Григорий Николаевич
יצא לאור: (Иваново, Ивановская государственная сельскохозяйственная академия имени академика Д.К.Беляева, 2011)

Ишемическая болезнь сердца и хроническая обструктивная болезнь легких: патогенетические взаимосвязи, особенности терапии учебн.-метод. пособие
מאת: Кузнецов А. Н.
יצא לאור: (Нижний Новгород, ПИМУ, 2017)

Рекурсивное оценивание параметров сварочной цепи с помощью расширенного фильтра Калмана; Технологии Microsoft в теории и практике программирования
מאת: Пякилля Б. И. Борис Иванович
יצא לאור: (2016)

Теория рекурсии для программистов
מאת: Головешкин В. А. Василий Адамович
יצא לאור: (Москва, Физматлит, 2006)

Женщина с точки зрения пьяницы
מאת: Чехов А. П.
יצא לאור: (Санкт-Петербург, Лань, 2013)