Введение в математическую логику [Электронный ресурс] /Пентус, М.Р.

Введение в математическую логику [Электронный ресурс] /Пентус, М.Р.

http://e-lib.dulaty.kz/en/lib/document/SK_ELIB/BB831A0D-F4CE-4704-B0C3-DB1EA4C9D325/

22.12
П25
Пентус, М. Р.
    Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.

ББК 22.12

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

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

Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора

QR code of document