База данных: Каталог IBIS
Страница 1, Результатов: 8
Отмеченные записи: 0
1.
Подробнее
517.1
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
ГРНТИ | |
УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
2.
Подробнее
87.4
Б86
Бочаров, В. А.
Основы логики : учебник для студентов вузов, обучающихся по гуманитарным и естественно-научным специальностям / В. А. Бочаров, В. И. Маркин ; М-во общего и проф. образования РФ. - М. : ИНФРА-М, 2000. - 296 с. - (Высшее образование). - ISBN 5-86225-595-8 : 192.50 тг
ББК 87.4 + 87.4я7
Кл.слова (ненормированные):
логика -- высказывания -- предикаты -- силлогистика -- понятие -- определение -- рассуждения -- изучение
Доп.точки доступа:
Маркин, В.И.
М-во общего и профессионального образования РФ
Экземпляры всего: 10
Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)
Свободны: Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)
Б86
Бочаров, В. А.
Основы логики : учебник для студентов вузов, обучающихся по гуманитарным и естественно-научным специальностям / В. А. Бочаров, В. И. Маркин ; М-во общего и проф. образования РФ. - М. : ИНФРА-М, 2000. - 296 с. - (Высшее образование). - ISBN 5-86225-595-8 : 192.50 тг
ГРНТИ |
Кл.слова (ненормированные):
логика -- высказывания -- предикаты -- силлогистика -- понятие -- определение -- рассуждения -- изучение
Доп.точки доступа:
Маркин, В.И.
М-во общего и профессионального образования РФ
Экземпляры всего: 10
Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)
Свободны: Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)
3.
Подробнее
87.4
З-47
Зегет, В.
Элементарная логика : научное издание: пер. с нем. / В. Зегет. - М. : Высшая школа, 1985. - 256 с. - 0.90 р.
Перевод заглавия: ELEMENTARE LOGIK
ББК 87.4
Кл.слова (ненормированные):
логика -- мышление -- семантика -- высказывание -- предикаты -- силлогистика -- философия
Доп.точки доступа:
Кузина, Е.Б. \ред.\
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
З-47
Зегет, В.
Элементарная логика : научное издание: пер. с нем. / В. Зегет. - М. : Высшая школа, 1985. - 256 с. - 0.90 р.
Перевод заглавия: ELEMENTARE LOGIK
ГРНТИ |
Кл.слова (ненормированные):
логика -- мышление -- семантика -- высказывание -- предикаты -- силлогистика -- философия
Доп.точки доступа:
Кузина, Е.Б. \ред.\
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
4.
Подробнее
517.1
К 89
Кузнецов, О. П.
Дискретная математика для инженера : учебник для студентов вузов / О. П. Кузнецов. - 4-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 396 с. : рис. - (Учебники для вузов . Специальная литература). - ISBN 5-8114-0570-7 : 2233.00 тг
Рубрики: математика--математика дискретная
Кл.слова (ненормированные):
теория множеств -- алгебра -- логика -- теория графов -- алгоритмы -- соответствия -- функции -- предикаты -- анализ -- синтез
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)
К 89
Кузнецов, О. П.
Дискретная математика для инженера : учебник для студентов вузов / О. П. Кузнецов. - 4-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 396 с. : рис. - (Учебники для вузов . Специальная литература). - ISBN 5-8114-0570-7 : 2233.00 тг
ГРНТИ | |
УДК |
Рубрики: математика--математика дискретная
Кл.слова (ненормированные):
теория множеств -- алгебра -- логика -- теория графов -- алгоритмы -- соответствия -- функции -- предикаты -- анализ -- синтез
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)
5.
Подробнее
519.1
С 54
Соболева, Т. С.
Дискретная математика : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность", аспирантов, научных работников и специалистов в области прикладной математики и современных наукоемких информационных технологий / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина ; М-во образования и науки РФ. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - ISBN 5-7695-2823-0
Рубрики: математика--математика дискретная
Кл.слова (ненормированные):
множества -- отношения -- конечные -- бесконечные -- теория -- графы -- алгебра -- топология -- Булевы -- функция -- элементы -- математическая -- логика -- высказывания -- предикаты -- доказательства -- кибернетика -- синтаксис -- языки -- алгоритмы -- кодирования -- информатика -- семантика -- информация -- точка -- моделирование -- база -- данные -- принятие -- решение -- ультраоператоры -- знания -- дополнения
Доп.точки доступа:
Чечкин, А.В.
Чечкин, А.В. \ред.\
М-во образования и науки РФ
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)
С 54
Соболева, Т. С.
Дискретная математика : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность", аспирантов, научных работников и специалистов в области прикладной математики и современных наукоемких информационных технологий / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина ; М-во образования и науки РФ. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - ISBN 5-7695-2823-0
ГРНТИ | ||
УДК |
Рубрики: математика--математика дискретная
Кл.слова (ненормированные):
множества -- отношения -- конечные -- бесконечные -- теория -- графы -- алгебра -- топология -- Булевы -- функция -- элементы -- математическая -- логика -- высказывания -- предикаты -- доказательства -- кибернетика -- синтаксис -- языки -- алгоритмы -- кодирования -- информатика -- семантика -- информация -- точка -- моделирование -- база -- данные -- принятие -- решение -- ультраоператоры -- знания -- дополнения
Доп.точки доступа:
Чечкин, А.В.
Чечкин, А.В. \ред.\
М-во образования и науки РФ
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)
6.
Подробнее
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)
7.
Подробнее
681.518
О-57
Омар, М. Т.
Логические основы информационных систем : учебное пособие для студентов специальности 050703 "Информационные системы" / М. Т. Омар ; М-во образования и науки РК, Карагандинский государственный технический университет. - Караганда : КарГТУ, 2008. - 154 с. : ил. - ISBN 9965-04-165-2 : 600.00 тг
Рубрики: точная механика. автоматика--информационные системы
Кл.слова (ненормированные):
семантические -- дедуктивные -- функции -- комбинаторика -- предикаты -- программирование
Доп.точки доступа:
М-во образования и науки РК
Карагандинский технический университет имени Абылкаса Сагинова. Кафедра Информационно-вычислительные системы
Экземпляры всего: 46
Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)
Свободны: Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)
О-57
Омар, М. Т.
Логические основы информационных систем : учебное пособие для студентов специальности 050703 "Информационные системы" / М. Т. Омар ; М-во образования и науки РК, Карагандинский государственный технический университет. - Караганда : КарГТУ, 2008. - 154 с. : ил. - ISBN 9965-04-165-2 : 600.00 тг
ГРНТИ | |||
УДК |
Рубрики: точная механика. автоматика--информационные системы
Кл.слова (ненормированные):
семантические -- дедуктивные -- функции -- комбинаторика -- предикаты -- программирование
Доп.точки доступа:
М-во образования и науки РК
Карагандинский технический университет имени Абылкаса Сагинова. Кафедра Информационно-вычислительные системы
Экземпляры всего: 46
Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)
Свободны: Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)
8.
Подробнее
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)
Страница 1, Результатов: 8