Логика
Cрок выполнения : 04.05 вече
Вид работы : Контрольная
Статус открыт
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
|
Добавлен 01.05.2019 20:37:36
Уникальность:
Доработка:
Подробно: Что можете решить? 2. Определить логическую общезначимость. 3. Записать формулу быть чётным. 4. Определить истинность на множестве целых чисел Z. 5. Постройте вывод теории L.
Кратко: 2. Определить логическую общезначимость. 3. Записать формулу быть чётным. 4. Определить истинность на множестве целых чисел Z. 5. Постройте вывод теории L.
Файлы доступны после авторизации