51 Т 31 Тельпиз, М. И. Принцип позиционности для счисления и исчисления функций / РАН. Ин-т косм. исслед. - Москва : Б. и., 2001 - . Т. 1. - 457 с. : табл. - Библиогр.: с. 447-452.- Предм. указ.: с. 453-455. - 50.00 р. РУБ 51 Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
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 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
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 М 34 Математика без формул / Ю. В. Пухначев, Ю. П. Попов. - Изд. второе. - Москва : [КомКнига], 2007 - . Кн. 2. - 2007. - 235 с. - ISBN 978-5-484-00778-3 : 189.92 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
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 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
З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 Г 29 Гейн, Александр Георгиевич. Математические модели формирования понятийных связей : монография / А. Г. Гейн, В. П. Некрасов ; Сиб. гос. ун-т телекоммуникаций и информатики, Урал. техн. ин-т связи и информатики (фил.). - Екатеринбург : [б. и.], 2011. - 110 с. - Библиогр.: с. 108-110. - ISBN 978-5-91414-007-3 : 20.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 П 58 Попов, Сергей Викторович. Прикладная логика : научное издание / С. В. Попов, Н. Л. Брошкова. - Москва : Физматлит, 2011. - 212 с. - Библиогр.: с. 210-212. - ISBN 978-5-9221-1340-3 : 254.88 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |
51 С 54 Соболева, Татьяна Сергеевна. Дискретная математика : учебное пособие для вузов по спец. "Информатика и вычислительная техника" / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - 2-е изд.,испр. - Москва : Академия, 2012. - 254, [2] с. : ил. - (Университетский учебник. Серия "Прикладная математика и информатика"). - Библиогр.: с. 252. - ISBN 978-5-7695-5580-0 : 355.30 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ ДЛЯ ВУЗОВ Для заказа издания воспользуйтесь услугами МБА |