فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں

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

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

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

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

0 / 0

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

سال:

1985

ناشر کتب:

Мир

زبان:

russian

صفحات:

606

فائل:

PDF, 15.89 MB

IPFS:

,

russian, 1985

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

اہم جملے