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

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=МАТЕМАТИКА -- ОСНОВАНИЯ МАТЕМАТИКИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)
Общее количество найденных документов : 41
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-41   41-41 
1.
Инвентарный номер: И-12189 - кх.
   51
   A 44


   
    Alternative Logics. Do Sciences Need Them? : научное издание / ed. P. Weingartner. - Berlin [et al.] : Springer, 2004. - XVII, 367 с. - Указ.: с. 360-367. - Библиогр. в конце разд. - ISBN 3-540-40744-8 : 2452.00 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

2.
Инвентарный номер: И-13536 - кх.
   51
   C 59


   
    Classification and Regression Trees : научное издание / Leo Breiman [et al.]. - Boca Raton [et al.] : Chapman & Hall/CRC, 1984. - 358 p. - (The Wadsworth statistics/probability series). - Bibliogr.: p. 342-346. - ISBN 0-412-04841-8 : 1000.00 р.
ГРНТИ
ББК 510.3 + 514.1
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
   МАТЕМАТИКА--ТОПОЛОГИЯ


Для заказа издания воспользуйтесь услугами МБА
Найти похожие

3.
Инвентарный номер: И-12315 - кх.
   51
   H 68


    Hirvensalo, Mika (1972-).
    Quantum Computing : монография / M. Hirvensalo. - Second Ed. - Berlin [et al.] : Springer, 2004. - XIII, 214 p. - (Natural Computing Series). - Библиогр.: с. 205-209. - Указ.: с. 211-214. - ISBN 3-540-40704-9 : 1434.00 р.
Прил.: с. 113-204
ГРНТИ
ББК 510.37 + 530.141
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
   ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА


Для заказа издания воспользуйтесь услугами МБА
Найти похожие

4.
Инвентарный номер: И-12136 - кх.
   51
   M 81


    Monin, Jean-Francois.
    Understanding Formal Methods : научное издание / J. -F. Monin ; transl. ed. M. G. Hinchey. - London [et al.] : Springer, 2003. - XV, 275 p. - ISBN 1-85233-247-6 : 1725.00 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

5.
Инвентарный номер: И-12245 - кх.
   51
   S 53


    Shackell, John (1943-).
    Symbolic Acymptotics : научное издание / J. Shackell. - Berlin [et al.] : Springer, 2004. - XI, 243 с. - (Algorithms and Computation in Mathematics ; vol. 12). - Библиогр.: с. 235-240. - Указ.: с. 241-243 . - ISBN 3-540-21097-0 : 1870.00 р.
ГРНТИ
ББК 510.37
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

6.
Инвентарный номер: 215864 - кх.
   51
   Б 89


    Брюшинкин, Владимир Никифорович.
    Теория поиска вывода. Происхождение и философские приложения : научное издание / В. Н. Брюшинкин , Н. А. Ходикова ; Балтийский федеральный ун-т им. Иммануила Канта. - [Калининград] : Изд-во Балтийского федерального университета им. Иммануила Канта, 2012. - 165 с. - (Библиотека электронного журнала "РАЦИО.ru" ; вып. 6). - Библиогр.: с. 158-165. - ISBN 978-5-9971-0222-7 : 200.00 р.
ГРНТИ
ББК 510.3в
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

7.
Инвентарный номер: 224529 - кх.
   51
   Г 24


    Гашков, Сергей Борисович.
    Дискретная математика : учебник и практикум для академического бакалавриата / С. Б. Гашков, А. Б. Фролов. - Москва : Юрайт, 2016. - 423 с. - (Бакалавр. Академический курс). - Библиогр.: с. 422-423. - ISBN 978-5-9916-6382-3 : 1042.41 р.
ГРНТИ
ББК 510.3я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ

,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие

8.
Инвентарный номер: 237666 - кх.
   В12
   Г 24


    Гашков, Сергей Борисович.
    Теория алгоритмов и вычислений : учебное пособие для вузов / С. Б. Гашков. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2023. - 166 с. : ил. - (Высшее образование). - На обложке автор не указан. - Библиогр.: с. 163-164. - ISBN 978-5-507-468-97-3 : 1058.20 р.
ГРНТИ
ББК В127я73
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ


Найти похожие

9.
Инвентарный номер: 211643 - кх.
   51
   Г 29


    Гейн, Александр Георгиевич.
    Математические модели формирования понятийных связей : монография / А. Г. Гейн, В. П. Некрасов ; Сиб. гос. ун-т телекоммуникаций и информатики, Урал. техн. ин-т связи и информатики (фил.). - Екатеринбург : [б. и.], 2011. - 110 с. - Библиогр.: с. 108-110. - ISBN 978-5-91414-007-3 : 20.00 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

10.
Инвентарный номер: 221438 - кх; 3451-Дар - кх.
   51
   Г 47


    Гильберт, Давид.
    Основания математики. Логические исчисления и формализация арифметики : монография / Д. Гильберт, П. Бернайс ; пер с нем. Н. М. Нагорного под ред. С. И. Адяна. - Москва : Наука, Главная редакция ФИЗМАТЛИТА, 1979. - 557 с. - (Математическая логика и основания математики). - Алф. указ.: с. 551-557. - Пер. изд. : Grundlagen der Mathematik. I / D. Hilbert, P. Bernays. - Zweite Auflage. - Berlin [et al.], 1968. - 14.00 р.
ГРНТИ
ББК 510.3
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Для заказа издания воспользуйтесь услугами МБА
Найти похожие

 1-10    11-20   21-30   31-41   41-41 
 

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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