Choice of metadata Retro Books
Page 2, Results: 33
Report on unfulfilled requests: 0
11.
Подробнее
М34
Математическая логика и ее применение [Текст] : сборник статей / Под ред.Э.Нагела, П.Саппса и А.Тарского.; Пер.с англ. - М. : Мир, 1965. - 341 с. - 1р.65к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ТЕОРИЯ ЧИСЕЛ
Кл.слова (ненормированные):
логика -- применение логики -- математика -- математическая логика -- сборник статей
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)
М34
Математическая логика и ее применение [Текст] : сборник статей / Под ред.Э.Нагела, П.Саппса и А.Тарского.; Пер.с англ. - М. : Мир, 1965. - 341 с. - 1р.65к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ТЕОРИЯ ЧИСЕЛ
Кл.слова (ненормированные):
логика -- применение логики -- математика -- математическая логика -- сборник статей
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)
12.
Подробнее
М48
Мельников, Г. П.
Азбука математической логики [Текст] / Г. П. Мельников. - М. : Знание, 1967. - 93 с. - 0р.19к.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
логические отношения -- математика -- математическая логика
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
М48
Мельников, Г. П.
Азбука математической логики [Текст] / Г. П. Мельников. - М. : Знание, 1967. - 93 с. - 0р.19к.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
логические отношения -- математика -- математическая логика
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
13.
Подробнее
М501
Мендельсон, Э.
Введение в математическую логику [Текст] / Под ред.С.И.Ядана. - М. : Наука, 1976. - 220 с. - 1р.65к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- тавтология -- исчисление -- арифметика -- множества -- интерпретация
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)
М501
Мендельсон, Э.
Введение в математическую логику [Текст] / Под ред.С.И.Ядана. - М. : Наука, 1976. - 220 с. - 1р.65к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- тавтология -- исчисление -- арифметика -- множества -- интерпретация
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)
14.
Подробнее
М50
Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон. - М. : Наука, 1971. - 320 с. - 1р.70к. тг., 100т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
тавтология -- кванторы -- правило -- система аксиом -- математика -- математическая логика
Экземпляры всего: 2
2.1-№2 оқу залы (2)
Свободны: 2.1-№2 оқу залы (2)
М50
Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон. - М. : Наука, 1971. - 320 с. - 1р.70к. тг., 100т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
тавтология -- кванторы -- правило -- система аксиом -- математика -- математическая логика
Экземпляры всего: 2
2.1-№2 оқу залы (2)
Свободны: 2.1-№2 оқу залы (2)
15.
Подробнее
М 75
Молодший, В. Н.
Очерки по вопросам обоснования математики [Текст] / В. Н. Молодший. - М. : Просвещения, 1958. - 230 с. - 4р.75к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая строгость -- аксиоматический метод -- элементы и аксиомы -- математическая логика -- обоснования математики
Экземпляры всего: 5
2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
М 75
Молодший, В. Н.
Очерки по вопросам обоснования математики [Текст] / В. Н. Молодший. - М. : Просвещения, 1958. - 230 с. - 4р.75к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая строгость -- аксиоматический метод -- элементы и аксиомы -- математическая логика -- обоснования математики
Экземпляры всего: 5
2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
16.
Подробнее
Н73
Новиков, П. С.
Элементы математической логики [Текст] / П. С. Новиков. - М. : Наука, 1973. - 399 с. - 1р.43к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- исчисления -- арифметика -- математика -- высшая математика
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
Н73
Новиков, П. С.
Элементы математической логики [Текст] / П. С. Новиков. - М. : Наука, 1973. - 399 с. - 1р.43к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- исчисления -- арифметика -- математика -- высшая математика
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
17.
Подробнее
П78
Проблемы логики [Текст] / Отв.ред.П.В.Таванец. - М. : Академии наук СССР, 1963. - 150 с. - 0р.44к.
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- философия -- логика -- импликация -- проблемы логики
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
П78
Проблемы логики [Текст] / Отв.ред.П.В.Таванец. - М. : Академии наук СССР, 1963. - 150 с. - 0р.44к.
| УДК |
Рубрики: ФИЛОСОФИЯ
ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- философия -- логика -- импликация -- проблемы логики
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
18.
Подробнее
С202
Саркисян, В. И.
Вычислительные машины и программирование [Текст] : учеб.пособие / ,. - Киев : Вища школа, 1984. - 272 с. - 0р.80к., 0р. 00к. тг.
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
математическая логика -- клавишные машины -- перфорационные машины -- программирование -- языки -- учебное пособие
Доп.точки доступа:
Барановский, Е.С.
Попов, А.Е.
Экземпляры всего: 9
гидро 6-6. (6), 6.1-№8 оқу залы (1), гидро 6- 5 (2)
Свободны: гидро 6-6. (6), 6.1-№8 оқу залы (1), гидро 6- 5 (2)
С202
Саркисян, В. И.
Вычислительные машины и программирование [Текст] : учеб.пособие / ,. - Киев : Вища школа, 1984. - 272 с. - 0р.80к., 0р. 00к. тг.
| УДК |
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
математическая логика -- клавишные машины -- перфорационные машины -- программирование -- языки -- учебное пособие
Доп.точки доступа:
Барановский, Е.С.
Попов, А.Е.
Экземпляры всего: 9
гидро 6-6. (6), 6.1-№8 оқу залы (1), гидро 6- 5 (2)
Свободны: гидро 6-6. (6), 6.1-№8 оқу залы (1), гидро 6- 5 (2)
19.
Подробнее
С72
Спирина, М. С.
Дискретная математика [Текст] = Информатика и вычеслительная техника : учебник / М. С. Спирина, П. А. Спирин. - Москва : Издательский центр "Академия", 2010. - 368 с. - ). - ISBN 978-5-7695-7649-2 : 2418т. 00т. тг.
ББК 22.174я7
Рубрики: МАТЕМАТИКА
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- графы -- логические схемы -- виды индукции -- гипотезы -- виды аналогов
Доп.точки доступа:
Спирин, П.А.
Экземпляры всего: 10
2 - 1 (3), 2.1-№2 оқу залы (7)
Свободны: 2 - 1 (3), 2.1-№2 оқу залы (7)
С72
Спирина, М. С.
Дискретная математика [Текст] = Информатика и вычеслительная техника : учебник / М. С. Спирина, П. А. Спирин. - Москва : Издательский центр "Академия", 2010. - 368 с. - ). - ISBN 978-5-7695-7649-2 : 2418т. 00т. тг.
Рубрики: МАТЕМАТИКА
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- графы -- логические схемы -- виды индукции -- гипотезы -- виды аналогов
Доп.точки доступа:
Спирин, П.А.
Экземпляры всего: 10
2 - 1 (3), 2.1-№2 оқу залы (7)
Свободны: 2 - 1 (3), 2.1-№2 оқу залы (7)
20.
Подробнее
С741
Справочная книга по математической логике:В 3-х x. [Текст]. Ч.2. Теория множеств / Под ред.Дж.Барвайса. - М. : Наука, 1982. - 376 с. - 2р.10к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
теория множеств -- аксиома -- алгебра -- математическая логика -- справочник
Экземпляры всего: 2
6.1-№8 оқу залы (1), гидро 6-6. (1)
Свободны: 6.1-№8 оқу залы (1), гидро 6-6. (1)
С741
Справочная книга по математической логике:В 3-х x. [Текст]. Ч.2. Теория множеств / Под ред.Дж.Барвайса. - М. : Наука, 1982. - 376 с. - 2р.10к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
теория множеств -- аксиома -- алгебра -- математическая логика -- справочник
Экземпляры всего: 2
6.1-№8 оқу залы (1), гидро 6-6. (1)
Свободны: 6.1-№8 оқу залы (1), гидро 6-6. (1)
Page 2, Results: 33