Полное описание
Владимиров, А. А. ISBN 978-5-91601-016-9. - Текст : непосредственный.
Рубрики: Конструктивная математика
Доп. точки доступа: Домбровский-Кабанченко, М. Н.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-09/64376)
Шифр в сводном ЭК: f01fa11e6ed4e280f5535561a8fd6088
Владимиров А.А. Coadditive differential complexes on quantum groups and quantum spaces / А. А. Владимиров, 1994. - 10 c. - Текст : непосредственный. Зеленов Л.А. Многомерная типология науки / Л. А. Зеленов, П. Л. Зеленов, А. А. Владимиров, 2010. - 131 с. - Текст : непосредственный. Погребной С.Н. Opel Astra J. Выпуск с 2009 г. Бензиновые двигатели DOHC: 1.4 л (A14 XER), 1.4 л (A14NET, TURBO), 1.6 л (A16 XER), 1.6 л (A16LET, TURBO) : методический материал / С. Н. Погребной, А. А. Владимиров, 2010. - 359 с. - Текст : непосредственный. Зеленов Л.А. Современная глобализация. Состояние и перспективы / Л. А. Зеленов, А. А. Владимиров, Е. И. Степанов, 2010. - 298 с. - Текст : непосредственный. Погребной С.Н. Pegeot 308. Выпуск с 2007 г. Бензиновые двигатели: 1.6 л (R4, 16V), 1.6 л (R4, 16V Trubo) : методический материал / С. Н. Погребной, А. А. Владимиров, М. В. Титков, 2011. - 319 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Погребной С.Н. ГАЗ-31105-501/590 "Волга". Выпуск с 2005 г. Рестайлинг в 2007 г. Бензиновый двигатель Chrysler (2.4 л., DOHC, Евро-2, Евро-3) : рук. по эксплуатации, техн. обслуживанию и ремонту / С. Н. Погребной, А. А. Владимиров, 2010. - 352 с. - Текст : непосредственный. Погребной С.Н. Volkswagen Polo седан. Выпуск с 2010 г. Бензиновый двигатель 1.6 л 4 16 V (105 л. с.) : рук. по эксплуатации, техн. обслуживанию и ремонту в фотографиях / С. Н. Погребной, М. В. Титков, А. А. Владимиров, 2013. - 303 с. - Текст : непосредственный. Погребной С.Н. ГАЗ-31105/-31105-801. Выпуск с 2004 г. Рестайлинг в 2007 г. Седан. Бензиновый двигатель ЗМЗ-40621 (2.3 Л, DOHC, ЕВРО-2) : руководство по эксплуатации, техническому обслуживанию и ремонту в фотографиях / С. Н. Погребной, А. А. Владимиров, 2009. - 336 с. - Текст : непосредственный. Владимиров А.А. On the Hopf algebras generated by the Yang-Baxter r-matrices / А.А.Владимиров, 1993. - 12 p. - Текст : непосредственный. Погребной С.Н. Nissan Almera N16. Выпуск с 2000 по 2006 г. Бензиновые двигатели 1.5, 1.8 л : руководство по эксплуатации, техн. обслуживанию и ремонту / С. Н. Погребной, А. А. Владимиров, 2012. - 320 с. - Текст : непосредственный. Владимиров А.А. A method for obtaining quantum doubles from the Yang-Baxter R-matrices / А.А.Владимиров, 1992. - 8 p. - Текст : непосредственный. Владимиров А.А. Некоторые вопросы теории обыкновенных дифференциальных операторов в тройках пространств Соболева : автореф. дис. .. д-ра физ.-мат. наук: 01.01.02 / А. А. Владимиров, 2018. - 21 с. - Текст : непосредственный. NISSAN QASHQAI выпуск с 2007 г. NISSAN QASHQAI+2 выпуск с 2008 г. Бензиновые двигатели 1.6, 2.0 л (R4, 16V) : руководство по эксплуатации, техн. обслуживанию и ремонту в фотографиях / М. В. Титков [и др.], 2011. - 383 с. - Текст : непосредственный. Погребной С.Н. ГАЗель 3302/2705. Грузопассажирский автомобиль сегмента LCV. Выпуск с 1994 г., рестайлинг в 2003 г. Бензиновые двигатели: 2.5 л (ЗМЗ-4026/4025), 2.3 л (ЗМЗ-4061/4063), 2.5 л (ЗМЗ-40522, Евро-2), 2.5 л (ЗМЗ-40524, Евро-3) : руководство по эксплуатации, техн. обслуживанию и ремонту / С. Н. Погребной, А. А. Владимиров, 2011. - 352 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Шевченко В.В. О некоторых возможностях прикладного использования конструктивной математики / В. В. Шевченко, 2010. - 40 с. - Текст : непосредственный. Владимиров А.А. Ступенчатая семантическая система / А. А. Владимиров, М. Н. Домбровский-Кабанченко, 2009. - 306 с. - Текст : непосредственный. Edwards H.M. Essays in constructive mathematics / H. M. Edwards, 2005 r=on-line. - Текст : электронный. Акимов О.Е. Конструктивная математика : Учеб. пособие / О.Е. Акимов, 2005. - 293 с. - Текст : непосредственный. Марков, А. А. Избранные труды. Т. 2 : Теория алгоритмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы, 2003. - 626 с. - Текст : непосредственный. Кушнер Б.А. Лекции по конструктивному математическому анализу / Б. А. Кушнер, 1973. - 447 с. - Текст : непосредственный. Плиско, Валерий Егорович. Лекции по конструктивной логике / В. Е. Плиско, 2021. - 247 с. - Текст (визуальный) : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Шевченко В.В. О некоторых возможностях прикладного использования конструктивной математики / В. В. Шевченко, 2010. - 40 с. - Текст : непосредственный. Владимиров А.А. Ступенчатая семантическая система / А. А. Владимиров, М. Н. Домбровский-Кабанченко, 2009. - 306 с. - Текст : непосредственный. Edwards H.M. Essays in constructive mathematics / H. M. Edwards, 2005 r=on-line. - Текст : электронный. Яхонтов С.В. Разработка и реализация алгоритмов для работы с Flinspace конструктивными вещественными числами и алгоритмическими функциями над ними : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / С. В. Яхонтов, 2009. - 16 с. - Текст : непосредственный. Акимов О.Е. Конструктивная математика : Учеб. пособие / О.Е. Акимов, 2005. - 293 с. - Текст : непосредственный. Мельников А.Г. Проблемы классификации и конструктивные модели : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени доктора физико-математических наук / А. Г. Мельников, 2019. - 20 с. - Текст : непосредственный. Тростников В.Н. Конструктивные процессы в математике. Философский аспект / В. Н. Тростников; отв. ред. Б. В. Бирюков, Б. А. Кушнер, 2014. - 255 с. - Текст : непосредственный. Кушнер Б.А. Лекции по конструктивному математическому анализу / Б. А. Кушнер, 1973. - 447 с. - Текст : непосредственный. Коновалов А.Ю. Конструктивные семантики логических языков, основанные на обобщенной вычислимости : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. Ю. Коновалов, 2017. - 16 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
