Математическая логика

Main
Математическая логика

Математическая логика

Гудстейн Р.Л.(Goodstein R.L.)

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Έτος:

1961

Εκδότης:

ИЛ

Γλώσσα:

russian

Σελίδες:

165

Αρχείο:

DJVU, 2.50 MB

IPFS:

,

russian, 1961

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

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

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

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

Гейтинг А. — Обзор исследований по основаниям математики. Интуиционизм, теория доказательства

Дурнев В.Г., Зеткина О.В. — Дополнительные вопросы теории алгоритмов.

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

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

Гладкий А.В. — Математическая логика

Гуц А.К. — Математическая логика и теория алгоритмов

Нагель Э. — Теорема Гёделя

Гордон Е.И. — Лекции по математической логике и теории алгоритмов. Часть 1

Гейтинг А. — Обзор исследований по основаниям математики

Столяр А. А. — Элементарное введение в математическую логику. Пособие для учителей

Столяр А. А. — Логическое введение в математику

Мендельсон Эллиот — Введение в математическую логику

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

Мендельсон Эллиот — Введение в математическую логику

Мендельсон Эллиот — Введение в математическую логику

Тарский А. — Введение в логику и методологию дедуктивных наук

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

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

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

Петер Р.(Peter R.) — Рекурсивные функции

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

Клини С.К.(Kleene S.C.) — Введение в метаматематику

Мендельсон Э. (Mendelson E.) — Введение в математическую логику

Тарский А.(Tarski A.) — Введение в логику и методологию дедуктивных наук

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

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

Семичевская Н.П. — Дискретная математика (ИУС)

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

Блатов И. А. — Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов»

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

Петер Р. (авт.); Успенский В.А. (перевод) — Рекурсивные функции

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

Φράσεις κλειδιά

предложение

предложения

предикатов

предложений

примитивно

доказуемо

переменной

переменных

арифметики

являются

рекурсивная

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

исчисление

качестве

предикат

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

отношение

значений

значения

переменные

определение

универсально

существует

подстановки

получаем

исчисления

выражение

математической

отношения

равенства

свойством

переменная

рекурсивных