Контрольная работа на тему "Контрольная работа по Математическая логика и теория алгоритмов", Технические специальности, Высшая математика [ID 13456]

Данный заказ успешно выполнен на онлайн сервисе помощи студентам STUDENTU24.RU.

Технические специальности, Высшая математика

Контрольная работа по Математическая логика и теория алгоритмов [ID 13456]

Номер заказа

13456

Тип задания

контрольная работа

Предмет

Технические специальности, Высшая математика

Статус

Закрыт
Текст задания
Проверить полноту системы логических функций, используя критерий Поста. Заполнение таблицы Поста должно быть обоснованным. Если система не полна, то достроить до полной системы. (Запрещается дополнять функциями штрих Шеффера, стрелка Пирса, константами 0 и 1, отрицанием, конъюнкцией.) Используя функции полученной полной системы, выразить константы 0 и 1, отрицание, конъюнкцию
Булевые функции

x_1 x_2  x_2 x_3  x_1 x_3
x_1 x_2  (x_2 x_3 〖 x〗_1 x_3)
x_1 & (x_2  x_3)
5,18,19
Записать рассуждение в логической символике, обосновать выбор логических связок.
Проверить правильность рассуждения методом Куайна
Проверить правильность рассуждения методом редукции.
Проверить правильность рассуждения методом резолюций.

Хомяк добрый, если хозяин его вкусно кормит. Хомяка вкусно кормят, только если у хозяина есть деньги. У хозяина нет финансовых проблем. Значит, хомяк добрый.

2.
Если хозяин вкусно кормит хомяка, то хомяк добрый.
A → B
Где:
A – “хозяин вкусно кормит хомяка”
B – “хомяк добрый”
Хозяин вкусно кормит хомяка только если у него есть деньги.
A → C
C – “У хозяина есть деньги”
У хозяина нет финансовых проблем (то есть у него есть деньги)
C
Вывод хомяк добрый
B
Объяснение выбора логических связок
Импликация (→) используется для выражения условных утверждений ("если..., то...").
Утверждение "хомяка вкусно кормят, только если у хозяина есть деньги" также выражается через импликацию, так как это условие.
Утверждение "у хозяина нет финансовых проблем" эквивалентно "у хозяина есть деньги" C.
3. Проверить правильность рассуждения методом Куайна.
Метод Куайна используется для проверки тавтологий. Рассмотрим логическое выражение, соответствующее рассуждению:
((A→B)∧(A→C)∧C)→B
Упростим выражение:
A→B эквивалентно ¬A∨B.
A→C эквивалентно ¬A∨C.
Подставим в выражение:
((¬A∨B)∧(¬A∨C)∧C)→B
Упростим конъюнкцию:
(¬A∨B)∧(¬A∨C)∧C
Поскольку
C истинно, выражение упрощается до:
(¬A∨B)∧(¬A∨C)
Так как
C истинно,
¬A∨C также истинно, и выражение сводится к:
¬A∨B
Теперь рассмотрим импликацию:
(¬A∨C)→C
Это выражение эквивалентно:
¬(¬A∨B)∨B
По закону де Моргана:
(A∧¬B)∨B
Упростим:
A∨B
Это выражение не является тавтологией, так как оно ложно, если и
A, и B ложны. Следовательно, рассуждение не является корректным.
4. Проверить правильность рассуждения методом редукции.
Метод редукции заключается в проверке, следует ли заключение из посылок. Рассмотрим посылки:
A→B
A→C
C
Из C и A→C нельзя однозначно заключить A, так как A→C не исключает возможность A быть ложным. Следовательно, из посылок нельзя однозначно заключить C, так как C зависит от A, которое не обязательно истинно. Таким образом, рассуждение некорректно.
5. Проверить правильность рассуждения методом резолюций.
Метод резолюций используется для проверки логической корректности. Преобразуем посылки и отрицание заключения в клаузальную форму:
A→B эквивалентно ¬A∨B.
A→C эквивалентно ¬A∨C.
C остается как есть.
Отрицание заключения: ¬C.
Теперь запишем все клаузы:
¬A∨B
¬A∨C
C
¬B
Применим резолюцию:
И

Закажите подобную или любую другую работу недорого.

Разместить задание

Преимущества аукционной площадки

Оперативно связывайтесь с экспертом для решения вопросов по своему заданию. Отслеживайте результат работы эксперта онлайн через личный кабинет.

  • Большое количество отзывов студентов

    Каждая выполненная работа оценивается заказчиком

  • Профессиональные эксперты реагируют моментально

    Сразу после размещения заказа Вы начнете получать предложения от экспертов

  • Гарантия низкой цены

    Вы сами выбираете предложения экспертов, которые вписываются в Ваш бюджет

  • Доработки бесплатны

    Все доработки по проектам бесплатны

  • Гарантия возврата средств

    Мы гарантируем возврат средств в случае возникновения спорных моментов

  • Работаем 24/7

    Мы всегда на связи

Как не прогадать с автором?

