Основной контент книги Формальные системы. Практикум
Text PDF
Volume 38 pages
2019 year
Формальные системы. Практикум
author
Е. В. Зайцева
$2.10
About the book
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Log in, to rate the book and leave a review
Book Е. В. Зайцевой «Формальные системы. Практикум» — read online on the website. Leave comments and reviews, vote for your favorites.
Age restriction:
0+Release date on Litres:
01 April 2019Writing date:
2019Volume:
38 p. Total size:
875 КБTotal number of pages:
38Copyright holder:
МИСиС