Полное описание
>
Шень, А. Х. Языки и исчисления: курс : учебное пособие / А. Х. Шень, Н. К. Верещагин. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2007. - 249 с. - URL: https://biblioclub.ru/index.php?page=book&id=234892 (дата обращения: 25.04.2024) . - Режим доступа: Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация. - текст : электронный.ББК | |
22.12я73 |
Кл.слова (ненормированные): УЧЕБНИК ДЛЯ ВЫСШЕЙ ШКОЛЫ
Аннотация: В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).Курс включает в себя около 200 задач различной трудности.
Доп. точки доступа:
Верещагин, Н. К.
https://biblioclub.ru/index.php?page=book&id=234892
Держатели документа:
ЭБС Университетская библиотека онлайн : 117342, г. Москва, ул. Обручева, д. 34/63, стр. 3 (Шифр в БД-источнике (BIBLIO): 234892)>
Шифр в сводном ЭК: edc994c83ada31c4598e319a9155bb45
Просмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация