База данных: Каталог IBIS
Страница 4, Результатов: 42
Отмеченные записи: 0
31.
Подробнее
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)
32.
Подробнее
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)
33.
Подробнее
517.1
М 30
Марченков, С. С.
Рекурсивные функции : учебное пособие / С. С. Марченков. - М. : Физматлит, 2007. - 62 с. : ил. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 1400.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгоритмические -- тьюринг -- вычислимые -- абстрактные
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
М 30
Марченков, С. С.
Рекурсивные функции : учебное пособие / С. С. Марченков. - М. : Физматлит, 2007. - 62 с. : ил. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 1400.00 тг
ГРНТИ | ||
УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
алгоритмические -- тьюринг -- вычислимые -- абстрактные
Экземпляры всего: 2
Книгохранение (2)
Свободны: Книгохранение (2)
34.
Подробнее
517.1=қаз
Ж 56
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық университетінің "Математика", "Иинформатика", "Ақппараттық жүйелер" мамандықтары бойынша білім алушы студенттерге арналған / Қ. Жетпісов ; Қазақстан Республикасының Білім және ғылым министрлігі, Е.А. Бөкетов атындағы Қарағанды мемлекеттік ун-ті. - Қарағанды : Басылым ҰҒТАО, 2008. - 301 б. - ISBN 9965-690-13-8 : 1200.00 тг, 300.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/matematikalyk logika diskrette matematika.pdf. - [Б. м. : б. и.]
Рубрики: математика--математическая логика
Доп.точки доступа:
Қазақстан Республикасының білім және ғылым министрлігі
Е.А. Бөкетов атындағы Қарағанды мемлекеттік университеті
Экземпляры всего: 51
Книгохранение (1), I корпус, 628 ауд. (49), Консервация (1)
Свободны: Книгохранение (1), I корпус, 628 ауд. (48), Консервация (1)
Ж 56
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық университетінің "Математика", "Иинформатика", "Ақппараттық жүйелер" мамандықтары бойынша білім алушы студенттерге арналған / Қ. Жетпісов ; Қазақстан Республикасының Білім және ғылым министрлігі, Е.А. Бөкетов атындағы Қарағанды мемлекеттік ун-ті. - Қарағанды : Басылым ҰҒТАО, 2008. - 301 б. - ISBN 9965-690-13-8 : 1200.00 тг, 300.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/matematikalyk logika diskrette matematika.pdf. - [Б. м. : б. и.]
ГРНТИ | |||
УДК |
Рубрики: математика--математическая логика
Доп.точки доступа:
Қазақстан Республикасының білім және ғылым министрлігі
Е.А. Бөкетов атындағы Қарағанды мемлекеттік университеті
Экземпляры всего: 51
Книгохранение (1), I корпус, 628 ауд. (49), Консервация (1)
Свободны: Книгохранение (1), I корпус, 628 ауд. (48), Консервация (1)
35.
Подробнее
517.1=қаз
Ж 56
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық университеттердің "математика", "информатика", "ақпараттық жүйелер" мамандықтары арналған / Қ. Жетпісов ; Қазақстан Республикасы Білім және ғылым министрлігі. - Алматы : Дәуір, 2011. - 262 б. - (ҚР Жоғары оқу орындарының Қауымдастығы). - ISBN 978-601-217-186-0 : 494.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/matematikalyk logika zhane diskrette matematika.pdf. - [Б. м. : б. и.]
Рубрики: математика--математическая логика
Доп.точки доступа:
Қазақстан Республикасы білім және ғылым министрлігі
Экземпляры всего: 50
Книгохранение (1), Абонемент 1 корпус (48), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Абонемент 1 корпус (48), Читальный зал 1 корпус (1)
Ж 56
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық университеттердің "математика", "информатика", "ақпараттық жүйелер" мамандықтары арналған / Қ. Жетпісов ; Қазақстан Республикасы Білім және ғылым министрлігі. - Алматы : Дәуір, 2011. - 262 б. - (ҚР Жоғары оқу орындарының Қауымдастығы). - ISBN 978-601-217-186-0 : 494.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/matematikalyk logika zhane diskrette matematika.pdf. - [Б. м. : б. и.]
ГРНТИ | |||
УДК |
Рубрики: математика--математическая логика
Доп.точки доступа:
Қазақстан Республикасы білім және ғылым министрлігі
Экземпляры всего: 50
Книгохранение (1), Абонемент 1 корпус (48), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Абонемент 1 корпус (48), Читальный зал 1 корпус (1)
36.
Подробнее
517.1=қаз
Д 64
Досанбай, П. Т.
Математикалық логика : оқулық механика-математика факультетінде студенттерге арналған / П. Т. Досанбай ; Қазақстан Республикасы Білім және ғылым министрлігі. - Алматы : ЖШС РПБК "Дәуір", 2011. - 277 б. : сурет. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 978-601-217-244-7 : 666.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/Matematikalyk logika.pdf. - [Б. м. : б. и.]
Рубрики: математика--математическая логика
Доп.точки доступа:
Қазақстан Республикасы білім және ғылым министрлігі
Экземпляры всего: 25
Книгохранение (1), Абонемент 1 корпус (23), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Абонемент 1 корпус (23), Читальный зал 1 корпус (1)
Д 64
Досанбай, П. Т.
Математикалық логика : оқулық механика-математика факультетінде студенттерге арналған / П. Т. Досанбай ; Қазақстан Республикасы Білім және ғылым министрлігі. - Алматы : ЖШС РПБК "Дәуір", 2011. - 277 б. : сурет. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 978-601-217-244-7 : 666.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//Skan/Matematikalyk logika.pdf. - [Б. м. : б. и.]
ГРНТИ | ||
УДК |
Рубрики: математика--математическая логика
Доп.точки доступа:
Қазақстан Республикасы білім және ғылым министрлігі
Экземпляры всего: 25
Книгохранение (1), Абонемент 1 корпус (23), Читальный зал 1 корпус (1)
Свободны: Книгохранение (1), Абонемент 1 корпус (23), Читальный зал 1 корпус (1)
37.
Подробнее
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)
38.
Подробнее
517.1
Я 14
Яблонский, С. В.
Введение в дискретную математику : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная математика" / С. В. Яблонский. - 6-е изд., стереотип. - М. : Высшая школа, 2010. - 384 с. - ISBN 978-5-06-006218-2 : 9500.00 тг
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
АЛГЕБРА -- ЛОГИКА -- ПОЛНЫХ -- СИСТЕМ -- ДЕТЕРМИРОВАННЫЕ -- КОМБИНАТОРНЫЙ -- ГРАФЫ -- КОДИРОВАНИЕ -- ДИЗЪЮНКТИВНОСТЬ
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Я 14
Яблонский, С. В.
Введение в дискретную математику : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная математика" / С. В. Яблонский. - 6-е изд., стереотип. - М. : Высшая школа, 2010. - 384 с. - ISBN 978-5-06-006218-2 : 9500.00 тг
ГРНТИ | ||
УДК |
Рубрики: математика--дискретная математика
Кл.слова (ненормированные):
АЛГЕБРА -- ЛОГИКА -- ПОЛНЫХ -- СИСТЕМ -- ДЕТЕРМИРОВАННЫЕ -- КОМБИНАТОРНЫЙ -- ГРАФЫ -- КОДИРОВАНИЕ -- ДИЗЪЮНКТИВНОСТЬ
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
39.
Подробнее
517.1
К 89
Кузнецов, О. П.
Дискретная математика для инженера : учебник для инженеров, студентов и аспирантов соответствующих специальностей / О. П. Кузнецов. - 5-е изд., стереотип. - СПб. : Лань, 2007. - 395 с. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-0570-1 : 2000.00 тг
Рубрики: математика--математика дискретная
Кл.слова (ненормированные):
алгебра -- алгоритмы -- языки -- формальные -- системы -- автоматы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
К 89
Кузнецов, О. П.
Дискретная математика для инженера : учебник для инженеров, студентов и аспирантов соответствующих специальностей / О. П. Кузнецов. - 5-е изд., стереотип. - СПб. : Лань, 2007. - 395 с. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-0570-1 : 2000.00 тг
ГРНТИ | ||
УДК |
Рубрики: математика--математика дискретная
Кл.слова (ненормированные):
алгебра -- алгоритмы -- языки -- формальные -- системы -- автоматы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
40.
Подробнее
517=қаз
Т 33
Темірғалиев, Н.
Математикалық анализ : үш бөлімнен / Н. Темірғалиев ; Қазақ ССР Халыққа білім беру министрлігі. - Алматы : Ана тілі, 1991 - .
Екінші бөлім : жоғары оқу орындарының студенттеріне арналған оқу құралы. - Алматы, 1991. - 400 бет. - ISBN 5-625-00195-2 : 4.00 p.
Числится на 01.10.2022 ук 3362 - 117 экз.
Рубрики: математика
Доп.точки доступа:
Қазақ ССР Халыққа білім беру министрлігі
Экземпляры всего: 117
Консервация (4), I корпус, 628 ауд. (113)
Свободны: Консервация (4), I корпус, 628 ауд. (113)
Т 33
Темірғалиев, Н.
Математикалық анализ : үш бөлімнен / Н. Темірғалиев ; Қазақ ССР Халыққа білім беру министрлігі. - Алматы : Ана тілі, 1991 - .
Екінші бөлім : жоғары оқу орындарының студенттеріне арналған оқу құралы. - Алматы, 1991. - 400 бет. - ISBN 5-625-00195-2 : 4.00 p.
Числится на 01.10.2022 ук 3362 - 117 экз.
ГРНТИ | ||
УДК |
Рубрики: математика
Доп.точки доступа:
Қазақ ССР Халыққа білім беру министрлігі
Экземпляры всего: 117
Консервация (4), I корпус, 628 ауд. (113)
Свободны: Консервация (4), I корпус, 628 ауд. (113)
Страница 4, Результатов: 42