Основной контент книги Формальные системы. Практикум
Text PDF
Umfang 38 seiten
2019 Jahr
Формальные системы. Практикум
Autor
Е. В. Зайцева
€1,83
Über das Buch
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Einloggen, um das Buch zu bewerten und eine Rezension zu hinterlassen
Buch Е. В. Зайцевой «Формальные системы. Практикум» — online auf der Website lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
Altersbeschränkung:
0+Veröffentlichungsdatum auf Litres:
01 April 2019Schreibdatum:
2019Umfang:
38 S. Gesamtgröße:
875 КБGesamtanzahl der Seiten:
38Rechteinhaber:
МИСиС