Главная Новые поступления Описание Шлюз Z39.50

Базы данных


Каталог книг и продолжающихся изданий - результаты поиска

Вид поиска
Каталог книг и продолжающихся изданий
Сводный каталог иностранных периодических изданий, имеющихся в библиотеках УрО РАН
Сводный каталог отечественных периодических изданий, имеющихся в библиотеках УрО РАН
Каталог диссертаций и авторефератов диссертаций УрО РАН
Каталог препринтов УрО РАН (1975 г. - )
Имидж-каталог отечественных книг (до 2010 г.)
Имидж-каталог иностранных книг (до 2010 г.)
Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН
Публикации об УрО РАН
Изобретения уральских ученых
Интеллектуальная собственность (статьи из периодики)
Нанотехнологии
Демидовские премии
Гибель династии Романовых
История Урала
Личная библиотека С. В. Вонсовского
Книжная коллекция Шубиных
Труды Института высокотемпературной электрохимии УрО РАН
Труды Института истории и археологии УрО РАН
Труды сотрудников Института горного дела УрО РАН
Труды сотрудников Института органического синтеза УрО РАН
Труды сотрудников Института теплофизики УрО РАН
Труды сотрудников Института химии твердого тела УрО РАН
Расплавы
Труды сотрудников ЦНБ УрО РАН
Публикации Черешнева В.А.
Публикации Чарушина В.Н.
Каталог библиотеки ИЭРиЖ УрО РАН
Электронная энциклопедия «Дискурсология»
Библиометрия
Область поиска
в найденном
 Найдено в других БД:Каталог диссертаций и авторефератов диссертаций УрО РАН (1)Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН (13)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ОСНОВАНИЯ МАТЕМАТИКИ<.>)
Общее количество найденных документов : 44
Показаны документы с 1 по 20
 1-20    21-40   41-44 
1.
Инвентарный номер: И-13711 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 1. - 2013. - XXI, 672 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
2.
Инвентарный номер: И-13712 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 2. - 2013. - XXI, 673-1355 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.
Инвентарный номер: И-13713 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 3. - 2013. - XXI, 1357-2026 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
4.
Инвентарный номер: И-13714 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 4. - 2013. - XXI, 2027-2740 p. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.
Инвентарный номер: И-13715 - ч/з.
   51
   H 22

    Handbook of Combinatorial Optimization / ed. P. M. Pardalos, D. -Zh. Du, R. L. Graham. - 2nd ed. - New York [et al.] : Springer Reference, 2013 - .
   Vol. 5. - 2013. - XXI, 2741-3409 p. - Указ.: с. 3395-3409. - ISBN 978-1-4419-7996-4 : 27043.60 р.
ГРНТИ
27.03
ББК 510.3я22
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
6.
Инвентарный номер: И-11532 - кх.
   530.1
   Q 23

    Quantization, Gauge Theory, and Strings : proc. of the Intern. Conf. dedicated to the memory of Professor Efim Fradkin, Moscow, Russia, June 5-10, 2000 / Eds. A. Semikhatov etc. - Moscow : Scientific World, 2001 - .
   Vol. 1. - 583 c. - Библиогр. в конце ст. - Авт. указ.: с. 581-583. - ISBN 5-89176-125-4 : 338.80 р.
ББК 530.14я431(0) + 530.15я431(0) + 510.37я431(0)
РУБ 530.1
Рубрики: ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА--КОНФЕРЕНЦИИ
   МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
7.
Инвентарный номер: И-11533 - кх.
   530.1
   Q 23

    Quantization, Gauge Theory, and Strings : proc. of the Intern. Conf. dedicated to the memory of Professor Efim Fradkin, Moscow, Russia, June 5-10, 2000 / Eds. A. Semikhatov etc. - Moscow : Scientific World, 2001 - .
   Vol. 2. - 597 c. - Библиогр. в конце ст. - Публ. Е. С. Фрадкина: с. 569-591. - Авт. указ.: с. 595-597. - ISBN 5-89176-125-4 : 338.80 р.
ББК 530.14я431(0) + 530.15я431(0) + 510.37я431(0)
РУБ 530.1
Рубрики: ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА--КОНФЕРЕНЦИИ
   МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
8.
Инвентарный номер: 189886 - кх.
   51
   А 39

    Акимов, Олег Евгеньевич.
    Дискретная математика. Логика, группы, графы : Учеб. изд. / О. Е. Акимов. - Москва : Лаборатория Базовых Знаний, 2001. - 349 с. : табл. - (Математика). - (Технический университет). - ISBN 5-93208-053-1 : 97.00 р.
ББК 510.3я73
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
9.
Инвентарный номер: 193566 - кх.
   51
   А 39

    Акимов, Олег Евгеньевич.
    Дискретная математика: логика, группы, графы : Учеб. изд. / О. Е. Акимов. - 2-е изд., доп. - Москва : Лаборатория Базовых Знаний, 2001. - 376 с. : табл. - (Технический университет. Математика). - ISBN 5-93208-025-6 : 115.00 р.
ББК 510.3я73
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
10.
Инвентарный номер: 198892 - кх; 198893 - ИИиА.
   51
   В 20

    Васюков, В. Л.
    Квантовая логика : научное издание / В. Л. Васюков ; РАН, Ин-т философии. - Москва : ПЕР СЭ, 2005. - 191 с. - Библиогр.: с. 186-191. - ISBN 5-9292-0142-0 : 50.00 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
11.
Инвентарный номер: 189194 - кх.
   51
   Г 67

    Горбатов, Вячеслав Афанасьевич.
    Фундаментальные основы дискретной математики. Информационная математика : Учеб. для вузов / В. А. Горбатов ; авт. предисл. С. Я. Герценштейн. - Москва : Наука. Физматлит, 2000. - 544 с. : ил. - Библиогр.: с. 533-540. - ISBN 5-02-015238-2 : 115.00 р.
