Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Проблемы конструктивного направления в математике

Main
Mathematics - Logic
Проблемы конструктивного направления в...

Проблемы конструктивного направления в математике

Шанин Н.А. (ред.)

0 / 0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Catégories:

Mathematics - Logic

Volume:

Вып.1

Année:

1958

Editeur::

АН СССР

Langue:

russian

Pages:

351

Collection:

Труды Математического института им. В.А.Стеклова (МИАН), т. 52

Fichier:

DJVU, 3.78 MB

IPFS:

,

russian, 1958

Lire en ligne

La conversion en est effectuée

La conversion en a échoué

Cela peut vous intéresser

Кушнер Б. А. — Лекции по конструктивному математическому анализу

Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику

— Проблемы кибернетики, вып.03

Лупанов О.Б. — Введение в математическую логику: конспект лекций

Новиков П.С. — Элементы математической логики

Поллак, Г. А. — Математическая логика и теория алгоритмов

Новиков П. — Элементы математической логики

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

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика

Шанин Н.А. — О конструктивном понимании математических суждений (статья)

Успенский В.А. — Теорема Гёделя о неполноте

Канатников А.Н. — Дискретная математика

Шанин Н.А. — О некоторых логических проблемах арифметики

Шанин Н.А. — О некоторых логических проблемах арифметики

Сергиевская И.М. — Математическая логика и теория алгоритмов: Учебное пособие

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Марков А.А., Нагорный Н.М. — Теория алгорифмов

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Косовский Н. К. — Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие.

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Марков А.А. — Теория алгорифмов

Адян С.И. (ред) — Сложность вычислений и прикладная математическая логика

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. IV. Теория доказательств и конструктивная математика

Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. — Дискретный анализ. Формальные системы и алгоритмы

Гильберт Давид, Бернайс Пауль — Основания математики. Логические исчисления и формализация арифметики

Фролов И.С. — Элементы математической логики

Косовский Н.К — Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов

Михайлов А.Б., Швецкий М.В — Лекции по основам математической логики. Формальные системы первого порядка

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Глушков В.М. — Введение в кибернетику

Mots Clefs

алгорифм

алфавите

алгорифма

алгорифмов

переменных

переменной

построим

формулой

называть

суждений

существует

применим

обозначим

алгорифмы

нормальных

переменная

посредством

нормальный

равенство

математических

нормального

применения

доказательство

алфавитом

выводимости

следовательно

заключения