332 записи
Судоплатов С. В., Овчинникова Е. В.
Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.:с. 224-226 . - ISBN 978-5-7782-1838-3 .
Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.:
Судоплатов С. В., Овчинникова Е. В.
Элементы дискретной математики : учебное пособие для втузов / Судоплатов С. В., Овчинникова Е. В. ; Новосибирский государственный технический университет. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2002. - 279 с. : ил. - (Высшее образование). -ISBN 5-16-000957-4 . - ISBN 5-7782-0332-2 .
Элементы дискретной математики : учебное пособие для втузов / Судоплатов С. В., Овчинникова Е. В. ; Новосибирский государственный технический университет. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2002. - 279 с. : ил. - (Высшее образование). -
Таранников Ю. В.
Дискретная математика. Задачник : учебное пособие для академического бакалавриата / Таранников Ю. В. - М. : Юрайт, 2016. - 384 с. : ил. - (Бакалавр. Академический курс). - Библиогр.:с. 384 . - ISBN 978-5-9916-6283-3 .
Дискретная математика. Задачник : учебное пособие для академического бакалавриата / Таранников Ю. В. - М. : Юрайт, 2016. - 384 с. : ил. - (Бакалавр. Академический курс). - Библиогр.:
Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. / ред. Бускаран Э. ; пер. с англ. Френкин Б. Р. ; ред. пер. Шехтман В. Б., Артамкин И. В. - М. : Изд-во МЦНМО, 2008. - 279 с. - Библиогр. в конце ст. - ISBN 987-5-94057-125-4 .
Тимофеева И. Л.
Математическая логика. Курс лекций : учебное пособие для вузов / Тимофеева И. Л. - 2-е изд., перераб. - М. : Университет, 2007. - 302 с. - Библиогр.:с. 294 . - ISBN 978-5-98227-307-9 .
Математическая логика. Курс лекций : учебное пособие для вузов / Тимофеева И. Л. - 2-е изд., перераб. - М. : Университет, 2007. - 302 с. - Библиогр.:
Титов А. В., Калинкин А. В.
Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.:с. 29 .
Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.:
Тишин В. В.
Дискретная математика в примерах и задачах : учеб. пособие для вузов / Тишин В. В. - СПб. : БХВ-Петербург, 2008. - IV, 335 с. : ил. - (Учебная литература для вузов). - Библиогр.в конце кн. - ISBN 978-5-9775-0232-0 .
Дискретная математика в примерах и задачах : учеб. пособие для вузов / Тишин В. В. - СПб. : БХВ-Петербург, 2008. - IV, 335 с. : ил. - (Учебная литература для вузов). - Библиогр.
Триумфгородских М. В.
Дискретная математика и математическая логика для информатиков, экономистов и менеджеров : учебное пособие для вузов / Триумфгородских М. В. - М. : ДИАЛОГ-МИФИ, 2011. - 180 с. : ил. - Библиогр.в конце глав . - ISBN 978-5-86404-238-0 .
Дискретная математика и математическая логика для информатиков, экономистов и менеджеров : учебное пособие для вузов / Триумфгородских М. В. - М. : ДИАЛОГ-МИФИ, 2011. - 180 с. : ил. - Библиогр.
Труды по дискретной математике / РАН, Акад. криптографии РФ. - М. : Физматлит, 2007. - ISSN 1818-4073 .
Т. 10 / сост. Сачков В. Н., Зубков А. М. - 2007. - 349 с.
Т. 10 / сост. Сачков В. Н., Зубков А. М. - 2007. - 349 с.