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 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 К 89 Кузнецов, Олег Петрович. Дискретная математика для инженера / О. П. Кузнецов. - Изд. пятое, стер. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2007. - 394, [1] с. : ил. - (Учебники для вузов. Специальная литература). - Предм. указ.: c. 390-393. - ISBN 078-5-8114-0570-1 : 280.06 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ Для заказа издания воспользуйтесь услугами МБА |
З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 р.
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--УЧЕБНИКИ МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
Пр 22-1/67 Проблемы конструктивного направления в математике - 2 (Конструктивный математический анализ) : сборник работ / Академия наук СССР ; под редакцией Н. А. Шанина, [ответственный редактор И. Г. Петровский]. - Москва ; Ленинград : Издательство АН СССР, 1962. - 502, [1] с. - (Труды Математического института им. В. А. Стеклова ; т. 67). - Библиогр. в конце ст. - Б. ц.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--СБОРНИКИ Для заказа издания воспользуйтесь услугами МБА |
51 К 65 Конышева, Людмила Константиновна. Дискретная математика : учебное пособие для вузов / Л. К. Конышева ; РГППУ, Учреждение Рос. акад. образования "Уральское отд-ние". - Екатеринбург : РГППУ, 2010. - 205 с. : ил. - Библиогр.: с. 200. - Указ.: с. 2001-203. - ISBN 978-5-8050-0394-4 : 20.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 К 65 Конышева, Людмила Константиновна. Задачник по дискретной математике : учебно-метод. пособие для вузов / Л. К. Конышева, В. В. Мешков ; РГППУ, Учреждение Рос. акад. образования "Уральское отд-ние". - Екатеринбург : РГППУ, 2010. - 138, [1] с. : ил. - Библиогр.: с. 99. - ISBN 978-5-8050-0376-0 : 20.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ Для заказа издания воспользуйтесь услугами МБА |
51 Ш 65 Шиханович, Юрий Александрович. Логические и математические исчисления : учеб. пособие / Ю. А. Шиханович. - Москва : Научный мир, 2011. - 253 с. - Библиогр.: с. 235-236. - Указ. терминов: с. 237-251. - ISBN 978-5-91522-246-4 : 353.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 П 58 Попов, Сергей Викторович. Прикладная логика : научное издание / С. В. Попов, Н. Л. Брошкова. - Москва : Физматлит, 2011. - 212 с. - Библиогр.: с. 210-212. - ISBN 978-5-9221-1340-3 : 254.88 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 И 20 Иванов, Борис Николаевич. Дискретная математика. Алгоритмы и программы. Расширенный курс : учеб. пособие для вузов / Б. Н. Иванов. - Москва : Известия, 2011. - 511 с. - Библиогр.: с. 501-502. - Предм. указ.: с. 503-509. - ISBN 978-5-206-00824-1 : 502.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
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 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 С 54 Соболева, Татьяна Сергеевна. Дискретная математика : учебное пособие для вузов по спец. "Информатика и вычислительная техника" / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - 2-е изд.,испр. - Москва : Академия, 2012. - 254, [2] с. : ил. - (Университетский учебник. Серия "Прикладная математика и информатика"). - Библиогр.: с. 252. - ISBN 978-5-7695-5580-0 : 355.30 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 К 44 Кислов, Алексей Геннадьевич. Логика высказываний: язык, алгебра, исчисления : учебное пособие для вузов / А. Г. Кислов, Г. К. Ольховников, С. Ю. Уколов. - Екатеринбург : Уральский ун-т, 2012. - 112, [2] с. - Библиогр.: с. 114. - ISBN 978-5-7996-0773-9 : 20.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 Е 80 Ершов, Юрий Леонидович. Алгоритмы и вычислимость в человеческом познании : монография / Ю. Л. Ершов, В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов ; РАН, СО, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497, [6] с. - (Интеграционные проекты СО РАН ; вып. 40). - Загл. на доп.тит.листе : Algorithms and computability in human knowledge. - Библиогр.: с. 490-497. - ISBN 978-5-7692-1248-8 : 1130.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ Для заказа издания воспользуйтесь услугами МБА |
51 С 36 Силкина, Г. Ю. Дискретная математика. Теория множеств и алгебра логики : учебное пособие для вузов / Г. Ю. Силкина ; Санкт-Петербургский гос. политехн. ун-т. - Санкт-Петербург : Изд-во Политехнического ун-та, 2012. - 89, [2] с. : ил. - Библиогр.: с. 89. - ISBN 978-5-7422-3655-9 : 77.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 К 19 Канцедал, Сергей Андреевич. Экстремальные задачи дискретной математики : учебник для вузов по техн. спец. / С. А. Канцедал. - Москва : ИД" Форум" - ИНФРА-М, 2012. - 302, [1] с. : рис. - (Высшее образование). - Библиогр.: с. 300-302. - ISBN 978-5-8199-063309 (ИД Форум). - ISBN 978-5-16-011183-4 (Инфра-М) : 692.22 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 С 89 Судоплатов, Сергей Владимирович. Дискретная математика : учебник и практикум для акад. бакалавриата по техн. спец. / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - 5-е изд., испр. и доп. - Москва : Юрайт, 2016. - 279 с. - (Университеты России). - Библиогр.: с. 232-234. - Указ.: с. 262-279. - ISBN 978-5-9916-8350-0 : 726.21 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 Г 24 Гашков, Сергей Борисович. Дискретная математика : учебник и практикум для академического бакалавриата / С. Б. Гашков, А. Б. Фролов. - Москва : Юрайт, 2016. - 423 с. - (Бакалавр. Академический курс). - Библиогр.: с. 422-423. - ISBN 978-5-9916-6382-3 : 1042.41 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
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 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |