Полное описание

234892
Шень, А. Х. Языки и исчисления: курс : учебное пособие / А. Х. Шень, Н. К. Верещагин. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 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

Просмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация