Формальные системы. Практикум
О книге "Формальные системы. Практикум"
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные
системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника». Произведение относится к жанру Учебная, методическая литература и словари. На нашем сайте можно скачать книгу "Формальные системы. Практикум" в формате pdf или читать онлайн. Здесь так же можно перед прочтением обратиться к отзывам читателей, уже знакомых с книгой, и узнать их мнение. В интернет-магазине нашего партнера вы можете купить и прочитать книгу в бумажном варианте.
Подборки книг
Похожие книги
Другие книги автора
Информация обновлена: