Основной контент книги Формальные системы. Практикум
Text PDF
Umfang 38 Seiten
2019 Jahr
Формальные системы. Практикум
Autor
Е. В. Зайцева
€2,14
Über das Buch
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Einloggen, um das Buch zu bewerten und eine Bewertung zu hinterlassen
Книга Е. В. Зайцевой «Формальные системы. Практикум» — читать онлайн на сайте. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Altersbeschränkung:
0+Veröffentlichungsdatum auf Litres:
01 April 2019Datum der Schreibbeendigung:
2019Umfang:
38 S. Gesamtgröße:
875 КБGesamtanzahl der Seiten:
38Rechteinhaber:
МИСиС