Описание материала:
В один архив собраны 14 различных вариантов, выполненных в виде doc файлов (по 2 варианта в одном файле). Все работы ранее публиковались на сайте в рубрике «Вычислительная математика». В данных работах рассмотрены следующие вопросы:
- Упрощение формулы логического выражения.
- Проверка обоснованности аргументации.
- Определение предикатов, свойства предикатов.
- Запись выражений в символьном виде.
- Составление выражений с использованием базовых операция реляционной алгербы.
- Получение СДНФ.
- Составление таблицы истинности функции.
Информация о материале:
- Год: 2010
- Формат: doc
- Размер материала: 149,4 KiB