В12 В751 Воробьев, Олег Юрьевич. Сет - суммирование [Текст] / О.Ю. Воробьев; Отв. ред. В.И. Быков; Рос. акад. наук. Сиб. отд-ние. Краснояр. науч. центр. ВЦ. - Новосибирск : Наука, 1993. - 137 с., включ. обл Библиогр.: с. 121-123 Рубрики: Сет-суммирование Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 А64 Анализ и дискретная математика [Текст] : межвуз. сб. науч. тр. / Акад. технол. наук Рос. Федерации. Новосиб. гос. ун-т; [Редкол.: Лаврентьев М.М. (отв. ред.) и др.]. - Новосибирск : НГУ, 1995. - 140 с. : ил Библиогр. в конце ст Рубрики: Дискретная математика Анализ математический Алгебра Дескрипторы: сб Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 Ершов, Юрий Леонидович. Определимость и теорема Геделя о неполноте [Текст] : учеб. пособие / Ю. Л. Ершов ; отв. ред. С. С. Гончаров. - Новосибирск : Науч. кн., 1995. - 75 с. - Рубрики: Геделя теорема Дескрипторы: моногр -- уч Доп.точки доступа: Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 Ершов, Юрий Леонидович. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики) Библиогр.: с. 277-279. - Предм. указ.: с. 281-284 Рубрики: вычислимость в математической логике Геделя теорема Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 М218 Малюгин, Владимир Дмитриевич. Параллельные логические вычисления посредством арифметических полиномов [Текст] / В. Д. Малюгин. - М. : НАУКА, 1997. - 190 с. : ил Библиогр.: с. 184-190 Рубрики: Логические исчисления Булевы алгебры Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 В937 Шевелев, Юрий Павлович Дискретная математика [Текст] : [Учеб. пособие для техн. вузов, для сред. шк.] / Том. гос. ун-т систем упр. и радиоэлектроники. - Томск : [б. и.], 1998- . - . - (Высш. математика 5).Ч. 1: Теория множеств. Булева алгебра (для автоматизир. технологии обучения). - 114 с.: ил. - Библиогр.: с.114. - ISBN 5-86889-040-Х. - Рубрики: дискретная математика Дескрипторы: моногр -- многот -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Д261 В12 / Д261-02 Дегтев, Александр Николаевич. Рекурсивно перечислимые множества и сводимости табличного типа [Текст] / А. Н. Дегтев. - М. : НАУКА, 1998. - 176 с. Библиогр.: с. 170-174. - Предм. указ.: с. 175-176 Рубрики: Рекурсивные функции Множества, рекурсивно перечислимые Сводимость, алгоритмическая, табличная Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Г919 В12 / Г919-02 Грэхем, Роналд. Конкретная математика [Текст] : основание информатики / Р. Грэхем; Пер. с англ. Походзея Б.Б., Ходулева А.Б.; Под ред. Ходулева А.Б. - М. : Мир, 1998. - 703 с. - Пер. изд. : Concrete mathematics/ Graham R. et al Библиогр.: с. 651-683. - Указ. имен., предм., табл.: с. 689-703 Рубрики: дискретная математика Дескрипторы: моногр Доп.точки доступа: Кнут, Д; Паташник, О Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Г522 Гладкий, Алексей Всеволодович. Математическая логика [Текст] / А. В. Гладкий. - М. : [б. и.], 1998. - 479 с. : ил Библиогр.: с. 468-470. - Предм. указ., обозначений: с. 471-476 Рубрики: математическая логика Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Н134 Набебин, Алексей Александрович. Логика и Пролог в дискретной математике [Текст] / А. А. Набебин. - М. : МЭИ, 1996. - 451 с. : ил Библиогр.: с. 435-440 Рубрики: математическая логика дискретная математика графов теория, алгоритмы на графах языки программирования Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 К669 Кормен, Томас. Алгоритмы. Построение и анализ [Текст] : переводное издание / Т. Кормен, Ч. Лейзерсон, Р. Ривест. - М. : МЦНМО, 1999. - 955 с. : ил. - (Клас. учеб.: computer science). - Пер. изд. : Introduction to algorithms/ Cormen T.H. et al Библиогр.: с. 901-913. - Указ. предм., имен: с. 915-955 Рубрики: алгоритмы, теория Дескрипторы: моногр Доп.точки доступа: Лейзерсон, Ч; Ривест, Р Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 97 Н731 Новиков, Ф А . Дискретная математика для программистов [Текст] : [Учебник] / Ф. А. Новиков. - СПб. : Питер, 2000. - 301 с. : ил Библиогр.: с. 290-291. - Алф. указ.: с. 292-301 Рубрики: алгоритмы, для ЭВМ дискретная математика Дескрипторы: моногр -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З97 Н731 Новиков, Ф А . Дискретная математика для программистов [Текст] : [Учебник] / Ф. А. Новиков. - СПб. : Питер, 2000. - 301 с. : ил Библиогр.: с. 290-291. - Алф. указ.: с. 292-301 Рубрики: алгоритмы, для ЭВМ дискретная математика Дескрипторы: моногр -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З81 И196 Иванищев, Вячеслав Васильевич. Введение в теорию алгоритмических сетей [Текст] = Introduction into the theory of algorithmic networks / В. В. Иванищев, В. Е. Марлей. - СПб. : СПбГТУ, 2000. - 179 с. : ил Библиогр.: с. 165-179 Рубрики: алгоритмические сети алгоритмы, синтез математическое моделирование Дескрипторы: моногр Доп.точки доступа: Марлей, Владимир Евгеньевич Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 К262 Карпенко, Александр Степанович. Логики Лукасевича и простые числа [Текст] = Lukasiewicz's logics and prime numbers / А.С. Карпенко; Рос. акад. наук. Ин-т философии. - М. : Наука, 2000. - 319 с. : ил. - 2 экз. Библиогр.: с. 283-308. - Имен. указ.: с. 309-313 Рубрики: многозначная логика простые числа, таблицы, теория Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 М823 Москинова, Галина Ивановна. Дискретная математика [Текст] : математика для менеджера в прим. и упражнениях: Учеб. пособие для вузов по экон. и управлен. спец. и направлениям / Г. И. Москинова. - М. : Логос, 2000. - 238 с. : ил. - (Учеб. для XXI в.) Библиогр.: с. 236. - Предм. указ.: с. 227-235 Рубрики: дискретная математика Дескрипторы: моногр -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 Ершов, Юрий Леонидович. Определимость и вычислимость [Текст] / Ю.Л. Ершов; Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики. - 2-е изд., испр. и доп. - М. : Экономика, 2000. - 318 с. Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-314 Рубрики: вычислимость, определимость, в математической логике Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 В188 Варшамов, Ром Рубенович. Введение в новую нетрадиционную математику [Текст] / Р.Р. Варшамов; Рос. акад. наук. Ин-т пробл. упр. им. В.А. Трапезникова РАН, Ф. "Пробл. упр.". - М. : Синтег, 1999. - 116 с. Библиогр.: с. 115 Рубрики: Основания, математического анализа Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 А391 Акимов, Олег Евгеньевич. Дискретная математика: логика, группы, графы [Текст] : [Учеб. для вузов] / О. Е. Акимов. - М. : Лаб. базовых знаний, 2001. - 349 с. : ил. - (Техн. ун-т). - Рубрики: дискретная математика математическая логика графов теория Дескрипторы: моногр -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Н531 Непейвода, Николай Николаевич. Прикладная логика [Текст] : учеб. пособие для вузов по спец. "Математика", "Прикл. математика", "Лингвистика", "Философия" и "Психология" / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Новосиб. ун-т, 2000. - ХХХ, 490 с. : ил Библиогр.: с. 479-481. - Предм. указ.: с.482-488 Рубрики: прикладная логика, математическая логика, применение ЭВМ Дескрипторы: моногр -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |