51 В 20 Васюков, В. Л. Квантовая логика : научное издание / В. Л. Васюков ; РАН, Ин-т философии. - Москва : ПЕР СЭ, 2005. - 191 с. - Библиогр.: с. 186-191. - ISBN 5-9292-0142-0 : 50.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ Для заказа издания воспользуйтесь услугами МБА |
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 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
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 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 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
519 Р 33 Режимы с обострением. Эволюция идеи : [сб. ст.] / ред., [авт. предисл.] Г. Г. Малинецкий ; сост. В. С. Курдюмов. - Изд. второе, перераб. и доп. - Москва : Физматгиз, 2006. - 308 с. : ил., табл. - Библиогр. в конце ст. - Избр. тр. С. П. Курдюмова: с. 302-308. - ISBN 5-9921-0768-2 : 242.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА--СБОРНИКИ Для заказа издания воспользуйтесь услугами МБА |
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
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА Для заказа издания воспользуйтесь услугами МБА |
51 П 58 Попов, С. В. Логическое моделирование : научное издание / С. В. Попов. - Москва : Тровант, 2006. - 225 с. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 199.38 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 Н 59 Нечеткие гибридные системы. Теория и практика : научное издание / И. З. Батыршин [и др.] ; под ред. Н. Г. Ярушкиной. - Москва : Физматлит, 2007. - 207 с. - (Информационные и компьютерные технологии). - Авт. указаны на обороте тит. л. - Библиогр.: с. 181-207. - ISBN 978-59221-0786-0 : 220.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА РАДИОЭЛЕКТРОНИКА--ТЕХНИЧЕСКАЯ КИБЕРНЕТИКА Для заказа издания воспользуйтесь услугами МБА |
51 К 89 Кузнецов, Олег Петрович. Дискретная математика для инженера / О. П. Кузнецов. - Изд. пятое, стер. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2007. - 394, [1] с. : ил. - (Учебники для вузов. Специальная литература). - Предм. указ.: c. 390-393. - ISBN 078-5-8114-0570-1 : 280.06 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ Для заказа издания воспользуйтесь услугами МБА |
51 М 96 Мышкис, Анатолий Дмитриевич. Элементы теории математических моделей : научное издание / А. Д. Мышкис. - Изд. третье, испр. - Москва : КомКнига, 2007. - 191 с. : ил. - Библиогр.: с. 186-187. - Предм. указ.: с. 188-191. - ISBN 978-5-484-00953-4 : 169.41 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ Для заказа издания воспользуйтесь услугами МБА |
51 М 34 Математика без формул / Ю. В. Пухначев, Ю. П. Попов. - Изд. второе. - Москва : [КомКнига], 2007 - . Кн. 2. - 2007. - 235 с. - ISBN 978-5-484-00778-3 : 189.92 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 Н 73 Новиков, Федор Александрович. Дискретная математика для программистов : учеб. для вузов / Ф. А. Новиков. - 3-е изд. - Санкт-Петербург [и др.] : Питер, 2008. - 383 с. : ил. - (Учебник для вузов). - Библиогр.: с. 368-369. - Предм. указ.: с. 370-383. - ISBN 978-5-91180-759-7 : 170.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 Р 82 Рублев, Вадим Сергеевич. Основы теории алгоритмов : учебное пособие / В. С. Рублев ; под ред. В. А. Соколова. - 2-е изд., испр. - Москва : Научный мир, 2008. - 127, [1] с. - Библиогр.: с. 127. - ISBN 978-5-91522-013-2 : 129.29 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 Н 13 Набебин, Алексей Александрович. Математическая логика и теория алгоритмов : учебное пособие для вузов / А. А. Набебин, Ю. П. Кораблин ; [науч. ред. В. А. Захаров]. - Москва : Научный мир, 2008. - 343 с. - Библиогр.: с. 334. - ISBN 978-5-91522-001-9 : 289.29 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
51 Ш 65 Шиханович, Юрий Александрович. Минимум по теории алгоритмов для нематематиков : учеб. пособие / Ю. А. Шиханович. - Москва : Научный мир, 2009. - 158 с. - Библиогр.: с. 145. - Указ.: с. 147-156. - ISBN 978-5-91522-055-2 : 243.80 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ Для заказа издания воспользуйтесь услугами МБА |
51 Т 31 Тель, Жерар. Введение в распределенные алгоритмы : монография / Ж. Тель ; пер. с англ. В. А. Захарова. - Москва : МЦНМО, 2009. - 616 с. - Библиогр.: с. 593-604. - Предм. указ.: с. 605-616. - Прил.: с. 573-592. - Пер. изд. : Introduction to Distributed Algorithms / G. Tel. - Cambridge, 2000. - ISBN 978-5-94057-515-3 : 390.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 Р 33 Редькин, Николай Петрович. Дискретная математика : учебник для вузов / Н. П. Редькин. - Москва : Физматлит, 2009. - 262 с. : ил., табл. - Библиогр.: с. 261-262. - ISBN 978-5-9221-1093-8 : 376.20 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
З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 р.
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--УЧЕБНИКИ МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 Д 30 Демидович, Борис Павлович. Краткий курс высшей математики : учеб. пособие для вузов / Б. П. Демидович, В. А. Кудрявцев. - Москва : Астрель : АСТ, 2008. - 655 с. : граф. - Указ.: с. 639-649. - ISBN 978-5-17-004601-0 (Издательство АСТ. - ISBN 978-5-271-01318-8 (Издательство Астрель) : 382.95 р. Прил. : с. 602-627
Рубрики: МАТЕМАТИКА--ВЫСШАЯ МАТЕМАТИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |
Пр 22-1/67 Проблемы конструктивного направления в математике - 2 (Конструктивный математический анализ) : сборник работ / Академия наук СССР ; под редакцией Н. А. Шанина, [ответственный редактор И. Г. Петровский]. - Москва ; Ленинград : Издательство АН СССР, 1962. - 502, [1] с. - (Труды Математического института им. В. А. Стеклова ; т. 67). - Библиогр. в конце ст. - Б. ц.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--СБОРНИКИ Для заказа издания воспользуйтесь услугами МБА |