Choice of metadata Retro Books
Page 1, Results: 33
Report on unfulfilled requests: 0
1.
Подробнее
Б83
Борохович, Я. П.
Математические машины и программирование [Текст] : учеб.пособие / Я. П. Борохович, А. В. Алексеев. - М. : Сельхозиздат, 1963. - 300 с. - 0р.55к.
Рубрики: ТЕХНИКА
МАШИНОСТРОЕНИЕ
ТОЧНАЯ МЕХАНИКА
Кл.слова (ненормированные):
системы счисления -- сложение чисел -- математическая логика -- программные управления
Доп.точки доступа:
Алексеев, А.В.
Экземпляры всего: 5
2.1-№2 оқу залы (4), 6 -3 (1)
Свободны: 2.1-№2 оқу залы (4), 6 -3 (1)
Б83
Борохович, Я. П.
Математические машины и программирование [Текст] : учеб.пособие / Я. П. Борохович, А. В. Алексеев. - М. : Сельхозиздат, 1963. - 300 с. - 0р.55к.
| УДК |
Рубрики: ТЕХНИКА
МАШИНОСТРОЕНИЕ
ТОЧНАЯ МЕХАНИКА
Кл.слова (ненормированные):
системы счисления -- сложение чисел -- математическая логика -- программные управления
Доп.точки доступа:
Алексеев, А.В.
Экземпляры всего: 5
2.1-№2 оқу залы (4), 6 -3 (1)
Свободны: 2.1-№2 оқу залы (4), 6 -3 (1)
2.
Подробнее
Г60
Голышев, Л. К.
Электронные цифровые вычислительные машины [Текст] / Л. К. Голышев. - М. : Техника, 1965. - 447 с. - 0р.94к.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
ЭВМ -- математическая логика -- математика -- вычислительная математика -- вычислительные машины -- цифровые машины
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)
Г60
Голышев, Л. К.
Электронные цифровые вычислительные машины [Текст] / Л. К. Голышев. - М. : Техника, 1965. - 447 с. - 0р.94к.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
ЭВМ -- математическая логика -- математика -- вычислительная математика -- вычислительные машины -- цифровые машины
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)
3.
Подробнее
Г70
Горский, Д. П.
Логика [Текст] : учебное пособие для педагогических институтов / Д. П. Горский. - М. : Учпедгиз, 1963. - 292 с. - ). - 00р.69к.
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
логика -- анализ языка -- математическая логика -- логическая семантика
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
Г70
Горский, Д. П.
Логика [Текст] : учебное пособие для педагогических институтов / Д. П. Горский. - М. : Учпедгиз, 1963. - 292 с. - ). - 00р.69к.
| УДК |
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
логика -- анализ языка -- математическая логика -- логическая семантика
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
4.
Подробнее
К19
Канцедал, С. А.
Дискретная математика [Текст] : учеб.пособие / С. А. Канцедал. - М. : ФОРУМ; ИНФРА-М, 2007. - 224 с. - ISBN 978519903049 : 2000т. 00т. тг.
ББК 22.174я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ТЕОРИЯ ВЕРОЯТНОСТЕЙ И МАТЕМАТИЧЕСКАЯ СТАТИСТИКА
Кл.слова (ненормированные):
математика -- дискретная математика -- учебное пособие -- математическая логика
Экземпляры всего: 2
2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
Свободны: 2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
К19
Канцедал, С. А.
Дискретная математика [Текст] : учеб.пособие / С. А. Канцедал. - М. : ФОРУМ; ИНФРА-М, 2007. - 224 с. - ISBN 978519903049 : 2000т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ТЕОРИЯ ВЕРОЯТНОСТЕЙ И МАТЕМАТИЧЕСКАЯ СТАТИСТИКА
Кл.слова (ненормированные):
математика -- дискретная математика -- учебное пособие -- математическая логика
Экземпляры всего: 2
2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
Свободны: 2.1-№2 Ч/З (1), 2.1-№2 оқу залы (1)
5.
Подробнее
К26
Карри, Х. Б.
Основания математической логики [Текст] / Под ред.Ю.А.Гастева. - М. : Мир, 1969. - 568 с. - 2р.64к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- алгебра -- теория импликации -- импликации -- логическая алгебра
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
К26
Карри, Х. Б.
Основания математической логики [Текст] / Под ред.Ю.А.Гастева. - М. : Мир, 1969. - 568 с. - 2р.64к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- алгебра -- теория импликации -- импликации -- логическая алгебра
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
6.
Подробнее
К49
Клини, С.
Математическая логика [Текст] / Пер.с англ.Ю.А.Гостева. - М. : Мир, 1973. - 480 с. - 2р.50к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ АЛГЕБРА
Кл.слова (ненормированные):
математическая логика -- исчисление -- функций -- теория чисел -- высшая алгебра
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
К49
Клини, С.
Математическая логика [Текст] / Пер.с англ.Ю.А.Гостева. - М. : Мир, 1973. - 480 с. - 2р.50к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ АЛГЕБРА
Кл.слова (ненормированные):
математическая логика -- исчисление -- функций -- теория чисел -- высшая алгебра
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
7.
Подробнее
К60
Колмогоров, А. Н.
Введение в математическую логику [Текст] : учебник / А. Н. Колмогоров, А. Г. Драгалин. - М. : Московского университета, 1982. - 120 с. - 0р.25к., 00 руб. 25 коп. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ АЛГЕБРА
Кл.слова (ненормированные):
высшая алгебра -- математическая логика -- аксиоматические теории -- логические законы -- математика -- учебник
Доп.точки доступа:
Драгалин, А.Г.
Экземпляры всего: 6
2.1-№2 оқу залы (5), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (1), 2.1-№2 Ч/З (1)
К60
Колмогоров, А. Н.
Введение в математическую логику [Текст] : учебник / А. Н. Колмогоров, А. Г. Драгалин. - М. : Московского университета, 1982. - 120 с. - 0р.25к., 00 руб. 25 коп. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ АЛГЕБРА
Кл.слова (ненормированные):
высшая алгебра -- математическая логика -- аксиоматические теории -- логические законы -- математика -- учебник
Доп.точки доступа:
Драгалин, А.Г.
Экземпляры всего: 6
2.1-№2 оқу залы (5), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (1), 2.1-№2 Ч/З (1)
8.
Подробнее
К88
Кудрявцев, Л. Д.
Современная математика и ее преподавание [Текст] : учеб. пособие для вузов / Л. Д. Кудрявцев. - М. : Наука, 1980. - 144 с. - 125т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- преподавание -- лекции -- математическая логика -- дедукция -- индукция -- образование
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)
К88
Кудрявцев, Л. Д.
Современная математика и ее преподавание [Текст] : учеб. пособие для вузов / Л. Д. Кудрявцев. - М. : Наука, 1980. - 144 с. - 125т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- преподавание -- лекции -- математическая логика -- дедукция -- индукция -- образование
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)
9.
Подробнее
К93
Куратовский, К.
Теория множеств [Текст] / Пер.с англ.М.И.Кратко. - М. : Мир, 1970. - 416 с. - 1р.81к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
Кл.слова (ненормированные):
топология -- теория множеств -- математическая логика -- аналитическая геометрия
Доп.точки доступа:
Мостовский, А.
Экземпляры всего: 2
2.1-№2 оқу залы (1), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (1), 2.1-№2 Ч/З (1)
К93
Куратовский, К.
Теория множеств [Текст] / Пер.с англ.М.И.Кратко. - М. : Мир, 1970. - 416 с. - 1р.81к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
Кл.слова (ненормированные):
топология -- теория множеств -- математическая логика -- аналитическая геометрия
Доп.точки доступа:
Мостовский, А.
Экземпляры всего: 2
2.1-№2 оқу залы (1), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (1), 2.1-№2 Ч/З (1)
10.
Подробнее
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / , Л.Л.Максимова. - М. : Физматлит, 2002. - 256 с. - ISBN 5922100262 : 1000т. 00т. тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- отношения -- функции -- кардинальные числа -- математическая логика -- язык логики предикатов -- теория алгоритмов -- машины Тьюринга
Экземпляры всего: 3
6-5 (2), 2.1-№2 оқу залы (1)
Свободны: 6-5 (2), 2.1-№2 оқу залы (1)
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / , Л.Л.Максимова. - М. : Физматлит, 2002. - 256 с. - ISBN 5922100262 : 1000т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- отношения -- функции -- кардинальные числа -- математическая логика -- язык логики предикатов -- теория алгоритмов -- машины Тьюринга
Экземпляры всего: 3
6-5 (2), 2.1-№2 оқу залы (1)
Свободны: 6-5 (2), 2.1-№2 оқу залы (1)
Page 1, Results: 33