寄付 2024年9月15日 – 2024年10月1日募金について

Введение в неклассические логики

Main
Mathematics - Logic
Введение в неклассические логики

Введение в неклассические логики

Одинцов С.П., Сперанский С.О., Дробышевич С.А.

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

Новосибирск: РИЦ НГУ (Механико–математический факультет), 2014. – 133 с.Оглавление:Начальные сведения.
Конструктивные логики
Разрешимость и другие фундаментальные свойства.
Модальные логики.
Список литературы.

カテゴリー:

Mathematics - Logic

言語:

russian

ファイル:

PDF, 996 KB

IPFS:

,

russian0

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. — Введение в теорию многозначных отображений и дифференциальных включений (нет рисунков)

Бутузов В. Ф. — Лекции по математическому анализу

Арсеньев А.А. — Лекции по функциональному анализу для начинающих специалистов по математической физике

Панюков, А. В. — Линейное программирование

Малышев Дмитрий Сергеевич — Комбинаторные методы формирования границы эффективной разрешимости дискретных задач в семействе наследственных классов графов: Учебно-методическое пособие

Осипенко К.Ю. — Вариационное исчисление и оптимальное управление

А.А. Никитин — Математический Анализ

В.В. Прасолов — Математический анализ. Теоремы и задачи.

Шахов Ю.Н., Деза Е.И. — Численные методы. Учебное пособие

Сергей Н. Тронин — Введение в теорию групп. Задачи и теоремы. Часть 2 [Lecture notes]

Тарас Е. ПАНОВ — Линейная алгебра и геометрия [Lecture notes]

Салий В.Н. — Прикладная универсальная алгебра

Мацокин А.М. — Конспект лекций. Численный анализ

Ермолаев Ю.Б. — Введение в теорию Галуа. Конспект лекций

Алексеев Д.М., Виноградов О.П. — Курс лекции по математическому анализу 10-11 класс(углубленный уровень)

Палин В., Радкевич Е. — Методы математической физики

Чешкова М.А. — Риманова геометрия

Стечкин С.Б., Радославова Т.В., Холщевникова Н.Н. Лекции С.Б. — Стечкина по математическому анализу. Том I

Миронов А.М. — Теория вероятностных автоматов

Эвнин А.Ю. — Математическая логика. Конспект лекций и задачи

Чеботарев В.И., Золотухин А.Я. — Элементы теории игр

Потапов М.М. — Методы оптимизации. Конспект лекций

Абрамов А.А. — Лекции по дифференциальным уравнениям

Гуров С.И. — Исчисления высказываний классической логики

Прохоров Ю.Г. — Эллиптические кривые и криптография. Семестр 1

Дынников И.А. — Классическая дифференциальная геометрия

Зубелевич О.Э. — Лекции по тензорному анализу. Учебное пособие

Дубровина Т.В., Дубровин Н.И. — Алгебра и геометрия

Угольников А.Б.(ред.) — Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику''

Фоминых Е.А. — Лекции по дискретной математике: функциональные системы с операциями

Богачёв В.И. — Курс лекций по действительному анализу (2 курс, 4 семестр)

Тыртышников Е.Е. — Матричный анализ и линейная алгебра: Учебное пособие (63 лекции)

Срочко — Численные методы

Тихомиров В.М. — Вариационное исчисление и оптимальное управление (конспект курса лекций)

МОЛЧАНОВ В.Ф. — НЕКОММУТАТИВНЫЙ ГАРМОНИЧЕСКИЙ АНАЛИЗ И КВАНТОВАНИЕ НА МНОГООБРАЗИЯХ

主要なフレーズ