QR-код документа
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
Файл для загрузки:
Pentus_Vvedenie_mat_logiku_2006.pdf
Похожие издания по классификации