Электрондық каталог


 

База данных: Ретро кітаптар

Беті 1, Нәтижелерін: 4

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

517
С720

Спивак, М.
    Математический анализ на многообразиях [Текст] / М. Спивак. - М. : Мир., 1968. - 162 с. - 0р.60к.

УДК

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


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

Спивак, М. Математический анализ на многообразиях [Текст], 1968. - 162 с.

1.

Спивак, М. Математический анализ на многообразиях [Текст], 1968. - 162 с.


517
С720

Спивак, М.
    Математический анализ на многообразиях [Текст] / М. Спивак. - М. : Мир., 1968. - 162 с. - 0р.60к.

УДК

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


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

22.12я7
У77

Успенский, В. А.
    Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.

УДК
ББК 22.12я7

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)

Успенский, В.А. Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско, 2002. - 128 с.

2.

Успенский, В.А. Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско, 2002. - 128 с.


22.12я7
У77

Успенский, В. А.
    Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.

УДК
ББК 22.12я7

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)

22.12
М501

Мендельсон, Э.
    Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1984. - 320 с. - [Б.ц.] тг.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 15
5.2-№6 оқу залы (14), 8-3.3 (1)
Свободны: 5.2-№6 оқу залы (14), 8-3.3 (1)

Мендельсон, Э. Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна, 1984. - 320 с.

3.

Мендельсон, Э. Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна, 1984. - 320 с.


22.12
М501

Мендельсон, Э.
    Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1984. - 320 с. - [Б.ц.] тг.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 15
5.2-№6 оқу залы (14), 8-3.3 (1)
Свободны: 5.2-№6 оқу залы (14), 8-3.3 (1)

22.12
М501

Мендельсон, Э.
    Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1976. - 320 с. - [Б.ц.] тг.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)

Мендельсон, Э. Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна, 1976. - 320 с.

4.

Мендельсон, Э. Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна, 1976. - 320 с.


22.12
М501

Мендельсон, Э.
    Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1976. - 320 с. - [Б.ц.] тг.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)

Беті 1, Нәтижелерін: 4

 

Барлық түсімдер 
Немесе қызығушылық танытқан айыңызды таңдаңыз