Поиск по Электронному каталогу


 

База данных: Каталог IBIS

Страница 1, Результатов: 8

Отмеченные записи: 0

517.1
Ф36

Фейс, Р.
    Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.

ГРНТИ
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)

Фейс, Р. Модальная логика [Текст] : научное издание: пер. с англ. / Р. Фейс, 1974. - 520 с

1.

Фейс, Р. Модальная логика [Текст] : научное издание: пер. с англ. / Р. Фейс, 1974. - 520 с


517.1
Ф36

Фейс, Р.
    Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.

ГРНТИ
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)

87.4
Б86

Бочаров, В. А.
    Основы логики : учебник для студентов вузов, обучающихся по гуманитарным и естественно-научным специальностям / В. А. Бочаров, В. И. Маркин ; М-во общего и проф. образования РФ. - М. : ИНФРА-М, 2000. - 296 с. - (Высшее образование). - ISBN 5-86225-595-8 : 192.50 тг

ГРНТИ
ББК 87.4 + 87.4я7

Кл.слова (ненормированные):
логика -- высказывания -- предикаты -- силлогистика -- понятие -- определение -- рассуждения -- изучение
Доп.точки доступа:
Маркин, В.И.
М-во общего и профессионального образования РФ

Экземпляры всего: 10
Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)
Свободны: Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)

Бочаров, В.А. Основы логики [Текст] : учебник для студентов вузов, обучающихся по гуманитарным и естественно-научным специальностям / В. А. Бочаров, В. И. Маркин, 2000. - 296 с

2.

Бочаров, В.А. Основы логики [Текст] : учебник для студентов вузов, обучающихся по гуманитарным и естественно-научным специальностям / В. А. Бочаров, В. И. Маркин, 2000. - 296 с


87.4
Б86

Бочаров, В. А.
    Основы логики : учебник для студентов вузов, обучающихся по гуманитарным и естественно-научным специальностям / В. А. Бочаров, В. И. Маркин ; М-во общего и проф. образования РФ. - М. : ИНФРА-М, 2000. - 296 с. - (Высшее образование). - ISBN 5-86225-595-8 : 192.50 тг

ГРНТИ
ББК 87.4 + 87.4я7

Кл.слова (ненормированные):
логика -- высказывания -- предикаты -- силлогистика -- понятие -- определение -- рассуждения -- изучение
Доп.точки доступа:
Маркин, В.И.
М-во общего и профессионального образования РФ

Экземпляры всего: 10
Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)
Свободны: Книгохранение (4), ч/з гл.корпус (1), Абонемент гл.корпус (5)

87.4
З-47

Зегет, В.
    Элементарная логика : научное издание: пер. с нем. / В. Зегет. - М. : Высшая школа, 1985. - 256 с. - 0.90 р.
Перевод заглавия: ELEMENTARE LOGIK

ГРНТИ
ББК 87.4

Кл.слова (ненормированные):
логика -- мышление -- семантика -- высказывание -- предикаты -- силлогистика -- философия
Доп.точки доступа:
Кузина, Е.Б. \ред.\

Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)

Зегет, В. Элементарная логика [Текст] : научное издание: пер. с нем. / В. Зегет, 1985. - 256 с

3.

Зегет, В. Элементарная логика [Текст] : научное издание: пер. с нем. / В. Зегет, 1985. - 256 с


87.4
З-47

Зегет, В.
    Элементарная логика : научное издание: пер. с нем. / В. Зегет. - М. : Высшая школа, 1985. - 256 с. - 0.90 р.
Перевод заглавия: ELEMENTARE LOGIK

ГРНТИ
ББК 87.4

Кл.слова (ненормированные):
логика -- мышление -- семантика -- высказывание -- предикаты -- силлогистика -- философия
Доп.точки доступа:
Кузина, Е.Б. \ред.\

Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)

517.1
К 89

Кузнецов, О. П.
    Дискретная математика для инженера : учебник для студентов вузов / О. П. Кузнецов. - 4-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 396 с. : рис. - (Учебники для вузов . Специальная литература). - ISBN 5-8114-0570-7 : 2233.00 тг

