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

Базы данных


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

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

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

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

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

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

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

    Смаллиан, Рэймонд М..
    Как же называется эта книга? / Р. М. Смаллиан ; пер.; авт. предисл. Ю. А. Данилов. - Москва : Мир, 1981. - 239 с. - 10.00 р.
Пер. изд.: What is the Name of This Book? / R. M. Smullyan. - New Jersey, 1978
ББК 510.3я9
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--ПОПУЛЯРНЫЕ ИЗДАНИЯ

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

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

Найти похожие
7.
Инвентарный номер: 172245 - кх.
   51
   М 96

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

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

   
    Системная гиперкомплесная физика: Идеи Лобачевского в науке ХXI века : Сб. / И. А. Верещагин [et al.]. - Березники : [б. и.], 1996. - 240 с. : ил. - (Связь времен ; вып. 3). - 15 000 р.
ББК 530.1г + 510.3г
РУБ 530.1
Рубрики: ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА--СБОРНИКИ
   МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

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

    Китаев, А.
    Классические и квантовые вычисления / А. Китаев, А. Шень, М. Вялый. - Москва : МЦНМО: ЧеРо, 1999. - 191 с. : ил. - (Новые математические дисциплины). - Библиогр.: с. 186-188. - Предм. указ.: с. 189-191. - ISBN 5-900916-35-9. - ISBN 985-6595-04-5 : 45.00 р.
Загл. корешка: Классические и квантовые вычисления
ББК 510.37
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

    Новиков, Ф. А.
    Дискретная математика для программистов : Учеб. / Ф. А. Новиков. - Санкт-Петербург [и др.] : Питер, 2000. - 301 с. : ил. - (Учебник). - Библиогр.: с. 290-291. - Алф. указ.: с. 292-301. - ISBN 5-272-00183-4 : 67.60 р.
ББК 510.3я73
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

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

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

    Москинова, Галина Ивановна.
    Дискретная математика. Математика для менеджера в примерах и упражнениях : Учеб. пособие для вузов / Г. И. Москинова. - Москва : Логос, 2000. - 238 с. : табл. - (Учебник для XXI века). - Предм. указ.: с. 227-235. - ISBN 5-94010-016-3 : 57.46 р.
ББК 510.3я73
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

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

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

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

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

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

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

    Марченков, Сергей Серафимович.
    S-классификация функций трехзначной логики / С. С. Марченков. - Москва : Физматлит, 2001. - 79 с. - Библиогр.: с. 78-79. - ISBN 5-9221-0152-8 : 72.00 р.
ББК 510.33
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

    Яблонский, Сергей Всеволодович.
    Введение в дискретную математику : Учеб. пособие для вузов / С. В. Яблонский ; отв. ред. В. А. Садовничий. - 3-е изд., стер. - Москва : Высшая школа, 2001. - 384 с. : ил. - (Высшая математика). - Библиогр.: с. 370-372. - Указ.: с. 373-384. - ISBN 5-06-003951-X : 57.00 р.
ББК 510.3я73
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ

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

    Купершмидт, Борис А..
    КП или мКП: некоммутативная математика лагранжевых, гамильтоновых и интегрируемых систем / Б. А. Купершмидт ; пер. В. Э. Адлер. - Москва ; Ижевск : Редакция журнала "Регулярная и хаотическая динамика", 2002. - 612 с. - Библиогр.: с. 593-608.- Предм. указ.: с. 609-612. - ISBN 5-93972-170-2 : 220.00 р.
Пер. изд.: KP or mKP: Noncommutative Mathematics of Lagrangian, Hamiltonian, and Integrable Systems/ B. A. Kupershmidt.- Providence, 2000.- (Mathematical Surveys and Monographs; Vol. 78)
ББК 510.3
РУБ 51
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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