Основы теоретической логики [Электронный ресурс] /Гильберт, Д.

 

QR-код документа

Оценок: 0

22.12
Г47
Гильберт, Д.
    Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости

Доп.точки доступа:
Аккерман, В.

Открыть карточку электронного документа
Авторизуйтесь для получения дополнительных услуг

Похожие издания по классификации

Жоғары математика курсы [Электрондық ресурс] /Уразмагамбетова, Э.У.
Вероятность в современном обществе. Закономерности окружающего мира. В 3 кн. [Электронный ресурс] /Тарасов, Л.В. . Кн.2
Дискретная математика: практическая дискретная математика и математическая логика [Электронный ресурс] /Тюрин, С.Ф.
Элементы дискретной математики для программистов [Электронный ресурс] /Тарасовевич, Ю.Ю.
Введение в логику и методологию дедуктивных наук [Электронный ресурс] /Тарский, А.