База данных: Ретро кітаптар
Беті 1, Нәтижелерін: 7
Отмеченные записи: 0
1.
Подробнее
517.1
Р58
Робинсон, А.
Введение в теорию моделей и метаматематику алгебры [Текст] / Пер. с англ. под ред.А.Д.Тайманова. - М. : Наука, 1967. - 376 с. - ). - 1р.65к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ АЛГЕБРА
Кл.слова (ненормированные):
алгебра -- полнота -- определимость -- математическая теория -- теория моделей -- математическая алгебра
Экземпляры всего: 5
2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
Р58
Робинсон, А.
Введение в теорию моделей и метаматематику алгебры [Текст] / Пер. с англ. под ред.А.Д.Тайманова. - М. : Наука, 1967. - 376 с. - ). - 1р.65к. тг.
УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ АЛГЕБРА
Кл.слова (ненормированные):
алгебра -- полнота -- определимость -- математическая теория -- теория моделей -- математическая алгебра
Экземпляры всего: 5
2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
Свободны: 2.1-№2 оқу залы (4), 2.1-№2 Ч/З (1)
2.
Подробнее
512(083)
С741
Справочная книга по математической логике [Текст]. Теория модели. - М. : Наука, 1982. - 392 с. - 2р.20к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
математическая логика -- справочник -- логика -- теория моделей -- уравнения -- функции
Экземпляры всего: 2
гидро 6-6. (2)
Свободны: гидро 6-6. (2)
С741
Справочная книга по математической логике [Текст]. Теория модели. - М. : Наука, 1982. - 392 с. - 2р.20к. тг.
УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
математическая логика -- справочник -- логика -- теория моделей -- уравнения -- функции
Экземпляры всего: 2
гидро 6-6. (2)
Свободны: гидро 6-6. (2)
3.
Подробнее
22.123
Т33
Теория моделей в Казахстане [Текст] : сборник научных работ, посвященной памяти А.Д.Тайманова. - Алматы : ECO STUDY, 2006. - 448 с. - ISBN 996597-18-3-8 : [Б.ц.] тг.
ББК 22.123
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика -- теория моделей -- А.Д.Тайманов -- математик -- модельная алгебра
Экземпляры всего: 2
2.1-№2 оқу залы (1), гидро 6- 5 (1)
Свободны: 2.1-№2 оқу залы (1), гидро 6- 5 (1)
Т33
Теория моделей в Казахстане [Текст] : сборник научных работ, посвященной памяти А.Д.Тайманова. - Алматы : ECO STUDY, 2006. - 448 с. - ISBN 996597-18-3-8 : [Б.ц.] тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика -- теория моделей -- А.Д.Тайманов -- математик -- модельная алгебра
Экземпляры всего: 2
2.1-№2 оқу залы (1), гидро 6- 5 (1)
Свободны: 2.1-№2 оқу залы (1), гидро 6- 5 (1)
4.
Подробнее
22.12я73
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 318 с. - 0т. 00т. тг.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 318 с. - 0т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
5.
Подробнее
22.12я73
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1987. - 336 с. - [Б.ц.] тг., 0т. 00т. тг.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Аннотация: МТ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 49
5.2-№6 оқу залы (38), 8-3.3 (11)
Свободны: 5.2-№6 оқу залы (38), 8-3.3 (11)
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1987. - 336 с. - [Б.ц.] тг., 0т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Аннотация: МТ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 49
5.2-№6 оқу залы (38), 8-3.3 (11)
Свободны: 5.2-№6 оқу залы (38), 8-3.3 (11)
6.
Подробнее
22.12
К42
Клини, С. К.
Математическая логика [Текст] / Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - [Б.ц.] тг., 96т. 51т. тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- теория моделей -- функции -- парадоксы -- вычислимость
Аннотация: МН
Экземпляры всего: 2
5.2-№6 оқу залы (1), 7-5 (1)
Свободны: 5.2-№6 оқу залы (1), 7-5 (1)
К42
Клини, С. К.
Математическая логика [Текст] / Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - [Б.ц.] тг., 96т. 51т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- теория моделей -- функции -- парадоксы -- вычислимость
Аннотация: МН
Экземпляры всего: 2
5.2-№6 оқу залы (1), 7-5 (1)
Свободны: 5.2-№6 оқу залы (1), 7-5 (1)
7.
Подробнее
22.192
Т33
Теоретические и прикладные вопросы математического моделирования [Текст] / Отв. ред. О.А.Жаутыков. - Алма-Ата : Наука, 1986. - 208 с. - 0т. 00т. тг.
ББК 22.192
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
модель -- теория моделей -- формула -- алгоритм решения
Экземпляры всего: 5
5.2-№6 оқу залы (5)
Свободны: 5.2-№6 оқу залы (5)
Т33
Теоретические и прикладные вопросы математического моделирования [Текст] / Отв. ред. О.А.Жаутыков. - Алма-Ата : Наука, 1986. - 208 с. - 0т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
модель -- теория моделей -- формула -- алгоритм решения
Экземпляры всего: 5
5.2-№6 оқу залы (5)
Свободны: 5.2-№6 оқу залы (5)
Беті 1, Нәтижелерін: 7