جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

О некоторых логических проблемах арифметики

Main
Mathematics - Logic
О некоторых логических проблемах...

О некоторых логических проблемах арифметики

Шанин Н.А.

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

Mathematics - Logic

عام:

1955

الناشر:

АН СССР

اللغة:

russian

الصفحات:

113

سلسلة الكتب:

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

ملف:

DJVU, 1.84 MB

IPFS:

,

russian, 1955

إقرأ علي الإنترنت

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

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

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

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

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

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

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

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

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

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

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

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

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Смирнов В.А. — Формальный вывод и логические исчисления

Клини С.К.(Kleene S.C.) — Математическая логика

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

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

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

Смирнов В.А., и др. (ред.) — Логический вывод. Сборник статей

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

Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]

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

Шанин Н.А. (ред.) — Проблемы конструктивного направления в математике

Волохович А.В. — Основные понятия и методы теории формальных систем: Методические указания к изучению курса ''Дискретная математика'' и решению задач

Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф. — Логический подход к искусственному интеллекту: от классической логики к логическому программированию

Нагель Э., Ньюмен Дз.Р.(Nagel, Newman) — Теорема Геделя

Бесценный И.П., Бесценная Е.В. — Математическая логика: учебное пособие

Герасимов А.С. — Курс математической логики и теории вычислимости

Смирнов Владимир Александрович — Теория логического вывода

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

Матросов В.Л., Мирзоев М.С. — Математическая логика. Учебник для бакалавриата

Ю. А. Шиханович — Логические и математические исчисления: учебное пособие

Ю.Л. Ершов, Е.А. Палютин — Математическая логика

أكثر المصطلحات والعبارات المستخدمة

исчислении

выводима

выводимы

восполнения

операции

операция

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

алгорифм

процесса

алгорифма

формулой

исчисление

восполнений

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

порождающих

применения

переменных

определение

являются

соответственно

дальнейшем

восполнима

исчисления

конструктивное

определения

качестве

некоторого

порождающие

переменная

погружающая

порождающего

развертывания

элементарных

арифметическое

вхождения