Формальные системы практикум
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по напр...
Сохранить в:
| Главный автор: | Зайцева, Е. В. (070) |
|---|---|
| Формат: | Книга |
| Темы: | |
| Online-ссылка: | Перейти к просмотру издания |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
-
Апология математики
Автор: Успенский В. А. -
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
Автор: Леденева Т. М.
Опубликовано: (2020) -
Математические методы в приложениях. Дискретная математика учебное пособие
Автор: Зайцева, О. Н. -
Введение в теорию поля и ее приложения монография
Автор: Мартынова, И. А. -
Математическая логика и теория алгоритмов учебное пособие
Автор: Зюзьков, В. М.