ГРНТИ
УДК

Рубрики: математика--математика дискретная

Кл.слова (ненормированные):
теория множеств -- алгебра -- логика -- теория графов -- алгоритмы -- соответствия -- функции -- предикаты -- анализ -- синтез
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)

Кузнецов, О.П. Дискретная математика для инженера [Текст] : учебник для студентов вузов / О. П. Кузнецов, 2005. - 396 с.

4.

Кузнецов, О.П. Дискретная математика для инженера [Текст] : учебник для студентов вузов / О. П. Кузнецов, 2005. - 396 с.


517.1
К 89

Кузнецов, О. П.
    Дискретная математика для инженера : учебник для студентов вузов / О. П. Кузнецов. - 4-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 396 с. : рис. - (Учебники для вузов . Специальная литература). - ISBN 5-8114-0570-7 : 2233.00 тг

ГРНТИ
УДК

Рубрики: математика--математика дискретная

Кл.слова (ненормированные):
теория множеств -- алгебра -- логика -- теория графов -- алгоритмы -- соответствия -- функции -- предикаты -- анализ -- синтез
Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)

519.1
С 54

Соболева, Т. С.
    Дискретная математика : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность", аспирантов, научных работников и специалистов в области прикладной математики и современных наукоемких информационных технологий / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина ; М-во образования и науки РФ. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - ISBN 5-7695-2823-0

ГРНТИ
УДК

Рубрики: математика--математика дискретная

Кл.слова (ненормированные):
множества -- отношения -- конечные -- бесконечные -- теория -- графы -- алгебра -- топология -- Булевы -- функция -- элементы -- математическая -- логика -- высказывания -- предикаты -- доказательства -- кибернетика -- синтаксис -- языки -- алгоритмы -- кодирования -- информатика -- семантика -- информация -- точка -- моделирование -- база -- данные -- принятие -- решение -- ультраоператоры -- знания -- дополнения
Доп.точки доступа:
Чечкин, А.В.
Чечкин, А.В. \ред.\
М-во образования и науки РФ

Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)

Соболева, Т.С. Дискретная математика [Текст] : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность", аспирантов, научных работников и специалистов в области прикладной математики и современных наукоемких информационных технологий / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина, 2006. - 256 с.

5.

Соболева, Т.С. Дискретная математика [Текст] : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность", аспирантов, научных работников и специалистов в области прикладной математики и современных наукоемких информационных технологий / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина, 2006. - 256 с.


519.1
С 54

Соболева, Т. С.
    Дискретная математика : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность", аспирантов, научных работников и специалистов в области прикладной математики и современных наукоемких информационных технологий / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина ; М-во образования и науки РФ. - М. : Академия, 2006. - 256 с. : рис., табл. - (Университетский учебник. Прикладная математика и информатика). - ISBN 5-7695-2823-0

ГРНТИ
УДК

Рубрики: математика--математика дискретная

Кл.слова (ненормированные):
множества -- отношения -- конечные -- бесконечные -- теория -- графы -- алгебра -- топология -- Булевы -- функция -- элементы -- математическая -- логика -- высказывания -- предикаты -- доказательства -- кибернетика -- синтаксис -- языки -- алгоритмы -- кодирования -- информатика -- семантика -- информация -- точка -- моделирование -- база -- данные -- принятие -- решение -- ультраоператоры -- знания -- дополнения
Доп.точки доступа:
Чечкин, А.В.
Чечкин, А.В. \ред.\
М-во образования и науки РФ

Экземпляры всего: 3
Книгохранение (1), Читальный зал 1 корпус (2)
Свободны: Книгохранение (1), Читальный зал 1 корпус (2)

517.1
И 26

Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин. - 3-е изд. стер. - М. : ACADEMIA, 2007. - 303 с. : ил. - (Высшее профессиональное образование). - ISBN 5-7695-3728-0 : 3200.00 тг

