నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి

Ламбда-исчисление. Его синтаксис и семантика

Main
Ламбда-исчисление. Его синтаксис и...

Ламбда-исчисление. Его синтаксис и семантика

Барендрегт Х.

0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

సంవత్సరం:

1985

ప్రచురణకర్త:

Мир

భాష:

russian

పేజీల సంఖ్య:

606

ఫైల్:

PDF, 15.89 MB

IPFS:

,

russian, 1985

ఆన్‌లైన్‌లో చదవండి

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

Дьедонне Ж. — Основы современного анализа

коллектив авторов — Теория ветвления и нелинейные задачи на собственные значения

Шварц Л. — Анализ

Колмогоров А.Н., Фомин С.В. — Элементы теории функций и функционального анализа - Учебник для вузов

К. Иосида — Функциональный анализ

Климов Владимир Степанович — Дополнительные главы математического анализа [Электронный ресурс] : учеб. пособие

Натансон Исидор Павлович — Простейшие задачи на максимум и минимум

Смирнов В. И., Лебедев Н. А. — Конструктивная теория функций комплексного переменного

Эдвард Нельсон — Радикально элементарная теория вероятностей

Окстоби Дж. — Мера и категория

Ежов И. И., Скороход А. В., Ядренко М. К. — Элементы комбинаторики

Таран Т.А. — Основы дискретной математики

Кафиев Ю.Н. — Аномалии и теория струн

Кемени Джон Дж., Снелл Дж. Лори — Конечные цепи Маркова

Капланский — Алгебры Ли и локально компактные группы

Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика

Джонстон П.Т. — Теория топосов

Васильев Ф.П., Иваницкий А.Ю. — Линейное программирование

Гонин Е.Г. — Теоретическая арифметика

Бакельман И.Я., Вернер А.Л., Кантор Б.Е. — Введение в дифференциальную геометрию «в целом»

Ляшко И.И., Боярчук А.К., Гай Я.Г., Головач Г.П. — Справочное пособие по высшей математике. В 5-ти томах. Функции комплексного переменного. Теория и практика

Александр Геннадиевич Курош — Лекции по общей алгебре

Большаков В.Д., Левчук Г.П. (ред.). — Справочник геодезиста. Книга 1

Темам Р. — Уравнения Навье-Стокса. Теория и численный анализ

Виноградов О.Л., Громов А.Л. — Курс математического анализа. Часть 1

Биркгоф Г., Барти Т. — Современная прикладная алгебра

Милнор Дж., Кервер М.А., Кирби Р. — Топологическая библиотека. Том 2. Характеристические классы и гладкие структуры на многообразиях

Тюрин А.Н. — Сборник избранных трудов. Том 1. Геометрия векторных расслоений

Коллектив авторов — Высшая математика. Введение в анализ, дифференциальное исчисление функций одной переменной

Шилин И. А. — Введение в алгебру. Группы

Скорняков Л.А. — Элементы теории структур

Скорняков Л.А. — Элементы общей алгебры

Скорняков Л.А. — Элементы теории структур

— Теория функций и функциональный анализ

Шварц Дж. — Дифференцальная геометрия и топология

కీలక పదబంధాలు