textPDFVolume 38 pages
2019 year
Формальные системы. Практикум
$1.98
About the book
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Leave a review
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:
МИСиС
