Формальные системы. Практикум
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
- Жанр:Учебная литература
- Страницы: 38
- Формат: mp3, fb2, epub, pdf, txt
Советуем прочитать похожую литературу
Странное яблоко
13 поучительных рассказов, в которых говорят… предметы, растения и явления природы! Узнайте, о...
Ручной труд. Уроки в 3 классе учреждения, реализующего...
В пособии представлен материал для обучения простейшим навыкам ручного труда в третьем классе...
Сказочные животные. Раскраски с дорисовыванием. Для вырезания и...
Раскрашивание, вырезание по контуру и аппликация заслуженно считаются очень эффективными...
На творческой волне. Сборник сценариев различных мероприятий с...
Данный сборник представляет собой опыт моей работы в качестве методиста-организатора...
Семь чудес света. Дерзкие реконструкции
Эта книга – попытка в необычной, запоминающейся форме донести до юного читателя сухие...
Наследники духовных традиций медицины
В учебном пособии затрагиваются наиболее важные проблемы, характерные для современного...
Отзывы (0)
Вам понравилось читать онлайн книгу «Формальные системы. Практикум»? Уделите пару минут, что бы оставить полезный отзыв другому читателю.