Языки исчисления [Электронный ресурс] /Верещагин, Н.К.

Языки исчисления [Электронный ресурс] /Верещагин, Н.К.

http://e-lib.dulaty.kz/en/lib/document/SK_ELIB/CB8AF8F0-A5B1-4CB2-BBB7-4D1B22D11F50/

22.12
В31
Верещагин, Н. К.
    Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.

ББК 22.12

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

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

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

Доп.точки доступа:
Шень, А.

QR code of document