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