Философские проблемы оснований математики

Философские проблемы оснований математики

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Рузавин Г. И. Георгий Иванович
Լեզու:	ռուսերեն
Հրապարակվել է:	Москва, Наука, 1983
Խորագրեր:	математика философские проблемы аксиоматика аксиоматизация теория множеств логицизм гильбертовы пространства конструктивный расчет конструктивный подход
Ձևաչափ:	Գիրք
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=69435

Նմանատիպ նյութեր

Функциональный анализ. Специальные курсы: учебное пособие
‌: Луговая Г. Д. Галина Дмитриевна
Հրապարակվել է: (Москва, Изд-во ЛКИ, 2008)

Процессы и аппараты. Расчет и проектирование аппаратов для тепловых и тепломассообменных процессов учебное пособие для вузов
‌: Остриков А. Н.
Հրապարակվել է: (Санкт-Петербург, Лань, 2024)

Функциональный анализ: учебное пособие
‌: Князев П. Н. Павел Николаевич
Հրապարակվել է: (Минск, Вышэйшая школа, 1985)

Механика. Детали машин и основы конструирования учебно-методическое пособие для практической и самостоятельной работы
‌: Шелудяков О. И.
Հրապարակվել է: (Новосибирск, СГУВТ, 2019)

Расчет и конструирование усиления эксплуатируемых деревянных конструкций покрытий и перекрытий зданий и сооружений. Ч.2 учебно-методическое пособие
‌: Торопов А. С.
Հրապարակվել է: (Нижний Новгород, ННГАСУ, 2021)

Электронные усилители: учебник для вузов
‌: Цыкин Г. С. Георгий Сергеевич
Հրապարակվել է: (Москва, Связь, 1965)

Электронные усилители: учебник для вузов
‌: Цыкин Г. С. Георгий Сергеевич
Հրապարակվել է: (Москва, Связьиздат, 1960)

Конструктивный социализм
‌: Чернов В. М. Виктор Михайлович
Հրապարակվել է: (Москва, РОССПЭН, 1997)

Вып. 98; Труды Центрального научно-исследовательского автомобильного и автомоторного института (НАМИ)
Հրապարակվել է: (Москва, Типография НАМИ, 1968)

Усилительные устройства: учебник для вузов
‌: Цыкин Г. С. Георгий Сергеевич
Հրապարակվել է: (Москва, Связь, 1971)

Расчет калоризатора вакуум-выпарного аппарата методические указания к выполнению курсового проекта по дисциплине «процессы и аппараты пищевых производств» для подготовки бакалавров
‌: Гнездилова А. И.
Հրապարակվել է: (Вологда, ВГМХА им. Н.В. Верещагина, 2015)

Проектирование неразрезного ригеля железобетонного каркасного здания с применением ПК «Лира-САПР» учеб. пособие
‌: Чудинов Ю. Н.
Հրապարակվել է: (Комсомольск-на-Амуре, КНАГУ, 2021)

Основы проектирования стальных каркасов одноэтажных промзданий, оборудованных мостовыми кранами учебное пособие
‌: Колесов А. И.
Հրապարակվել է: (Нижний Новгород, ННГАСУ, 2021)

Антенные обтекатели (конструктивно-радиотехнический расчет с учетом метеофакторов)
‌: Замятин В. И. Вадим Иванович
Հրապարակվել է: (Минск, Изд-во БГУ, 1980)

Расчеты выпарных установок: учебное пособие
‌: Чернобыльский И. И. Иосиф Ильич
Հրապարակվել է: (Киев, [Б. и.], 1958)

Средства радиационной защиты в формировании конструктивного облика космического аппарата с ЯЭУ; Атомная энергия; Т. 100, вып. 1
Հրապարակվել է: (2006)

Проектирование монолитного железобетонного ребристого перекрытия с балочными плитами учебно-методическое пособие
‌: Тонков И. Л.
Հրապարակվել է: (Пермь, ПНИПУ, 2013)

Расчет рекуперативного парожидкостного теплообменного аппарата
‌: Дюкова И. Н.
Հրապարակվել է: (Санкт-Петербург, СПбГЛТУ, 2016)

Проектирование и расчет несущих конструкций сельскохозяйственных сооружений электронное учебно-методическое пособие по выполнению курсовой работы
‌: Ахмедьянова Л. В.
Հրապարակվել է: (Тольятти, ТГУ, 2014)

