A886404-ОХФ, A888530-ОХФ, A888531-ОХФ Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова. - Москва ; Новосибирск : ИНФРА-М : Изд-во Новосиб. гос. техн. ун-та, 2004. - 223, [1] с. - (Высшее образование). - Библиогр. с. 212-214. - ISBN 5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 5-7782-0458-2 (НГТУ) : 85.50 р., 52.80 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- моделей теория Доп. точки доступа: Овчинникова, Елена Викторовна Экземпляры всего: 3 ОХФ (3) |
A889119-ОХФ-ЧЗ-4, A889120-ОХФ-ЧЗ-4 Судоплатов, Сергей Владимирович. Элементы дискретной математики [Текст] : учеб. для студентов втузов / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-т. - Москва : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2003. - 279, [9] с. : ил. - (Высшее образование). - Библиогр.: с. 241-242 - Предм. указ.: с. 270-280. - ISBN 5-16-000957-4 (ИНФРА-М) (в пер.). - ISBN 5-7782-0332-2 (НГТУ) : 60.00 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- комбинаторика -- алгебраические системы -- алгебра логики -- графов теория Доп. точки доступа: Овчинникова, Елена Викторовна Экземпляры всего: 2 ОХФ-ЧЗ-4 (2) |
Учебная литература, Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - Новосибирск : Изд-во НГТУ, 2008. - 223, [1] с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 978-5-7782-0458-4 (НГТУ) : 154.00 р. Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов Доп. точки доступа: Овчинникова, Елена Викторовна Экземпляры всего: 1 ОУОЕН (1) |