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

Базы данных


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

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

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

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

    Хаггарти, Род.
    Дискретная математика для программистов : учеб. для вузов / Р. Хаггарти ; пер. с англ. под С. А. Кулешов, авт. доп. А. А. Ковалев, В. А. Головешкин, М. В. Ульянов. - 2-е доп. изд. - Москва : Техносфера, 2012. - 399 с. : ил. - (Мир программирования). - Библиогр.: с. 395-396. - Предм. указ.: с. 397-399. - Пер. изд. : Discrete Mathematics for Computing / R. Haggarty. - London [et al.], 2002. - ISBN 978-5-94836-303-5 : 583.00 р.
ГРНТИ
27.03.19
ББК 510.3я73
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.
Инвентарный номер: 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
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
4.
Инвентарный номер: И-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
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.
Инвентарный номер: 178126 - бр.ф.; 185481 - кх.
   530.1
   П 76

   
    Применение математического моделирования для решения задач в науке и технике : сборник трудов конференции, Ижевск, 31 января-3 февраля 1996 г. / Российская академия наук, Институт математического моделирования РАН, Институт прикладной механики УрО РАН ; РАН. Институт математического моделирования, Институт прикладной механики УрО РАН ; ответственный редактор М. Ю. Альес. - Ижевск : [б. и.], 1996. - 294 с. : ил. - Библиогр. в конце ст. - ISBN 5-89238-007-6 : 25.00 р.
ГРНТИ
29.01
02.21
ББК 530.11я431(2) + 510.32я431(2)
Рубрики: ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА--КОНФЕРЕНЦИИ
   МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

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

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

    Кузнецов, Олег Петрович.
    Дискретная математика для инженера / О. П. Кузнецов. - Изд. пятое, стер. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2007. - 394, [1] с. : ил. - (Учебники для вузов. Специальная литература). - Предм. указ.: c. 390-393. - ISBN 078-5-8114-0570-1 : 280.06 р.
ГРНТИ
27.03.19
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

    Мышкис, Анатолий Дмитриевич.
    Элементы теории математических моделей / А. Д. Мышкис. - Москва : Наука. Физматлит, 1994. - 191 с. : ил. - Библиогр.: с. 186-187. Предм. указ.: с. 188-191. - ISBN 5-02-014850-4 : 5 000 р.
ББК 510.32
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

    Мышкис, Анатолий Дмитриевич.
    Элементы теории математических моделей : научное издание / А. Д. Мышкис. - Изд. третье, испр. - Москва : КомКнига, 2007. - 191 с. : ил. - Библиогр.: с. 186-187. - Предм. указ.: с. 188-191. - ISBN 978-5-484-00953-4 : 169.41 р.
ГРНТИ
27.03
ББК 510.32
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

    Редькин, Николай Петрович.
    Дискретная математика : учебник для вузов / Н. П. Редькин. - Москва : Физматлит, 2009. - 262 с. : ил., табл. - Библиогр.: с. 261-262. - ISBN 978-5-9221-1093-8 : 376.20 р.
ГРНТИ
27.03
ББК 510.3я73
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

    Новиков, Федор Александрович.
    Дискретная математика для программистов : учеб. для вузов / Ф. А. Новиков. - 3-е изд. - Санкт-Петербург [и др.] : Питер, 2008. - 383 с. : ил. - (Учебник для вузов). - Библиогр.: с. 368-369. - Предм. указ.: с. 370-383. - ISBN 978-5-91180-759-7 : 170.00 р.
ГРНТИ
27.03
ББК 510.3я73
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

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

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
13.
Инвентарный номер: 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
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

    Набебин, Алексей Александрович.
    Дискретная математика : учебник / А. А. Набебин ; [науч. ред. В. А. Захаров]. - Москва : Научный мир, 2010. - 509 с. - Библиогр.: с. 494-497. - ISBN 978-5-91522-190-0 : 200.00 р.
ГРНТИ
27.03
ББК 510.3я73
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

   
    Нечеткие множества и теория возможностей. Последние достижения / под редакцией Р. Ягера ; перевод с английского В. Б. Кузьмина под редакцией С. И. Травкина. - Москва : Радио и связь, 1986. - 405, [1] с. - Пер. изд. : Fuzzy set and possibility theory. Recent developments. - New York [et al.], 1982. - 15.00 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Найти похожие
16.
Инвентарный номер: 232680 - кх.
   51
   М 84

    Мостовский, А.
    Конструктивные множества и их приложения : монография / А. Мостовский ; перевод с английского М. И. Кратко [и др.] ; под редакцией: А. Г. Драгалина, А. Д. Тайманова. - Москва : Мир, 1973. - 256 с. - Библиогр.: с. 243-244. - Указ.: с. 251-253. - Пер. изд. : Constructible sets whith applications / A. Mostowski. - Amsterdam ; Warszawa, 1963. - 7.00 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

    Столл, Роберт.
    Множества. Логика. Аксиоматические теории : монография / Р. Столл ; пер. с англ. Ю. А. Гастева, И. Х. Шмаина ; под ред. Ю. А. Шихановича. - Москва : Просвещение, 1968. - 230, [1] с. - (Математическое просвещение). - Загл. на обл. не указано. - Указ.: с. 223-231. - Пер. изд. : Sets, Logic, and Axiomatic Theories / R. R. Stoll. - San Francisco and London, s. a. - 4.00 р.
ГРНТИ
27.03
ББК 510.3
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

Для заказа издания воспользуйтесь услугами МБА
Найти похожие
18.
Инвентарный номер: И-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
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
19.
Инвентарный номер: И-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
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
20.
Инвентарный номер: И-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
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--СПРАВОЧНИКИ

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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