База данных: Каталог IBIS
Беті 2, Нәтижелерін: 16
Отмеченные записи: 0
11.
Подробнее
517.1
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин. - 3-е изд. стер. - М. : ACADEMIA, 2007. - 303 с. : ил. - (Высшее профессиональное образование). - ISBN 5-7695-3728-0 : 3200.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебра -- высказываний -- булевы -- функции -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин. - 3-е изд. стер. - М. : ACADEMIA, 2007. - 303 с. : ил. - (Высшее профессиональное образование). - ISBN 5-7695-3728-0 : 3200.00 тг
ГРНТИ | |||
УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебра -- высказываний -- булевы -- функции -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
12.
Подробнее
517.1
Е 80
Ершов, Ю. Л.
Проблемы разрешимости и конструктивные модели : научное издание / Ю. Л. Ершов. - М. : Наука, 1980. - 415 с. : ил. - (Математическая логика и основания математики). - 720.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебраические -- системы -- модели -- функторы -- кольца -- булевы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Е 80
Ершов, Ю. Л.
Проблемы разрешимости и конструктивные модели : научное издание / Ю. Л. Ершов. - М. : Наука, 1980. - 415 с. : ил. - (Математическая логика и основания математики). - 720.00 тг
ГРНТИ | |
УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгебраические -- системы -- модели -- функторы -- кольца -- булевы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
13.
Подробнее
517.1
Ш 24
Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев ; Научно - методический Совет по математике и механике вузов Северо-Запада. - СПб. : БХВ - Петербург, 2007. - 410 с. : ил. - (Учебное пособие ). - ISBN 978-5-94157-702-6 : 2985.00 тг
Рубрики: математика--математическая логика
Доп.точки доступа:
Научно-методический Совет по математике и механике вузов Северо-Запада
Экземпляры всего: 3
Книгохранение (3)
Свободны: Книгохранение (3)
Ш 24
Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев ; Научно - методический Совет по математике и механике вузов Северо-Запада. - СПб. : БХВ - Петербург, 2007. - 410 с. : ил. - (Учебное пособие ). - ISBN 978-5-94157-702-6 : 2985.00 тг
ГРНТИ | ||
УДК |
Рубрики: математика--математическая логика
Доп.точки доступа:
Научно-методический Совет по математике и механике вузов Северо-Запада
Экземпляры всего: 3
Книгохранение (3)
Свободны: Книгохранение (3)
14.
Подробнее
519.1
Н 73
Новиков, Ф. А.
Дискретная математика : для бакалавров и магистров направления подготовки "Системный анализ и управление" / Ф. А. Новиков ; УМО по университетскому политехническому образованию. - 2-е изд. - М. ; СПб. ; Нижний Новгород : Питер, 2013. - 400 с. : рис. - (Учебник для ВУЗов) (Стандарт третьего поколения). - ISBN 978-5-496-00015-4 : 5830.00 тг
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
множества -- структуры -- графы -- связность -- циклы -- булевы -- функции
Доп.точки доступа:
УМО по университетскому политехническому образованию
Экземпляры всего: 15
Книгохранение (6), Абонемент 1 корпус (8), Читальный зал 1 корпус (1)
Свободны: Книгохранение (6), Абонемент 1 корпус (8), Читальный зал 1 корпус (1)
Н 73
Новиков, Ф. А.
Дискретная математика : для бакалавров и магистров направления подготовки "Системный анализ и управление" / Ф. А. Новиков ; УМО по университетскому политехническому образованию. - 2-е изд. - М. ; СПб. ; Нижний Новгород : Питер, 2013. - 400 с. : рис. - (Учебник для ВУЗов) (Стандарт третьего поколения). - ISBN 978-5-496-00015-4 : 5830.00 тг
ГРНТИ | ||
УДК |
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
множества -- структуры -- графы -- связность -- циклы -- булевы -- функции
Доп.точки доступа:
УМО по университетскому политехническому образованию
Экземпляры всего: 15
Книгохранение (6), Абонемент 1 корпус (8), Читальный зал 1 корпус (1)
Свободны: Книгохранение (6), Абонемент 1 корпус (8), Читальный зал 1 корпус (1)
15.
Подробнее
519.1
О-53
Олейникова, А. В.
Дискретная математика : учебное пособие для студентов специальности 5В070400 - Вычислительная техника и программное обеспечение / А. В. Олейникова, Л. В. Горбатова, Б. М. Саданова ; М-во образования и науки РК, Карагандинский государственный технический университет. - Караганда : КарГТУ, 2013. - 91 с. : рис. - (Рейтинг). - ISBN 978-601-296-459-2 : 295.00 тг
Есть цифровая копия: http://elib.kstu.kz/fulltext//Uchebnye posobiya/VTiPO/2014/Diskretnaya matematika.pdf. - [Б. м. : б. и.]
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
теория -- множеств -- логика -- булевые -- алгебраические -- комбинаторика -- графов
Доп.точки доступа:
Горбатова, Л.В.
Саданова, Б.М.
М-во образования и науки РК
Карагандинский технический университет имени Абылкаса Сагинова. Кафедра Информационно-вычислительные системы
Экземпляры всего: 102
Книгохранение (3), Абонемент 1 корпус (95), Читальный зал 1 корпус (4)
Свободны: Книгохранение (3), Абонемент 1 корпус (84), Читальный зал 1 корпус (4)
О-53
Олейникова, А. В.
Дискретная математика : учебное пособие для студентов специальности 5В070400 - Вычислительная техника и программное обеспечение / А. В. Олейникова, Л. В. Горбатова, Б. М. Саданова ; М-во образования и науки РК, Карагандинский государственный технический университет. - Караганда : КарГТУ, 2013. - 91 с. : рис. - (Рейтинг). - ISBN 978-601-296-459-2 : 295.00 тг
Есть цифровая копия: http://elib.kstu.kz/fulltext//Uchebnye posobiya/VTiPO/2014/Diskretnaya matematika.pdf. - [Б. м. : б. и.]
ГРНТИ | |||
УДК |
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
теория -- множеств -- логика -- булевые -- алгебраические -- комбинаторика -- графов
Доп.точки доступа:
Горбатова, Л.В.
Саданова, Б.М.
М-во образования и науки РК
Карагандинский технический университет имени Абылкаса Сагинова. Кафедра Информационно-вычислительные системы
Экземпляры всего: 102
Книгохранение (3), Абонемент 1 корпус (95), Читальный зал 1 корпус (4)
Свободны: Книгохранение (3), Абонемент 1 корпус (84), Читальный зал 1 корпус (4)
16.
Подробнее
512(03)
О-28
Общая алгебра : в 2-х т. / Под ред. Л. А. Скорнякова. - М. : Наука, 1990 - .
Т. 2 : справочное издание / В. А. Артамонов [и др.]. - М., 1991. - 480 с. : ил. - (Справочно-математическая библиотека). - ISBN 5-02-014427-4 : 2.20 р.
Кл.слова (ненормированные):
подгруппы -- решетки -- булевы -- категории
Доп.точки доступа:
Скорняков, Л.А. \ред.\
Артамонов, В.А.
Салий, В.Н.
Скорняков, Л.А.
Шеврин, Л.Н.
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
О-28
Общая алгебра : в 2-х т. / Под ред. Л. А. Скорнякова. - М. : Наука, 1990 - .
Т. 2 : справочное издание / В. А. Артамонов [и др.]. - М., 1991. - 480 с. : ил. - (Справочно-математическая библиотека). - ISBN 5-02-014427-4 : 2.20 р.
УДК |
Кл.слова (ненормированные):
подгруппы -- решетки -- булевы -- категории
Доп.точки доступа:
Скорняков, Л.А. \ред.\
Артамонов, В.А.
Салий, В.Н.
Скорняков, Л.А.
Шеврин, Л.Н.
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
Беті 2, Нәтижелерін: 16