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

 

Scan me!
QR code of document

Ratings: 0

22.12
В31

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

ББК 22.12

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

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

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

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


Similar publications by classification

 

 

24.0525.0526.0527.0528.0529.0530.0501020304050607024.0525.0526.0527.0528.0529.0530.05Viewed<br>pagesValueCreationPrint
24.0525.0526.0527.0528.0529.0530.05-0.100.10.20.30.40.50.60.70.80.911.124.0525.0526.0527.0528.0529.0530.05ЧтениеСкачиваниеПечать