База данных: Каталог IBIS
Page 1, Results: 17
Отмеченные записи: 0
1.
Подробнее
Р98
Рябинин, И. А.
Надежность и безопасность структурно-сложных систем : научное издание / И.А. Рябинин. - СПб. : Политехника, 2000. - 248 с. : ил. - ISBN 5-7325-0549-0 : 2000.00 тг
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
вероятностное -- исчисление -- алгебра -- статистическое
Экземпляры всего: 1
Абонемент 1 корпус (1)
Свободны: Абонемент 1 корпус (1)
Р98
Рябинин, И. А.
Надежность и безопасность структурно-сложных систем : научное издание / И.А. Рябинин. - СПб. : Политехника, 2000. - 248 с. : ил. - ISBN 5-7325-0549-0 : 2000.00 тг
| ГРНТИ | |
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
вероятностное -- исчисление -- алгебра -- статистическое
Экземпляры всего: 1
Абонемент 1 корпус (1)
Свободны: Абонемент 1 корпус (1)
3.
Подробнее
Б 24
Барендрегт, Х. П.
Ламбда - исчисление: его синтаксис и семантика : научное издание / Х. П. Барендрегт ; Ред. А. С. Кузищев, пер. Г. Е. Минц. - М. : Мир, 1985. - 606 с. : ил. - 3.70 р.
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЛОГИКА -- ИСЧИСЛЕНИЯ
Доп.точки доступа:
Кузищев, А.С. \ред.\
Минц, Г.Е. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Б 24
Барендрегт, Х. П.
Ламбда - исчисление: его синтаксис и семантика : научное издание / Х. П. Барендрегт ; Ред. А. С. Кузищев, пер. Г. Е. Минц. - М. : Мир, 1985. - 606 с. : ил. - 3.70 р.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЛОГИКА -- ИСЧИСЛЕНИЯ
Доп.точки доступа:
Кузищев, А.С. \ред.\
Минц, Г.Е. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
5.
Подробнее
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Ф36
Фейс, Р.
Модальная логика : научное издание: пер. с англ. / Р. Фейс. - М. : Наука, 1974. - 520 с : ил. - (Математическая логика и основания математики). - 780.00 тг.
| ГРНТИ | |
| УДК |
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математический -- формальный -- системы -- эвристический -- подход -- пропозиционная -- предикаты
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
6.
Подробнее
В 71
Вольвачев, Р. Т.
Элементы математической логики и теории множеств : учеб. пособие для вузов / Р.Т. Вольвачев. - Минск : Университетское, 1986. - 112 с. : ил. - Б. ц.
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЛОГИКА -- ЭЛЕМЕНТЫ -- ТЕОРИЯ -- МНОЖЕСТВА
Экземпляры всего: 1
Абонемент 1 корпус (1)
Свободны: Абонемент 1 корпус (1)
В 71
Вольвачев, Р. Т.
Элементы математической логики и теории множеств : учеб. пособие для вузов / Р.Т. Вольвачев. - Минск : Университетское, 1986. - 112 с. : ил. - Б. ц.
| ГРНТИ | |||
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЛОГИКА -- ЭЛЕМЕНТЫ -- ТЕОРИЯ -- МНОЖЕСТВА
Экземпляры всего: 1
Абонемент 1 корпус (1)
Свободны: Абонемент 1 корпус (1)
7.
Подробнее
Б18
Байиф, Жан-Клод.
Логические задачи : пер. с фр. : научное издание / Ж.-К. Байиф. - М. : Мир, 1983. - 172 с : ил. - 0.45 р.
Кл.слова (ненормированные):
МАТЕМАТИКА -- ЗАДАЧИ -- ЗАНИМАТЕЛЬНЫЙ -- ЛОГИЧЕСКИЙ
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
Б18
Байиф, Жан-Клод.
Логические задачи : пер. с фр. : научное издание / Ж.-К. Байиф. - М. : Мир, 1983. - 172 с : ил. - 0.45 р.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИКА -- ЗАДАЧИ -- ЗАНИМАТЕЛЬНЫЙ -- ЛОГИЧЕСКИЙ
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
8.
Подробнее
Б59
Бизам, Д.
Игра и логика. 85 логических задач : научное издание: пер. с венг. / Д. Бизам, Я. Герцег. - М. : Мир, 1975. - 359 с : ил. - Б. ц.
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЗАДАЧИ -- ИГРЫ -- ЛОГИЧЕСКИЙ
Доп.точки доступа:
Герцег, Я.
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
Б59
Бизам, Д.
Игра и логика. 85 логических задач : научное издание: пер. с венг. / Д. Бизам, Я. Герцег. - М. : Мир, 1975. - 359 с : ил. - Б. ц.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЗАДАЧИ -- ИГРЫ -- ЛОГИЧЕСКИЙ
Доп.точки доступа:
Герцег, Я.
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
9.
Подробнее
Г20
Гарднер, М.
Есть идея! : научное издание: пер. с англ. / М. Гарднер. - М. : Мир, 1982. - 304 с. : ил. - Б. ц.
Кл.слова (ненормированные):
математика -- комбинаторика -- геометрия -- логика -- теория чисел -- игры -- задачи
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
Г20
Гарднер, М.
Есть идея! : научное издание: пер. с англ. / М. Гарднер. - М. : Мир, 1982. - 304 с. : ил. - Б. ц.
| ГРНТИ | |||
| УДК |
Кл.слова (ненормированные):
математика -- комбинаторика -- геометрия -- логика -- теория чисел -- игры -- задачи
Экземпляры всего: 1
Абонемент гл.корпус (1)
Свободны: Абонемент гл.корпус (1)
10.
Подробнее
А17
Абчук, В. А.
Экономико-математические методы: Элементарная математика и логика. Методы исследования операций : научное издание / В.А. Абчук. - СПб. : Союз, 1999. - 318 с. - ISBN 5-87852-103-2 : 205.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//skan/Ekonomiko_mat_met_Abchuk.pdf. - [Б. м. : б. и.]
ББК 65 + 65в6 + 517.1
Кл.слова (ненормированные):
математический -- методы -- экономика -- логика -- элементарный
Экземпляры всего: 2
Абонемент гл.корпус (1), ч/з гл.корпус (1)
Свободны: Абонемент гл.корпус (1), ч/з гл.корпус (1)
А17
Абчук, В. А.
Экономико-математические методы: Элементарная математика и логика. Методы исследования операций : научное издание / В.А. Абчук. - СПб. : Союз, 1999. - 318 с. - ISBN 5-87852-103-2 : 205.00 тг
Есть цифровая копия: : http://elib.kstu.kz/fulltext//skan/Ekonomiko_mat_met_Abchuk.pdf. - [Б. м. : б. и.]
| ГРНТИ |
Кл.слова (ненормированные):
математический -- методы -- экономика -- логика -- элементарный
Экземпляры всего: 2
Абонемент гл.корпус (1), ч/з гл.корпус (1)
Свободны: Абонемент гл.корпус (1), ч/з гл.корпус (1)
Page 1, Results: 17