ГРНТИ
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгебра -- высказываний -- булевы -- функции -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)

Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин, 2007. - 303 с.

6.

Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин, 2007. - 303 с.


517.1
И 26

Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика" / В. И. Игошин. - 3-е изд. стер. - М. : ACADEMIA, 2007. - 303 с. : ил. - (Высшее профессиональное образование). - ISBN 5-7695-3728-0 : 3200.00 тг

ГРНТИ
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгебра -- высказываний -- булевы -- функции -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)

681.518
О-57

Омар, М. Т.
    Логические основы информационных систем : учебное пособие для студентов специальности 050703 "Информационные системы" / М. Т. Омар ; М-во образования и науки РК, Карагандинский государственный технический университет. - Караганда : КарГТУ, 2008. - 154 с. : ил. - ISBN 9965-04-165-2 : 600.00 тг

ГРНТИ
УДК

Рубрики: точная механика. автоматика--информационные системы

Кл.слова (ненормированные):
семантические -- дедуктивные -- функции -- комбинаторика -- предикаты -- программирование
Доп.точки доступа:
М-во образования и науки РК
Карагандинский технический университет имени Абылкаса Сагинова. Кафедра Информационно-вычислительные системы

Экземпляры всего: 46
Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)
Свободны: Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)

Омар, М.Т. Логические основы информационных систем [Текст] : учебное пособие для студентов специальности 050703 "Информационные системы" / М. Т. Омар, 2008. - 154 с.

7.

Омар, М.Т. Логические основы информационных систем [Текст] : учебное пособие для студентов специальности 050703 "Информационные системы" / М. Т. Омар, 2008. - 154 с.


681.518
О-57

Омар, М. Т.
    Логические основы информационных систем : учебное пособие для студентов специальности 050703 "Информационные системы" / М. Т. Омар ; М-во образования и науки РК, Карагандинский государственный технический университет. - Караганда : КарГТУ, 2008. - 154 с. : ил. - ISBN 9965-04-165-2 : 600.00 тг

ГРНТИ
УДК

Рубрики: точная механика. автоматика--информационные системы

Кл.слова (ненормированные):
семантические -- дедуктивные -- функции -- комбинаторика -- предикаты -- программирование
Доп.точки доступа:
М-во образования и науки РК
Карагандинский технический университет имени Абылкаса Сагинова. Кафедра Информационно-вычислительные системы

Экземпляры всего: 46
Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)
Свободны: Книгохранение (4), Абонемент 1 корпус (39), Консервация (3)

517.1
Ш 24

Шапорев, С. Д.
    Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев ; Научно - методический Совет по математике и механике вузов Северо-Запада. - СПб. : БХВ - Петербург, 2007. - 410 с. : ил. - (Учебное пособие ). - ISBN 978-5-94157-702-6 : 2985.00 тг

ГРНТИ
УДК

Рубрики: математика--математическая логика

Доп.точки доступа:
Научно-методический Совет по математике и механике вузов Северо-Запада

Экземпляры всего: 3
Книгохранение (3)
Свободны: Книгохранение (3)

Шапорев, С.Д. Математическая логика. Курс лекций и практических занятий [Текст] : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев, 2007. - 410 с.

8.

Шапорев, С.Д. Математическая логика. Курс лекций и практических занятий [Текст] : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев, 2007. - 410 с.


517.1
Ш 24

Шапорев, С. Д.
    Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев ; Научно - методический Совет по математике и механике вузов Северо-Запада. - СПб. : БХВ - Петербург, 2007. - 410 с. : ил. - (Учебное пособие ). - ISBN 978-5-94157-702-6 : 2985.00 тг

ГРНТИ
УДК

Рубрики: математика--математическая логика

Доп.точки доступа:
Научно-методический Совет по математике и механике вузов Северо-Запада

Экземпляры всего: 3
Книгохранение (3)
Свободны: Книгохранение (3)

Страница 1, Результатов: 8

 

Все поступления за 
Или выберите интересующий месяц