Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=формальная система<.>)
Общее количество найденных документов : 1
1.
IPRBooks-98926
98926

    Зайцева, Е. В.
    Формальные системы [Электронный ресурс] : практикум / Зайцева Е. В. - Москва : Издательский Дом МИСиС, 2019. - 36 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
аксиоматический метод -- асу -- математический метод -- предикат -- формальная система
Аннотация: Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

 
Статистика
за 29.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)