База данных: Каталог IBIS
Беті 1, Нәтижелерін: 2
Отмеченные записи: 0
1.
Подробнее
517.1
С89
Судоплатов, С. В.
Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки РФ, НГТУ. - М. : ИНФРА-М ; Новосибирск : НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8. - ISBN 5-7782-0458-2 : 1200.00 тг, 770.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисления -- предикат -- теория моделей -- теория алгоритмов -- элементы -- неклассические
Доп.точки доступа:
Овчинникова, Е.В.
М-во образования и науки РФ
Новосибирский государственный технический университет
Экземпляры всего: 2
Книгохранение (1), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Читальный зал 1 корпус (1)
С89
Судоплатов, С. В.
Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки РФ, НГТУ. - М. : ИНФРА-М ; Новосибирск : НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8. - ISBN 5-7782-0458-2 : 1200.00 тг, 770.00 тг
ГРНТИ | |||
УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисления -- предикат -- теория моделей -- теория алгоритмов -- элементы -- неклассические
Доп.точки доступа:
Овчинникова, Е.В.
М-во образования и науки РФ
Новосибирский государственный технический университет
Экземпляры всего: 2
Книгохранение (1), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Читальный зал 1 корпус (1)
2.
Подробнее
517.1
С 89
Судоплатов, С. В.
Математическая логика и теория алгоритмов : учебник для студентов обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки РФ, НГТУ. - М. : ИНФРА-М ; Новосибирск : НГТУ, 2008. - 224 с. - (Высшее образование). - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 2300.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисления -- высказываний -- предикатов -- элементы -- теория моделей -- теория алгоритмов -- неклассическая
Доп.точки доступа:
Овчинникова, Е.В.
М-во образования и науки РФ
Новосибирский государственный технический университет
Экземпляры всего: 6
Книгохранение (1), Абонемент 1 корпус (5)
Свободны: Книгохранение (1), Абонемент 1 корпус (5)
С 89
Судоплатов, С. В.
Математическая логика и теория алгоритмов : учебник для студентов обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки РФ, НГТУ. - М. : ИНФРА-М ; Новосибирск : НГТУ, 2008. - 224 с. - (Высшее образование). - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 2300.00 тг
ГРНТИ | |||
УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
исчисления -- высказываний -- предикатов -- элементы -- теория моделей -- теория алгоритмов -- неклассическая
Доп.точки доступа:
Овчинникова, Е.В.
М-во образования и науки РФ
Новосибирский государственный технический университет
Экземпляры всего: 6
Книгохранение (1), Абонемент 1 корпус (5)
Свободны: Книгохранение (1), Абонемент 1 корпус (5)
Беті 1, Нәтижелерін: 2