Вступ. ст. и аннот. на рус. и англ. яз.
ББК 510.3я73
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
12.
Инвентарный номер: 196601 - ч/з.
   51
   Д 48

   
    Дискретная математика : энциклопедия / гл. ред. В. Я. Козлов. - Москва : Большая Российская энциклопедия, 2004. - 382 с. - Предм. указ.: с. 375-382. - ISBN 5-85270-325-7 : 450.00 р.
ББК 510.3я20
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--ЭНЦИКЛОПЕДИИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
13.
Инвентарный номер: 195148 - кх.
   51
   Д 72

    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; ответственный редактор Г. Е. Минц ; предисловие Н. Н. Непейвода ; вступительная статья С. Н. Артемов [и др.] ; вводная статья В. Б. Шехтман. - Москва : УРСС, 2003. - 543 с. - Часть тр. на англ. яз. - Библиогр.: с. 219-230.- Прил.: с. 513-525.- Указ.: с. 526-543 . - ISBN 5-354-00387-3 : 247.28 р.
ГРНТИ
02.21
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
14.
Инвентарный номер: 217225 - кх.
   51
   Е 80

    Ершов, Юрий Леонидович.
    Алгоритмы и вычислимость в человеческом познании : монография / Ю. Л. Ершов, В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов ; РАН, СО, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497, [6] с. - (Интеграционные проекты СО РАН ; вып. 40). - Загл. на доп.тит.листе : Algorithms and computability in human knowledge. - Библиогр.: с. 490-497. - ISBN 978-5-7692-1248-8 : 1130.00 р.
ГРНТИ
27.03.19
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
15.
Инвентарный номер: 229257 - кх.
   51
   З-93

   Зуев, Юрий Анатольевич
    По океану дискретной математики: от перечислительной комбинаторики до современной криптографии / Ю. А. Зуев. - Изд. 2-е. - Москва : Ленанд, 2017 - .
   Т. 1 : Основные структуры. Методы перечисления. Булевы функции. - 2017. - 273 с. : рис. - Библиогр. в конце глав. - ISBN 978-5-9710-4095-8 : 504.00 р.
ГРНТИ
27.41.41
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
16.
Инвентарный номер: 213582 - кх.
   51
   И 20

    Иванов, Борис Николаевич.
    Дискретная математика. Алгоритмы и программы. Расширенный курс : учеб. пособие для вузов / Б. Н. Иванов. - Москва : Известия, 2011. - 511 с. - Библиогр.: с. 501-502. - Предм. указ.: с. 503-509. - ISBN 978-5-206-00824-1 : 502.00 р.
ГРНТИ
27.03.19
ББК 510.3я73
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
17.
Инвентарный номер: 193567 - кх.
   51
   И 20

    Иванов, Борис Николаевич.
    Дискретная математика. Алгоритмы и программы : Учеб. пособие для вузов / Б. Н. Иванов. - Москва : Лаборатория Базовых Знаний, 2002. - 288 с. - (Математика). - (Технический университет). - Библиогр.: с. 285. - Предм. указ.: с. 286-288. - ISBN 5-93298-093-0 : 90.00 р.
ББК 510.3я73
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
18.
Инвентарный номер: 221468 - кх.
   51
   К 26

    Карри, Хаскелл Б.
    Основания математической логики : монография / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. - Библиогр.: с. 518-547. - Указ.: с. 548-567. - Пер. изд. : Foundations of Mathematical Logic / H. B. Curry. - New York [et al.], 1963. - 10.00 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
19.
Инвентарный номер: 3455-Дар - кх.
   51
   К 33

    Кейслер, Г. Дж.
    Теория непрерывных моделей : монография / Г. Дж. Кейслер, Чэн Чень-чунь ; пер. с англ. Г. А. Бурле ; под ред. А. Г. Драгалина. - Москва : Мир, 1971. - 184 с. - Библиогр.: с.173-177. - Указ.: с. 178-182. - Пер. изд. : Continuous Model Theory / Chung Chang Chen, H. J. Keisler. - New Jersey, 1966. - Б. ц.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
20.
Инвентарный номер: 217113 - кх.
   51
   К 44

    Кислов, Алексей Геннадьевич.
    Логика высказываний: язык, алгебра, исчисления : учебное пособие для вузов / А. Г. Кислов, Г. К. Ольховников, С. Ю. Уколов. - Екатеринбург : Уральский ун-т, 2012. - 112, [2] с. - Библиогр.: с. 114. - ISBN 978-5-7996-0773-9 : 20.00 р.
ГРНТИ
27.03.19
ББК 510.3я73
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
 1-20    21-40   41-44 
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

Сиглы отделов ЦНБ УрО РАН


  бр.ф. - Бронированный фонд

  бф - Научно-библиографический отдел

  БХЛ - Фонд художественной литературы

  ИИиА -Фонд исторической литературы в ЦНБ УрО РАН

  ИМЕТ -Отдел ЦНБ в Институте металлургии УрО РАН

  кх - Отдел фондов (книгохранениe)

  МБА - Межбиблиотечный абонемент

  мф - Методический фонд

  ок - Отдел научной каталогизации

  оку - Отдел комплектования и учета

  орф - Обменно-резервный фонд

  пф - Читальный зал деловой и патентной информации

  рк - Фонд редкой книги

  ч/з - Главный читальный зал

  эр - Зал электронных ресурсов

  

Сиглы библиотек институтов и НЦ УрО РАН
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)
Яндекс.Метрика