Не рекомендуется использовать Internet Explorer или Microsoft Edge. Сайт может не корректно работать. Скачайте, пожалуйста, современный браузер. Например Chrome или FireFox.
Тип: Билеты экзаменационные
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
В...
Подробнее...
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
(A→B)→((¬A→C)→(¬B→C)).
2. Записать рассуждение в логической ...
Подробнее...
Тип: Работа Зачетная
37. Будут ли следующие выражения формулами, и если это формулы, то какие переменные в них являются свободными, а какие связанными
a) x1x2x3 P(x1,x2,x3,x4);
b) x1P(x1,x2...
Подробнее...
Тип: Работа Зачетная
Описание на скриншоте.
Билет 3
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция получена операцией примитивной рекурсии из к...
Подробнее...
Скачано: 10
Тип: Работа Зачетная
Будут ли следующие выражения формулами, и если это формулы, то какие переменные в них являются свободными, а какие связанными:
а) x1x2P(x1,x2,x3);
b) x1P(x1,x2)...
Подробнее...
Тип: Работа Контрольная
ПРАВИЛА ВЫПОЛНЕНИЯ И ОФОРМЛЕНИЯ КОНТРОЛЬНОЙ РАБОТЫ
При выполнении контрольной работы необходимо строго придерживаться указанных ниже правил. Работы, выполненные без соблюдения этих правил, не засчиты...
Подробнее...
Тип: Работа Контрольная
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И...
Подробнее...
Тип: Работа Контрольная
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И...
Подробнее...
Тип: Работа Контрольная
ЗАДАЧА 1
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:
см. скриншот 1
ЗАДАЧА 2
Пусть Омега - множество людей. На множестве Омега заданы след...
Подробнее...
Тип: Работа Зачетная
Билет №6
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x) получена операцией примитивной рекурсии из константы C и функции ...
Подробнее...
Скачано: 8
Тип: Билеты
1. Вероятность случайного события: классическое, статистическое и аксиоматическое определение.
2. В группе 15 девушек и 10 юношей. На дежурство случайно выбирают 3 человека. Какова вероятность...
Подробнее...
Тип: Работа Экзаменационная
Будут ли следующие выражения формулами, и если это формулы, то какие переменные в них являются свободными, а какие связанными.
Подробнее...
Тип: Работа Зачетная
Минимизируем по переменной . Результат минимизации обозначим .
Фиксируем произвольное . Тогда по определению - это наименьшее такое (натуральным числам, включая ноль) что , если такое су...
Подробнее...
Тип: Работа Зачетная
26. Проверьте правильность рассуждений:
Если он принадлежит к нашей компании, то он храбр и на него можно положиться. Он не принадлежит к нашей компании. Значит, он не храбр или же на него нельзя поло...
Подробнее...