Основной контент книги Формальные системы. Практикум
Matn PDF
Hajm 38 sahifa
2019 yil
Формальные системы. Практикум
muallif
Е. В. Зайцева
26 178,01 s`om
Kitob haqida
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Kiring, kitobni baholash va sharh qoldirish uchun
Книга Е. В. Зайцевой «Формальные системы. Практикум» — читать онлайн на сайте. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
01 aprel 2019Yozilgan sana:
2019Hajm:
38 Sahifa Umumiy o'lcham:
875 КБUmumiy sahifalar soni:
38Mualliflik huquqi egasi:
МИСиС