Формальные системы. Практикум

Формальные системы. Практикум

1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (Пока оценок нет)
Загрузка...
Универсальный рейтинг: 0 Автор: Е. В. Зайцева Объем: 38 стр.

Жанры:

информатика и вычислительная техника практикумы учебники и пособия для вузов бакалавриат Е. В. Зайцева математические методы

Читать онлайн:

Страница 1 из ?
Загрузка книги...
Страница 1 из ?

Описание:

Книга автора Е. В. Зайцева. Относится к жанрам: бакалавриат, математические методы. Объем: 38 стр.. Дата написания: 2019. Возрастное ограничение: 0+.

Вы можете в один клик скачать книгу ‘Формальные системы. Практикум’ в форматах fb2, ePub, txt без регистрации. Или же, выбирая подходящий Вам вариант, читать онлайн ‘Формальные системы. Практикум’ на нашем сайте. Здесь Вы легко сможете выбрать нужную книгу в соответствии со своими предпочтениями.

Если Вы ещё не определились с выбором, то посмотрите разделы «Рейтингов» и «Обзоров книг» нашего сайта, там сможете подобрать книгу или серию книг, которые Вам обязательно понравятся.

Аннотация:

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

Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».

Возрастное ограничение: 0+ Дата написания: 2019 Правообладатель: МИСиС

Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY

Добавить комментарий

Последние комментарии