Выбираем наиболее подходящего нам автора по стоимости и отзывам — наиболее популярное решение при выборе автора для студенческих работ. Так же обратим ваше внимание на направление выбранное автором при регистрации, его рейтингу и его посещаемости сайта.

Посмотреть всех экспертов
фото Виктория Виктория

С нами с 2021 года

фото Дмитрий Дмитрий

С нами с 2022 года

фото Александр Александр

С нами с 2024 года

фото Елена Елена

С нами с 2022 года

Отзывы студентов

Николай

04.10.2025

Все отлично, выполнили быстро раньше срока

Без имени

22.10.2024

Отличный человек, рекомендую

Александр

15.10.2024

Быстро, качественно

Александр

06.10.2024

Все отлично, супер быстро и качественно! Спасибо!!!

Artyom

05.10.2024

Все отлично было сделанно, вовремя, преподователей с перевого раза поставил зачет.

Artyom

05.10.2024

Все отлично было сделанно, вовремя, преподователей с перевого раза поставил зачет.

Андрей

25.09.2024

Спасибо

Дмитрий

29.05.2024

Сделал все оперативно и качественно.

Ольга

15.02.2024

Спасибо большое за своевременную и качественную работу.

Светлана Соколенко

28.04.2023

Заказ выполнен качественно и раньше срока, спасибо!

Светлана Соколенко

26.04.2023

Работа выполнена раньше срока и качественно, спасибо)

Светлана Соколенко

26.04.2023

Заказ выполнен раньше срока на наивысший балл! Спасибо!

Мурат

23.02.2023

Здание выполнено в срок, преподаватель оценил положительно. 5 звезд.

Сережа

31.10.2020

Все быстро и качественно. Всем советую

Екатерина

25.09.2023

Конечно, исполнитель молодец, сделал всё, как я и просила, скачал карту моего посёлка и выполнил работу. Но, получается, у меня последний срок был 24 сентября, а он сделал 25. Только за это снижаю оценку, а если бы мне нужно было сдать ещё вчера? А так конечно не разбираюсь, может это из за того, что мой поселок слишком маленький, что очень мало нужных зданий, которые нужно отметить, но мне поставили 4, поэтому и оценка исполнителя 4.

F.A.Q

Часто Задаваемые Вопросы

Ответы на самые часто задаваемые вопросы

Для того, чтобы узнать, какая будет стоимость работы необходимо зарегистрироваться как «заказчик». Заполнить форму, максимально описав суть задачи, приложить необходимые методические материалы (документы, фотографии). Указать срок, в который необходимо уложиться эксперту (лучше оставлять небольшой запас времени). Если вы не нашли в списке нужный предмет, то необходимо указать максимально приближенный и описать выполнения в графе «Дополнительно». Эксперты тоже люди, они не умеют читать мысли и додумывать задание. Поэтому постарайтесь максимально изложить суть и критерии задания. В противном случае вы можете получить не то что ожидали увидеть. После заполнения всех необходимых полей заявка уходит на аукцион экспертов. Далее Вам достаточно выбрать наилучшего, по Вашему мнению, исполнителя для своей работы.

Сделать заказ

Вы выбираете самостоятельно эксперта. Все цены, отзывы и рейтинг можно увидеть, когда автор откликнется на Вашу заявку. Вам достаточно выбрать нужную Вам цену. Но и не забывайте читать отзывы и оценивать рейтинг исполнителя! Цена как правило зависит от сроков и сложности работы. Чем больше объем и чем меньше сроки - тем дороже будет стоить работа. Главный плюс того, что вы закажите работу именно здесь, Вам не придется переплачивать за посреднические услуги, вы работаете с автором напрямую, соответственно цена в 2-3 раза ниже! Так же один из плюсов, Вам не придется ждать ответа менеджера т.к. вы общаетесь только с автором своей работы напрямую.

Сроки, как правило, зависят от сложности работы. Например – отчёт по практике выполняется примерно 5-7 дней. Наши эксперты выполняют работу в минимальные сроки т.к. им самим хочется как можно быстрее закрыть заказ и приступить к новой работе. Укажите свои максимальные сроки, и мы выполним работу в нужный срок! Наши эксперты готовы взять самую срочную и сложную работу, а вы не забудьте поблагодарить его приятным отзывом.

Studentu24- это биржа студенческих работ. Тут собраны самые лучшие исполнители по самым различным специализациям. Минуя посредников, вы общаетесь с исполнителем напрямую. За счет чего происходит экономия денежных средств и времени. К тому же все заявки обрабатываются только через безопасную сделку. Эксперт не получит Ваши деньги, пока вы не удостоверитесь в качестве работы или пока не пройдет гарантийный срок работы. И да - у любой работы есть гарантийный срок! Это позволяет вернуть работу на доработку, и автор выполнит ее совершенно бесплатно.

После создания заказа, у экспертов будет возможность откликаться на Вашу заявку. Все эксперты, которые откликнулись, будут в списке «исполнитель» - рядом знак «+», при нажатии открывается полный список экспертов, которые готовы взять Ваш заказ в работу

