Поисковый запрос: (<.>R=27.03.19$<.>) |
Общее количество найденных документов : 18
Показаны документы с 1 по 18 |
1.
| Инвентарный номер: И-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 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
2.
| Инвентарный номер: 201552 - кх. 51 К 89
Кузнецов, Олег Петрович. Дискретная математика для инженера / О. П. Кузнецов. - Изд. пятое, стер. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2007. - 394, [1] с. : ил. - (Учебники для вузов. Специальная литература). - Предм. указ.: c. 390-393. - ISBN 078-5-8114-0570-1 : 280.06 р.ББК 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
3.
| Инвентарный номер: 205662 - кх. З97 М 15
Макконнелл, Джеффри Дж.. Анализ алгоритмов. Активный обучающий подход : учеб. пособие по направлению "Информатика и вычислительная техника" / Д. Дж. Макконнелл ; пер. c англ. С. А. Кулешова под ред. С. К. Ландо. - 3-е доп. изд. - Москва : Техносфера, 2009. - 415 с. - (Мир программирования). - Предм. указ.: с. 413-415. - Прил.: с. 390-412. - Пер. изд. : Analysis Algorithms. An Active Learning Approach / J. J. McConnell. - Boston, 2008. - ISBN 978-5-94836-216-8 : 362.10 р.ББК З97я7 + 510.3я7 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--УЧЕБНИКИ МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
4.
| Инвентарный номер: нет. Пр 22-1/67
Проблемы конструктивного направления в математике - 2 (Конструктивный математический анализ) : сборник работ / Академия наук СССР ; под редакцией Н. А. Шанина, [ответственный редактор И. Г. Петровский]. - Москва ; Ленинград : Издательство АН СССР, 1962. - 502, [1] с. - (Труды Математического института им. В. А. Стеклова ; т. 67). - Библиогр. в конце ст. - Б. ц.ББК 510.3я43(2) Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--СБОРНИКИ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
5.
| Инвентарный номер: 210197 - кх. 51 К 65
Конышева, Людмила Константиновна. Дискретная математика : учебное пособие для вузов / Л. К. Конышева ; РГППУ, Учреждение Рос. акад. образования "Уральское отд-ние". - Екатеринбург : РГППУ, 2010. - 205 с. : ил. - Библиогр.: с. 200. - Указ.: с. 2001-203. - ISBN 978-5-8050-0394-4 : 20.00 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
6.
| Инвентарный номер: 210198 - кх. 51 К 65
Конышева, Людмила Константиновна. Задачник по дискретной математике : учебно-метод. пособие для вузов / Л. К. Конышева, В. В. Мешков ; РГППУ, Учреждение Рос. акад. образования "Уральское отд-ние". - Екатеринбург : РГППУ, 2010. - 138, [1] с. : ил. - Библиогр.: с. 99. - ISBN 978-5-8050-0376-0 : 20.00 р.ББК 510.3я7-4 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
7.
| Инвентарный номер: 210825 - кх. 51 Ш 65
Шиханович, Юрий Александрович. Логические и математические исчисления : учеб. пособие / Ю. А. Шиханович. - Москва : Научный мир, 2011. - 253 с. - Библиогр.: с. 235-236. - Указ. терминов: с. 237-251. - ISBN 978-5-91522-246-4 : 353.00 р.ББК 510.33я73 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
8.
| Инвентарный номер: 211990 - кх. 51 П 58
Попов, Сергей Викторович. Прикладная логика : научное издание / С. В. Попов, Н. Л. Брошкова. - Москва : Физматлит, 2011. - 212 с. - Библиогр.: с. 210-212. - ISBN 978-5-9221-1340-3 : 254.88 р.ББК 510.3 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
9.
| Инвентарный номер: 213582 - кх. 51 И 20
Иванов, Борис Николаевич. Дискретная математика. Алгоритмы и программы. Расширенный курс : учеб. пособие для вузов / Б. Н. Иванов. - Москва : Известия, 2011. - 511 с. - Библиогр.: с. 501-502. - Предм. указ.: с. 503-509. - ISBN 978-5-206-00824-1 : 502.00 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
10.
| Инвентарный номер: 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 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
11.
| Инвентарный номер: 214310 - кх. 51 С 54
Соболева, Татьяна Сергеевна. Дискретная математика : учебное пособие для вузов по спец. "Информатика и вычислительная техника" / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - 2-е изд.,испр. - Москва : Академия, 2012. - 254, [2] с. : ил. - (Университетский учебник. Серия "Прикладная математика и информатика"). - Библиогр.: с. 252. - ISBN 978-5-7695-5580-0 : 355.30 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
12.
| Инвентарный номер: 217113 - кх. 51 К 44
Кислов, Алексей Геннадьевич. Логика высказываний: язык, алгебра, исчисления : учебное пособие для вузов / А. Г. Кислов, Г. К. Ольховников, С. Ю. Уколов. - Екатеринбург : Уральский ун-т, 2012. - 112, [2] с. - Библиогр.: с. 114. - ISBN 978-5-7996-0773-9 : 20.00 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
13.
| Инвентарный номер: 217225 - кх. 51 Е 80
Ершов, Юрий Леонидович. Алгоритмы и вычислимость в человеческом познании : монография / Ю. Л. Ершов, В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов ; РАН, СО, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497, [6] с. - (Интеграционные проекты СО РАН ; вып. 40). - Загл. на доп.тит.листе : Algorithms and computability in human knowledge. - Библиогр.: с. 490-497. - ISBN 978-5-7692-1248-8 : 1130.00 р.ББК 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
14.
| Инвентарный номер: 218292 - кх. 51 С 36
Силкина, Г. Ю. Дискретная математика. Теория множеств и алгебра логики : учебное пособие для вузов / Г. Ю. Силкина ; Санкт-Петербургский гос. политехн. ун-т. - Санкт-Петербург : Изд-во Политехнического ун-та, 2012. - 89, [2] с. : ил. - Библиогр.: с. 89. - ISBN 978-5-7422-3655-9 : 77.00 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
15.
| Инвентарный номер: 223041 - кх. 51 К 19
Канцедал, Сергей Андреевич. Экстремальные задачи дискретной математики : учебник для вузов по техн. спец. / С. А. Канцедал. - Москва : ИД" Форум" - ИНФРА-М, 2012. - 302, [1] с. : рис. - (Высшее образование). - Библиогр.: с. 300-302. - ISBN 978-5-8199-063309 (ИД Форум). - ISBN 978-5-16-011183-4 (Инфра-М) : 692.22 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
, Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
16.
| Инвентарный номер: 224539 - кх. 51 С 89
Судоплатов, Сергей Владимирович. Дискретная математика : учебник и практикум для акад. бакалавриата по техн. спец. / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - 5-е изд., испр. и доп. - Москва : Юрайт, 2016. - 279 с. - (Университеты России). - Библиогр.: с. 232-234. - Указ.: с. 262-279. - ISBN 978-5-9916-8350-0 : 726.21 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
, Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
17.
| Инвентарный номер: 224529 - кх. 51 Г 24
Гашков, Сергей Борисович. Дискретная математика : учебник и практикум для академического бакалавриата / С. Б. Гашков, А. Б. Фролов. - Москва : Юрайт, 2016. - 423 с. - (Бакалавр. Академический курс). - Библиогр.: с. 422-423. - ISBN 978-5-9916-6382-3 : 1042.41 р.ББК 510.3я73 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ
, Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
18.
| Инвентарный номер: 229200 - кх. 51 Ф 75
Фоккинк, Уон. Распределенные алгоритмы. Интуитивный подход : монография / У. Фоккинк ; [пер. с англ. К. Русецкий]. - Санкт-Петербург [и др.] : Питер, 2017. - 269 с. - (Для профессионалов). - Библиогр.: с. 259-264. - Указ.: с. 265-269. - Пер. изд. : Distributed Algorithms. An Intuitive Approach / W. Fokkink. - Cambridge, 2013. - ISBN 978-5-496-02163-0 : 962.40 р.ББК 510.37 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
, Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
|