Основы теоретической логики

Main
Mathematics - Logic
Основы теоретической логики

Основы теоретической логики

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.)

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Mathematics - Logic

Година:

1947

Издание:

2изд

Издателство:

ИЛ

Език:

russian

Страници:

308

Файл:

DJVU, 3.69 MB

IPFS:

,

russian, 1947

Четете Онлайн

Изтегляне (djvu, 3.69 MB)

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Ван-дер-Варден Б.Л. — Современная алгебра.

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

Гильберт Д., Кон-Фоссен С. — Наглядная геометрия

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

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

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

Чёрч А. — Введение в математическую логику

Гильберт Д. — Основания геометрии

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

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

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

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

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

Бродский И.Н. — Элементарное введение в символическую логику

Таванец П.В. (ред.) — Проблемы логики [Сборник статей]

Троякова Г. А., Монгуш А. С. — Математическая логика: Задачник-практикум для студентов физико-математического факультета

Сангалова М. Е. — Проектно-ориентированное обучение математической логике: Учебно-методическое пособие

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

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

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

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

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

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

Эдельман С.Л. — Математическая логика. Учебное пособие для институтов.

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

Калужнин Л.А. — Что такое математическая логика

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

Зыков А.Г., Поляков В.И., Скорубский В.И. — Математическая логика

Мунасыпов Н.А. — Учебное пособие по Дискретной математике

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

Маркин П.М. — Математическая логика

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

Глушков В.М — Машина доказывает

Бродский И.Н. — Элементарное введение в символическую логику

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

Блатов И. А. — Математическая логика и теория алгоритмов (240,00 руб.)

Калужнин Л.А. — Что такое математическая логика?

Плиско В.Е. — Математическая логика. Курс лекций

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

Мощенский В.А. — Лекции по математической логике

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

Най-често използвани термини

предикатов

исчисления

высказываний

высказывание

исчисление

предикат

высказывания

получаем

выражение

предикаты

индивидуумов

качестве

выражения

исчислении

переменные

предиката

переменных

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

существует

нормальной

предложение

предложения

основных

общности

следующим

содержит

выполняется

множеств

множество

предметов

существования

логических