Исполнители получают оплату только после выполнения заказа, после того как вы нажмете соответствующую кнопку или пройдет гарантийный срок работы. Тем самым вы на 100% можете быть уверены, что автор заинтересован в выполнении заказа.

На площадке Studentu24.ru запрещено обмениваться контактами. Делается это для того, чтобы обезопасить Вас от недобросовестных исполнителей. На сайте все платежи проходят через безопасную сделку под пристальным контролем администрации. Даже если определенный автор сделал Вам 10 работ качественно, в срок и без изъянов, не факт что за пределами нашего проекта он сделает тоже самое. Если вы решили сотрудничать с исполнителем вне нашей системы, то мы снимаем с себя все условия и гарантии.

Любая заявка проводится через безопасную сделку. Тем самым гарантированно, что студент не обманет Вас, не передумает и не вернет средства без основательных на то причин. Если работа выполнена качественно и в срок, вы гарантированно получите заработанные деньги. Арбитраж сервиса относится к своей работе ответственно и не заинтересован в чьей либо из сторон. Тем самым если правда на Вашей стороне, вы гарантированно получите заработанные средства. Для того, чтобы качественно выполнять работу, не бойтесь задавать правильные вопросы, уточнять нюансы по методическим указаниям.

У любой работы есть гарантийный срок - 20 дней. У студента есть время проверить работу самостоятельно, сдать её преподавателю и дождаться ответ. Если за это время студент не вышел на связь и не написал, что ему нужно работу доделать, то вы автоматически получаете средства.

Если же клиент проверил работу и появились новые «хотелки», которых не было озвучено ранее, а к Вашей работе претензий нет, и он не хочет принимать выполненный объем работ, то в этом случае предусмотрен независимый, беспристрастный арбитраж. Команда арбитража не заинтересована ни в одной из сторон, это дает возможность оценить ситуацию трезво и принять верное решение. Если вы выполнили работу качественно, в срок и без изъянов, а клиент отказывается платить - пишите в арбитраж, обязательно разберутся в сложившейся ситуации в кротчайшие сроки.

На доработку Вашего заказа, как правило, выделяется не менее суток (раньше автор скорей всего работу выполнит не качественно или вовсе не успеет её сделать). Средние и достаточные сроки доработки/правки/корректировки - 3-7 дней. 7 дней - это максимально возможный срок, в которые автор должен внести свои коррективы. Если автор не отписался заказчику, что принял работу на доработку или не уложился в сроки - обращайтесь в арбитраж

Для того, чтобы вывести средства, необходимо: убедиться, что гарантийный срок работы истёк. Замороженные средства стали доступными для снятия и перевелись в статус "Текущий баланс". Всё средства, у которых статус "Текущий баланс" можно вывести.

Уведомляем Вас, что заявки на выплаты (вывод денежных средств из личного кабинета) обрабатываются Администрацией вручную. Режим работы отдела выплат: будние дни c 10-00 до 16-00 (по московскому времени). Время обработки заявки - до трёх рабочих дней. Сумма к выводу должна составлять - не менее 1000 рублей.

Вывод средств на иностранные карты, кошельки: комиссия взымается со стороны получателя. Конвертация с нашей стороны производится по курсу ЦБ РФ или Сбербанка РФ.

Далее необходимо выполнить:

1. Внести номер карты в профиле пользователя.

  1. После того как вписали номер карты, убедитесь, что внесены верные цифры. Администрация не несёт за это ответственность! Сохраните изменения. Вносить номер карты больше не придётся.
  2. Далее в правом верхнем углу экрана необходимо нажать на знак $. В открывшейся вкладке нажимаем на кнопку "Обналичить баланс"

     4. В открывшемся диалогом окне необходимо вписать сумму. Данные для снятия средств уже будут вписаны из личного профиля, если хотите осуществить вывод средств на другую карту, то можете вписать необходимые реквизиты. Комментарий по желанию: можете указать ФИО получателя. Если вывод производится на кошельки - необходимо указать, какой это кошелек, к какому номеру телефона он привязан. Если карта иностранного банка, то понадобится дополнительная информация для перевода (уточняйте на стороне своего банка)

После выполнения работы, студент может нажать самостоятельно «закрыть сделку», тем самым он уверен, что Ваша работа выполнена качественно, в срок, и она пройдет на хорошую оценку. Тем самым мы снимаем с себя все обязательства, а вы сможете отправить заявку на снятие средств из личного кабинета. В случае если клиент не нажал эту кнопку, значит необходимо ждать гарантийный срок 20 дней. Далее заполняете заявку на вывод средств. Администрация сервиса обрабатывает в ручную каждую заявку, как правило до 3 рабочих дней.

НЕ НАШЛИ, ЧТО ИСКАЛИ? МОЖЕМ ПОМОЧЬ.

СТАТЬ ЗАКАЗЧИКОМ