519(075)    Н 73     Новиков, Ф. А.     Дискретная математика [Текст] : для бакалавров и магистров : учебник для вузов / Ф. А. Новиков. - 2-е изд. - Санкт-Петербург [и др.] : Питер, 2014. - 399, [1] с. : ил., табл. - (Учебник для вузов). - Библиогр.: с. 386-387. - ISBN 978-5-496-00015-4 (в пер.) : 474.00 р. Стандарт третьего поколения. Рек. Учеб.-метод. об-нием по направл. "Системный анализ и управление" УДК 519.1(075) Рубрики: ДИСКРЕТНАЯ МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ Кл.слова (ненормированные): множества -- алгебраические структуры -- Булевы функции -- логические исчисления -- комбинаторика -- кодирование -- графы -- деревья Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1)

87.4 В 20     Васюков, В. Л.     Категорная логика [Text] : [монография] / Васюков В. Л. - М. : АНО Ин-т логики, 2005. - 194 с. : табл. - Библиогр.: с. 185-190. - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 55.00 р.ББК 87.4 + 87.43 Рубрики: ФИЛОСОФИЯ--ЛОГИКА Кл.слова (ненормированные): логика -- категорная логика -- дедуктивные системы -- дедуктивные категории -- сопряжение (категорная логика) -- когерентность -- логические исчисления -- классическая логика -- интуиционистская логика -- модальная логика -- элементарная теория категорий Экземпляры всего: 1 ОХиИФ (1), ООНЛ Свободны: ОХиИФ (1)

519(075)    Н 73     Новиков, Ф. А.     Дискретная математика [Текст] : для магистров и бакалавров : учебник для вузов / Ф. А. Новиков. - Санкт-Петербург [и др.] : Питер, 2011. - 383, [1] с. : ил., табл. - (Учебник для вузов). - Библиогр.: с. 368-369. - ISBN 978-5-459-00452-6 (в пер.) : 368.00 р. Стандарт третьего поколения УДК 519.1(075) Рубрики: ДИСКРЕТНАЯ МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ Кл.слова (ненормированные): множества -- алгебраические структуры -- Булевы функции -- логические исчисления -- комбинаторика -- кодирование -- графы -- деревья Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1)

519(075)    Н 73     Новиков, Ф. А.     Дискретная математика [Текст] : для бакалавров и магистров : учебник для вузов / Ф. А. Новиков. - 2-е изд. - Санкт-Петербург [и др.] : Питер, 2013. - 399, [1] с. : ил., табл. - (Учебник для вузов). - Библиогр.: с. 386-387. - Предм. указ.: с. 388-399 с. . - ISBN 978-5-496-00015-4 (в пер.) : 472.00 р. ВПО. Бак. Маг. Стандарт третьего поколения ГРНТИ 27.45 УДК 519(075) 519.1(075) Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ. ТЕОРИЯ ГРАФОВ Кл.слова (ненормированные): множества -- алгебраические структуры -- Булевы функции -- логические исчисления -- комбинаторика -- кодирование -- графы -- деревья Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1)