Расчет и проектирование теплообменников учебное пособие для вузов
‌: Остриков А. Н.
Հրապարակվել է: (Санкт-Петербург, Лань, 2023)

Рисунок натюрморта учебное пособие
‌: Царева Л. Н.
Հրապարակվել է: (Москва, МИСИ – МГСУ, 2015)

Усилители электрических сигналов
‌: Цыкин Г. С. Георгий Сергеевич
Հրապարակվել է: (Москва, Госэнергоиздат, 1962)

Теплообменные аппараты химических производств. Расчет конструирование: учебное пособие
‌: Шляхтов В. Г. Владимир Георгиевич
Հրապարակվել է: (Иваново, [Б. и.], 1977)

Исследование процесса извлечения урана из отходов сублиматного производства фторированием их элементарным фтором в условиях противоточного реагирования: диссертация на соискание ученой степени кандидата технических наук; спец. 05.17.02
‌: Тарземянов В. Н. Владимир Николаевич
Հրապարակվել է: (Томск, 1980)

Усилители электрических сигналов
‌: Цыкин Г. С. Георгий Сергеевич
Հրապարակվել է: (Москва, Энергия, 1969)

Исследование процесса извлечения урана из отходов сублиматного производства фторированием их элементарным фтором в условиях противоточного реагирования: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.17.02
‌: Тарземянов В. Н. Владимир Николаевич
Հրապարակվել է: (Томск, 1980)

Расчет химического реактора периодического действия емкостного типа с мешалкой учебное пособие
‌: Исаев В. Н.
Հրապարակվել է: (Иваново, ИГХТУ, 2016)

О философии математики: пер. с нем.
‌: Вейль Г. Герман
Հրապարակվել է: (Москва, URSS, 2010)

Расчет и проектирование оборудования химических производств учебно-методическое пособие
‌: Жуков В. И.
Հրապարակվել է: (Новосибирск, НГТУ, 2021)

Философия математики, физики, химии, биологии: учебное пособие
‌: Канке В. А. Виктор Андреевич
Հրապարակվել է: (М, Кнорус, 2011)

Проектирование и выбор выпарных трубчатых аппаратов учебное пособие
‌: Гусев Е. В.
Հրապարակվել է: (Иваново, ИГЭУ, 2023)

Введение в квантовую теорию информации
‌: Хренников А. Ю. Андрей Юрьевич
Հրապարակվել է: (Москва, Физматлит, 2008)

О сущности математики: [пер. с нем.]
‌: Фосс А. Аурель
Հրապարակվել է: (Санкт-Петербург, [Б. и.], 1911)

Практикум по решению задач по дисциплине «Теория электромагнитного поля» учебно-методическое пособие к практическим занятиям для студентов, обучающихся по направлению подготовки 35.03.06 – агроинженерия профиля подготовки электрооборудование и электротехнологии
‌: Шаронова Т. В.
Հրապարակվել է: (Чебоксары, ЧГАУ, 2018)

Плёночный вакуум-выпарной аппарат учебно-методическое пособие для студентов технологического факультета по специальностям: 260601 – машины и аппараты пищевых производств, 260303 – технология молока и молочных продуктов по направлениям подготовки бакалавров
‌: Гнездилова А. И.
Հրապարակվել է: (Вологда, ВГМХА им. Н.В. Верещагина, 2011)

Проектирование и расчет теплообменников: учебное пособие
‌: Алексеев С. В. Сергей Вячеславович
Հրապարակվել է: (Белгород, Изд-во БГТУ, 2008)

VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева, 5-7 сентября 1984 г., г. Новосибирск: тезисы докладов
Հրապարակվել է: (Новосибирск, Изд-во АН СССР, 1984)

Конструкции городских сооружений из дерева и пластмасс. Примеры расчета ограждающих конструкций однопролетных промзданий из древесины методические указания для студентов всех форм обучения по направлениям подготовки 08.03.01 «строительство», профили «промышленное и гражданское строительство», «городское строительство и хозяйство», и 07.03.01 «архитектура», профиль «архитектурное проектирование» (квалификация – бакалавр)
‌: Должиков В. Н.
Հրապարակվել է: (Сочи, СГУ, 2017)

Прикладной нестандартный анализ: пер. с англ.
‌: Девис М. Мартин
Հրապարակվել է: (Москва, Мир, 1980)

Dialectics in Modern Physics
Հրապարակվել է: (Moscow, Progress Publishers, 1979)