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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 51/A 44
Заглавие : Alternative Logics. Do Sciences Need Them? : научное издание
Выходные данные : Berlin [et al.]: Springer, 2004
Колич.характеристики :XVII, 367 с.
Примечания : Указ.: с. 360-367. - Библиогр. в конце разд.
ISBN, Цена 3-540-40744-8: 2452.00 р.
ГРНТИ : 27.03
ББК : 510.3
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
2.


    (Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : 51/C 59
Автор(ы) : Breiman Leo, Friedman, Jerome H, Olshen, Richard A, Stone, Charles J
Заглавие : Classification and Regression Trees : научное издание
Выходные данные : Boca Raton [et al.]: Chapman & Hall/CRC, 1984
Колич.характеристики :358 с
Серия: The Wadsworth statistics/probability series
Примечания : Bibliogr.: p. 342-346.
ISBN, Цена 0-412-04841-8: 1000.00 р.
ГРНТИ : 27.03
ББК : 510.3 + 514.1
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
МАТЕМАТИКА-- ТОПОЛОГИЯ
Экземпляры :кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 51/H 68
Автор(ы) : Hirvensalo, Mika (1972-)
Заглавие : Quantum Computing : монография . -Second Ed.
Выходные данные : Berlin [et al.]: Springer, 2004
Колич.характеристики :XIII, 214 с
Серия: Natural Computing Series
Примечания : Библиогр.: с. 205-209. - Указ.: с. 211-214. - Прил.: с. 113-204
ISBN, Цена 3-540-40704-9: 1434.00 р.
ГРНТИ : 27.03 + 29
ББК : 510.37 + 530.141
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
ФИЗИКА-- ТЕОРЕТИЧЕСКАЯ ФИЗИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 51/M 81
Автор(ы) : Monin, Jean-Francois
Заглавие : Understanding Formal Methods : научное издание
Выходные данные : London [et al.]: Springer, 2003
Колич.характеристики :XV, 275 с
ISBN, Цена 1-85233-247-6: 1725.00 р.
ГРНТИ : 27.03.19
ББК : 510.3
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 51/S 53
Автор(ы) : Shackell, John (1943-)
Заглавие : Symbolic Acymptotics : научное издание
Выходные данные : 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 р.
ГРНТИ : 27.03
ББК : 510.37
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
6.

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

Вид документа : Однотомное издание
Шифр издания : 51/Г 24
Автор(ы) : Гашков, Сергей Борисович, Фролов, Александр Борисович
Заглавие : Дискретная математика : учебник и практикум для академического бакалавриата
Выходные данные : Москва: Юрайт, 2016
Колич.характеристики :423 с
Серия: Бакалавр. Академический курс
Примечания : Библиогр.: с. 422-423
ISBN, Цена 978-5-9916-6382-3: 1042.41 р.
ГРНТИ : 27.03.19
ББК : 510.3я73
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры :кх(1)
Свободны : кх(1)
,
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
8.

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

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

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

Вид документа : Однотомное издание
Шифр издания : 51/Г 47
Автор(ы) : Гильберт, Давид, Бернайс, Пауль
Заглавие : Основания математики. Логические исчисления и формализация арифметики : монография
Выходные данные : Москва: Наука, Главная редакция ФИЗМАТЛИТА, 1979
Колич.характеристики :557 с
Серия: Математическая логика и основания математики
Перевод издания: Hilbert, D. Grundlagen der Mathematik. I/ D. Hilbert, P. Bernays. -Zweite Auflage. -Berlin [et al.], 1968
Примечания : Алф. указ.: с. 551-557
Цена : 14.00, р.
ГРНТИ : 27.03
ББК : 510.3
Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры : всего : кх(2)
Свободны : кх(2)
Для заказа издания воспользуйтесь услугами МБА
Найти похожие
 1-10    11-20   21-30   31-41   41-41 
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  

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