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