517/М340

   
    Математическая теория логического вывода [Текст] : монография / ред. А. В. Идельсон. - М. : Наука, 1967. - 351 с. - (Математическая логика и основания математики). - Б. ц.
ГРНТИ
УДК
Рубрики: Математический анализ

Держатели документа:
Карагандинский филиал РНТБ Казахстана
Северо-Казахстанский филиал РНТБ Казахстана

Доп.точки доступа:
Идельсон, А.В. \ред.\; Минц, Г.Е.
Экземпляры всего: 1
08-ХР (1)
Свободны: 08-ХР (1)

   517/Ш233

    Шапиро, С. И.
    От алгоритмов -к суждениям. Эксперименты по обучению элементам математического мышления. Вступит. статья А.И. Берга и др. [Текст] : монография / С. И. Шапиро. - М. : Сов.радио, 1973. - 288 с. - Б. ц.
ГРНТИ
УДК
Рубрики: Математический анализ

Держатели документа:
Карагандинский филиал РНТБ Казахстана
Экземпляры всего: 1
08-ХР (1)
Свободны: 08-ХР (1)

   517/Ф337

    Федорюк, М. В
    Метод перевала [Текст] : практикум / М.В Федорюк. - М. : Наука, 1977. - 368 с. - Б. ц.
ГРНТИ
УДК
Рубрики: Математика--Интегральное исчисление
Кл.слова (ненормированные):
интегралы -- метод Лапласа -- стационарная фаза -- функция Эйри -- функция Бесселя

Держатели документа:
Павлодарский филиал РНТБ Казахстана
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)