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