Контрольная работа по теме: «Основы алгебры логики»
Пояснительная записка
к контрольной работе по теме «Основы алгебры логики»
для 8 класса
по предмету Информатика и ИКТ
Контрольная работа составлена на основе «Информатики и ИКТ» учебника и рабочей тетради для 8 класса авторов Босовой Л. Л., Босовой А. Ю. – М.: Бином. Лаборатория знаний, 2015 год и требований федерального образовательного стандарта по Информатике и ИКТ для 8 класса. Контрольная работа состоит из 6 вариантов по 5 заданий в каждом, которые включают в себя заданий на решение логических задач, составление таблиц истинности, решение логических выражений и неравенств. Каждое задание оценивается в 5 баллов.
В конце контрольной работы находится ключ для проверки.
Критерии оценивания:
— каждый правильный ответ оценивается в 5 баллов;
— перевод баллов в оценки:
«5» — 25 – 21 баллов,
«4» — 20 – 16 баллов,
«3» — 15 – 11 баллов,
«2» — 10 и менее баллов
Контрольная работа «Основы алгебры логики»
Вариант 1
Постройте таблицы истинности для следующих логических выражений:
A˄B˅C b) ¬A˅(B˄C)
Для какого из указанных значений числа Х истинно выражение
(X<3) & ((X<2) ˅ (X>2))?
X=1, b) X=2, c) X=3, d) X=4.
Даны три числа: А= 100102, В= 1710, С= 2210. Переведите числа в двоичную систему счисления и выполните поразрядно логические операции ¬A˅B˄C. Ответ дайте в десятичной системе счисления.
Для какого из приведённых имён истинно высказывание:
НЕ(Первая буква гласная) И НЕ(Последняя буква согласная)?
1) Емеля 2) Иван 3) Михаил 4) Никита.
Учитель проверил контрольные работы трех учеников — Алексеева, Васильева и Сергеева, но после проверки забыл принести их в класс. Ученикам он сказал: «Все вы справились с работой, причем все получили разные оценки от «3» до «5». У Сергеева не «5». У Васильева не «4». У Алексеева, по-моему, «4». Впоследствии оказалось, что учитель ошибся и одному ученику верно назвал его оценку, а другим двум — неверно. Кто какую оценку получил?
Контрольная работа «Основы алгебры логики»
Вариант 2
Постройте таблицы истинности для следующих логических выражений:
A˄(B˅C) b) A˅(¬B˄C)
Для какого из указанных значений числа Х истинно выражение
(X<4) & (
а) X=1, b) X=2, c) X=3, d) X=4.
Даны три числа: А= 110102, В= 1810, С= 2310. Переведите числа в двоичную систему счисления и выполните поразрядно логические операции A˅B˄C. Ответ дайте в десятичной системе счисления.
Для какого из приведённых имён истинно высказывание:
НЕ(Первая буква гласная) И (Последняя буква гласная)?
1) Николай 2) Юрий 3) Марина 4) Иван.
Контрольная работа «Основы алгебры логики»
Вариант 3
Постройте таблицы истинности для следующих логических выражений:
A˄¬B˅C b) ¬A˅B˄C
Для какого из указанных значений числа Х истинно выражение
(X>4) & (X<7) & (X<6)?
X=5, b) X=6, c) X=3, d) X=4.
Даны три числа: А= 2410, В= 1910, С= 2210. Переведите числа в двоичную систему счисления и выполните поразрядно логические операции (A˅B)˄C. Ответ дайте в десятичной системе счисления.
Для какого из приведённых имён ложно высказывание:
НЕ(Первая буква гласная) ИЛИ (Последняя буква гласная)?
Анна 2) Максим 3) Татьяна 4) Егор
5. Игорь, Петя и Саша ловили рыбу. Каждый из них поймал либо ершей, либо пескарей, либо окуней. Кто из них каких поймал рыб, если известно, что:
1) колючие плавники есть у окуней и ершей, а у пескарей их нет;
2) Игорь не поймал ни одной рыбы с колючими плавниками;
3) Петя поймал на 2 окуня больше, чем поймал рыб Игорь.
Контрольная работа «Основы алгебры логики»
Вариант 4
Постройте таблицы истинности для следующих логических выражений:
A˄¬B˅C b) (A˅B)˄C
Для какого из указанных значений числа Х истинно выражение
(X>1) & (X>2) & (X≠3)?
X=1, b) X=2, c) X=3, d) X=4.
Даны три числа: А= 2110, В= 1610, С= 110112. Переведите числа в двоичную систему счисления и выполните поразрядно логические операции A˅(¬B˄C). Ответ дайте в десятичной системе счисления.
Для какого из приведённых имён ложно высказывание:
Первая буква согласная Ú Четвёртая буква согласная?
1) Маша 2) Артем 3) Платон 4) Анастасия
На соревнованиях по легкой атлетике Андрей, Боря, Сережа и Володя заняли первые четыре места. Мнения девочек разошлись, как места распределились между победителями. Даша: «Андрей был первым, Володя – вторым». Галя: «Андрей был вторым, Борис – третьим». Лена: «Боря был четвертым, Сережа – вторым». Ася, которая была судьей на этих соревнованиях, сказала, что каждая из девочек сделала одно правильное и одно неправильное заявление.
Контрольная работа «Основы алгебры логики»
Вариант 5
Постройте таблицы истинности для следующих логических выражений:
A˄B˅¬C b) A˅(B˄¬C)
Для какого из указанных значений числа X ложно выражение
(X > 2)˅ ¬ (X > 1)?
X =1, b) X=2, c) X=3, d) X=4.
Даны три числа: А= 100112, В= 2310, С= 2010. Переведите числа в двоичную систему счисления и выполните поразрядно логические операции (¬A˅B)˄C. Ответ дайте в десятичной системе счисления.
Для какого из приведённых имён истинно высказывание:
Первая буква согласная /\ Четвёртая буква согласная?
1) Петр 2) Алексей 3) Наталья 4) Елена
Микула Селянович узнал, что Змей Горыныч побежден. Победить его мог либо Илья Муромец, либо Алеша Попович, либо Добрыня Никитич. Вскоре Микуле Селяновичу сообщили, что Змея Горыныча победил не Илья Муромец, Змея Горыныча победил Алеша Попович. Спустя некоторое время оказалось, что одно из этих сообщений истинно, а другое ложно. Кто победил Змея Горыныча?
Контрольная работа «Основы алгебры логики»
Вариант 6
Постройте таблицы истинности для следующих логических выражений:
¬A˄B˅C b) ¬A˅(¬B˄C)
Для какого из указанных значений числа X истинно выражение
(X < 3) &¬(X < 2)
X = 1, b) X=2, c) X=3, d) X=4.
Даны три числа: А= 111102, В= 1910, С= 2210. Переведите числа в двоичную систему счисления и выполните поразрядно логические операции A˄B˄C. Ответ дайте в десятичной системе счисления.
Какое из приведенных названий животных удовлетворяет логическому условию:
В слове пять букв /\ Четвертая буква гласная?
1) Зебра 2) Слон 3) Кабан 4) Олень
Мужчина спросил у встречных прохожих, как пройти в театр, и получил такие ответы: Первый прохожий сказал: «Сначала поверните направо, а потом идите прямо». Второй сказал: «Сначала поверните налево, а потом идите прямо». Третий сказал: «Сначала идите прямо, а потом поверните налево». Оказалось, что каждый из прохожих ошибся в одном направлении. Как же надо было идти в театр?
КЛЮЧ к контрольной работе «Основы логики»
Вариант 1
Постройте таблицы истинности для следующих логических выражений:
A^BvC
A
B
C
A/\B
A/\B\/C
0
0
0
0
0
0
0
1
0
1
0
1
0
0
0
0
1
1
0
1
1
0
0
0
0
1
0
1
0
1
1
1
0
1
1
1
1
1
1
1
¬Av(B^C)
A
B
C
B/\C
¬A
¬Av(B^C)
0
0
0
0
1
1
0
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
0
0
0
1
0
1
0
0
0
1
1
0
0
0
0
1
1
1
1
0
1
Для какого из указанных значений числа Х истинно выражение (X<3) & ((X<2) V (X>2))?
X=1, b)X=2, c)X=3, d)X=4.
Решение:
X
X<3
X<2
X>2
(X<2) V (X>2)
(X<3) & ((X<2) V (X>2))
1
1
1
0
1
1
2
1
0
0
0
0
3
0
0
1
1
0
4
0
0
1
1
0
Ответ: a) X=1
Даны три числа: А= 100102, В= 1710, С= 2210. C
1
1
1
1
0
1
0
0
0
0
1
1
0
0
1
0
1
1
1
0
1
0
0
0
0
1
0
0
1
1
Ответ: 111012= 29.
Для какого из приведённых имён истинно высказывание: НЕ(Первая буква гласная) И НЕ(Последняя буква согласная)?
1) Емеля 2) Иван 3) Михаил 4) Никита.
Решение: пусть А= Первая буква гласная, В= Последняя буква согласная, тогда ¬A/\¬B.
Имя
A
B
¬A
¬B
¬A/\¬B
1
1
0
0
1
0
2
1
1
0
0
0
3
0
1
1
0
0
4
0
0
1
1
1
Ответ: 4) Никита.
Учитель проверил контрольные работы трех учеников — Алексеева, Васильева и Сергеева, но после проверки забыл принести их в класс. (BvC)
A
B
C
B\/C
A/\(B\/C)
0
0
0
0
0
0
0
1
1
0
0
1
0
1
0
0
1
1
1
0
1
0
0
0
0
1
0
1
1
1
1
1
0
1
1
1
1
1
1
1
Av(¬B^C)
A
B
C
¬B
¬B/\C
A\/(¬B/\C)
0
0
0
1
0
0
0
0
1
1
1
1
0
1
0
0
0
0
0
1
1
0
0
0
1
0
0
1
0
1
1
0
1
1
1
1
1
1
0
0
0
1
1
1
1
0
0
1
Для какого из указанных значений числа Х истинно выражение (X<4) & (X>2) & (X≠2)?
X=1, b) X= 2, c) X=3, d) X=4. C
1
1
1
1
1
1
0
0
0
1
0
0
1
0
0
1
1
1
1
1
0
0
1
0
0
Ответ: 111012= 29.
Для какого из приведённых имён истинно высказывание: НЕ(Первая буква гласная) И (Последняя буква гласная)?
1) Николай 2) Юрий 3) Марина 4) Иван.
Решение: пусть А= Первая буква гласная, В= Последняя буква гласная, тогда ¬A/\B.
Имя
A
B
¬A
¬A/\B
1
0
0
1
0
2
1
0
0
0
3
0
1
1
1
4
1
0
0
0
Ответ: 3) Марина.
Три подружки — Ксюша, Лена и Даша — купили в магазине груши, яблоки и сливы, причем каждая девочка покупала только один вид фруктов и все покупки у них были разные. На вопрос, кто что купил, продавец ответил: «Ксюша купила груши. Лена — точно не груши. Даша — не сливы». ¬BvC
A
B
C
¬B
A/\¬B
A/\¬B\/C
0
0
0
1
0
0
0
0
1
1
0
1
0
1
0
0
0
0
0
1
1
0
0
1
1
0
0
1
1
1
1
0
1
1
1
1
1
1
0
0
0
0
1
1
1
0
0
1
¬AvB^C
A
B
C
¬A
B/\C
¬A\/ B/\C
0
0
0
1
0
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
0
0
1
0
1
0
0
0
1
1
0
0
0
0
1
1
1
0
1
1
Для какого из указанных значений числа Х истинно выражение (X>4) & (X<7) & (X<6)?
a) X=5, b) X=6, c) X=3, d) X=4.C. Ответ дайте в десятичной системе счисления.
Решение: А=110002, В=100112, С=101102.
A
B
C
А\/В
(А\/В)/\С
1
1
1
1
1
1
0
0
1
0
0
0
1
0
0
0
1
1
1
1
0
1
0
1
0
Ответ: 100102=18.
Для какого из приведённых имён ложно высказывание: НЕ(Первая буква гласная) ИЛИ (Последняя буква гласная)?
1)Анна 2) Максим 3) Татьяна 4) Егор
Решение: пусть А= Первая буква гласная, В= Последняя буква гласная, тогда ¬A\/B.
Имя
A
B
¬A
¬A\/B
1
1
1
0
1
2
0
0
1
1
3
0
1
1
1
4
1
0
0
0
Ответ: 4) Егор.
5. Игорь, Петя и Саша ловили рыбу. Каждый из них поймал либо ершей, либо пескарей, либо окуней. Кто из них каких поймал рыб, если известно, что:
1) колючие плавники есть у окуней и ершей, а у пескарей их нет;
2) Игорь не поймал ни одной рыбы с колючими плавниками;
3) Петя поймал на 2 окуня больше, чем поймал рыб Игорь.¬B\/C
A
B
C
¬B
A/\¬B
A/\¬B\/C
0
0
0
1
0
0
0
0
1
1
0
1
0
1
0
0
0
0
0
1
1
0
0
1
1
0
0
1
1
1
1
0
1
1
1
1
1
1
0
0
0
0
1
1
1
0
0
1
(AvB)^C
A
B
C
A\/B
(AvB)^C
0
0
0
0
0
0
0
1
0
0
0
1
0
1
0
0
1
1
1
1
1
0
0
1
0
1
0
1
1
1
1
1
0
1
0
1
1
1
1
1
Для какого из указанных значений числа Х истинно выражение (X>1) & (X>2) & (X≠3)?
X=1, b) X=2, c) X=3, d) X=4.C)
1
1
1
0
0
1
0
0
1
1
1
1
1
0
0
1
0
1
0
0
1
1
1
1
1
0
1
1
1
1
Ответ: 111112=31.
Для какого из приведённых имён ложно высказывание: Первая буква согласная Ú Четвёртая буква согласная?
1) Маша 2) Артем 3) Платон 4) Анастасия
Решение: пусть А= Первая буква согласная, В= Четвертая буква согласная, тогда A\/B.
Имя
A
B
A\/B
1
1
0
1
2
0
0
0
3
1
1
1
4
0
1
1
Ответ: 2) Артем.
На соревнованиях по легкой атлетике Андрей, Боря, Сережа и Володя заняли первые четыре места. Мнения девочек разошлись, как места распределились между победителями. Даша: «Андрей был первым, Володя – вторым». Галя: «Андрей был вторым, Борис – третьим». Лена: «Боря был четвертым, Сережа – вторым». Ася, которая была судьей на этих соревнованиях, сказала, что каждая из девочек сделала одно правильное и одно неправильное заявление.Bv¬C
0
0
0
0
1
1
0
0
1
0
0
0
0
1
0
0
1
1
0
1
1
0
0
0
1
0
0
0
1
1
1
0
1
0
0
0
1
1
0
1
1
1
1
1
1
1
0
1
Av(B^¬C)
A
B
C
¬C
B/\¬C
Av(B^¬C)
0
0
0
1
0
0
0
0
1
0
0
0
0
1
0
1
1
1
0
1
1
0
0
0
1
0
0
1
0
1
1
0
1
0
0
1
1
1
0
1
1
1
1
1
1
0
0
1
Для какого из указанных значений числа X ложно выражение (X > 2)V ¬ (X > 1)?
X =1, b) X=2, c) X=3, d) X=4.C. Ответ дайте в десятичной системе счисления.
Решение: B=101112, C=101002.
A
B
C
¬A
¬A\/B
(¬A\/B)/\C
1
1
1
0
1
1
0
0
0
1
1
0
0
1
1
1
1
1
1
1
0
0
1
0
1
1
0
0
1
0
Ответ: 101002=20.
Для какого из приведённых имён истинно высказывание: Первая буква согласная /\ Четвёртая буква согласная?
1) Петр 2) Алексей 3) Наталья 4) Елена
Решение: пусть А= Первая буква согласная, В= Четвертая буква согласная, тогда A/\B.
Имя
A
B
A/\B
1
1
1
1
2
0
1
0
3
1
0
0
4
0
1
0
Ответ: 1) Петр.
Микула Селянович узнал, что Змей Горыныч побежден. Победить его мог либо Илья Муромец, либо Алеша Попович, либо Добрыня Никитич. Вскоре Микуле Селяновичу сообщили, что Змея Горыныча победил не Илья Муромец, Змея Горыныча победил Алеша Попович. Спустя некоторое время оказалось, что одно из этих сообщений истинно, а другое ложно. Кто победил Змея Горыныча?
Ответ: Добрыня Никитич.
Вариант 6
Контрольная Решить два 📝 варинта контрольной работы по логике Логика
1. Сколько стоит помощь?
Цена, как известно, зависит от объёма, сложности и срочности. Особенностью «Всё сдал!» является то, что все заказчики работают со экспертами напрямую (без посредников). Поэтому цены в 2-3 раза ниже.
2. Каковы сроки?
Специалистам под силу выполнить как срочный заказ, так и сложный, требующий существенных временных затрат. Для каждой работы определяются оптимальные сроки. Например, помощь с курсовой работой – 5-7 дней. Сообщите нам ваши сроки, и мы выполним работу не позднее указанной даты. P.S.: наши эксперты всегда стараются выполнить работу раньше срока.
3. Выполняете ли вы срочные заказы?
Да, у нас большой опыт выполнения срочных заказов.
4. Если потребуется доработка или дополнительная консультация, это бесплатно?
Да, доработки и консультации в рамках заказа бесплатны, и выполняются в максимально короткие сроки.
5. Я разместил заказ. Могу ли я не платить, если меня не устроит стоимость?
Да, конечно — оценка стоимости бесплатна и ни к чему вас не обязывает.
6. Каким способом можно произвести оплату?
Работу можно оплатить множеством способом: картой Visa / MasterCard, с баланса мобильного, в терминале, в салонах Евросеть / Связной, через Сбербанк и т.д.
7. Предоставляете ли вы гарантии на услуги?
На все виды услуг мы даем гарантию. Если эксперт не справится — мы вернём 100% суммы.
8. Какой у вас режим работы?
Мы принимаем заявки 7 дней в неделю, 24 часа в сутки.
Контрольная по логике, вариант 4
Задание 1
Какие из основных законов логики нарушены в следующих примерах:
1.1)Почему ты всё время врёшь? – А что же мне делать, если вы меня за каждую тройку ругаете?
1.2) Нельзя включать в сборную игроков, не имеющих опыта игры за сборную.
Решение:
1.1) Это пример детской несовершенной логики. Нарушен принцип достаточного основания. Между аргументом (Ребенок всё время врет) и выводом (Ребенка ругают за каждую тройку) нет отношения логического следования.
1.2)Также нарушен закон достаточного основания. Из аргумента «Игроки не имеют опыта игры за сборную» не следует вывод «Нельзя включать их в сборную игроков».
Задание 2 Скачать практические задания по логике, вариант 4
Запишите в символическом виде и проверьте с помощью таблицы истинности наличие логического следования.
2.1)Если подозреваемый совершил эту кражу, то или она была тщательно подготовлена, или он имел соучастника. Если бы кража была подготовлена тщательно, то, если бы был соучастник, украдено было бы гораздо больше, чем украдено теперь. Значит, подозреваемый не совершал этой кражи.
2.2) Намеченная атака удастся, только если захватить противника врасплох или же если позиции его плохо защищены. Захватить его врасплох можно, если только он беспечен. Он не будет беспечен, если его позиции плохо защищены. Значит, намеченная атака не удастся.
Решение:
2.1)Если подозреваемый совершил эту кражу, то или она была тщательно подготовлена, или он имел соучастника. Если бы кража была подготовлена тщательно, то, если бы был соучастник, украдено
Скачать Практические задания по логике, вариант 4
было бы гораздо больше, чем украдено теперь. Значит, подозреваемый не совершал этой кражи.
Введем обозначения:
x – «Подозреваемый совершил эту кражу»
у – «Кража была тщательно подготовлена»
z –«подозреваемый имел соучастника»
q –«Украдено гораздо больше, чем на самом деле»
┐x – «Подозреваемый не совершал эту кражу»
Составим логическую схему:
( ( (x —> (y \/ z) )) & (y —> (z —> q)) —> ┐x 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 2 1 5 4 3 6 По таблице истинности видно, что вывод о том, совершал ли кражу подозреваемый или не совершал, сделать нельзя!
2.2) Намеченная атака удастся, только если захватить противника врасплох или же если позиции его плохо защищены. Захватить его врасплох можно, если только он беспечен. Он не будет беспечен, если его позиции плохо защищены. Значит, намеченная атака не удастся.
Введем обозначения:
x – «Намеченная атака удастся»
у – «Захватить противника врасплох»
z –«Позиции противника плохо защищены»
q –«Противник беспечен»
┐q -«Противник не беспечен»
┐x – «Намеченная атака не удастся»
схема:
((y \/ z) —> x) & (q —> y) & (z —> ┐q) ) —> ┐x 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 2 5 3 6 4 7 Можем сделать вывод, что по полученному результату наша формула ни тождественно истинной, ни тождественно ложной не является, значит сказать о том, удастся ли намеченная атака или нет судить нельзя.
Задание 3.
С помощью круговых схем изобразите отношения между понятиями:
3.1)Студент, профессор, инженер, космонавт
3.2)Страус, обитатель пампас, гордая птица, перья, крыло
Решение:
3.1)Понятия «студент», профессор», инженер», «космонавт» находятся в отношении перекрещивания, то есть
Некоторые студенты могут быть профессорами
Некоторые студенты могут быть инженерами
Некоторые студенты могут быть космонавтами
Некоторые профессора могут быть студентами
Некоторые профессора могут быть инженерами
Некоторые профессора могут быть космонавтами
Некоторые инженеры могут быть студентами
Некоторые инженеры могут быть профессорами
Некоторые инженеры могут быть космонавтами
Некоторые космонавты могут быть студентами
Некоторые космонавты могут быть профессорами
Некоторые космонавты могут быть инженерами
с помощью круговых схем, можно изобразить следующим образом:
«Студент»(С), профессор»(П), инженер»(И), «космонавт»(К)
3.2)Понятия «страус» и «гордая птица » являются несовместимыми понятиями, объемы этих понятий не пересекаются.
Ни один страус не является гордой птицей
Ни одна гордая птица не является страусом
Понятие «страус» и «обитатель пампас» — перекрещивающиеся понятия, также в отношении перекрещивания находятся «гордая птица» и «обитатель пампас».
Некоторые обитатели пампас являются страусами
Некоторые страусы являются обитателями пампас
Некоторые обитатели пампас являются гордыми птицами
Некоторые гордые птицы являются обитателями пампас
Понятия «крылья» и «перья» входят в состав понятия «Страус» и «гордая птица», но в данном случае имеет место отношение часть – целое, а не род – вид. Так можно сказать, что понятия не имеют общих элементов ни с друг другом, ни с понятием «страус» и «гордая птица», тем более с понятием «обитатель пампас».
Задание4.
Определите, соблюдены ли правила деления и , если нет, какие ошибки допущены в следующих примерах:
4.1)Часы бывают: наручные, настольные, настенные и с кукушкой
4.2)Ошибки бывают: умышленные , неумышленные и грубые
Решение:
4.1) Часы бывают: наручные, настольные, настенные и с кукушкой
В данном делении понятия «часы» нарушено правило «непрерывности», происходит скачок в делении. Можно было бы поделить часы на наручные, настольные и настенные. А затем уже делить «настенные часы» на часы с кукошкой.
4.2)Ошибки бывают: умышленные, неумышленные и грубые
Аналогично, с предыдущем примером, происходит «скачок в делении». ошибки бывают умышленные, неумышленные. А уже умышленные ошибки могут быть грубыми, или же неумышленные ошибки могут быть грубыми.
Задание 5.
Проанализируйте структуру суждений. Укажите субъект, предикат и связку. Определите количество и качество суждений, распределенность терминов. Изобразите отношения между терминами с помощью кругов Эйлера. Запишите схему суждения
5.1) Ни один страус не умеет летать
5.2)Не всякий чиновник –бюрократ
Решение:
5.1) ни один страус не умеет летать
S – страус
Р – «те, кто умеет летать»
Связка – не являются(пропущена)
Квантор – ни один
Данное суждение являются общеотрицательным и невыделяющим суждением (т.к. нельзя утверждать, что все, кто не умеет летать это только страус.)
Схема: ни один S+ не есть P+
Субъект и предикат распределены
Круговая схема:
5.2)не всякий чиновник – бюрократ
S – чиновник
Р – бюрократ
Связка – является(пропущена)
Квантор – некоторые(не всякий)
Данное суждение являются частноутвердительным суждением и невыделяющим
(т.к. только некоторые бюрократы могут быть чиновником)
Схема: некоторые S— есть P—
Субъект и предикат не распределены
Круговая схема:
Задание 6.
Произвести в тех случаях, где это возможно, обращение суждений
6.1)Среди адвокатов есть принципиальные люди
6.2) Некоторые политики не являются демагогами
Решение:
6.1) Среди адвокатов есть принципиальные люди
S – адвокат
Р – принципиальные люди
Связка – есть
Квантор – некоторые
Некоторые S есть Р
Суждение частноутвердительное, S—iP—
Схема обращения: P—iS—
некоторые принципиальные люди являются адвокатами
6.2) некоторые политики не являются демагогами
S – Политики
Р – демагоги
Связка – не являются
Квантор – некоторые
Некоторые S не являются Р
Суждение частноотрицательное (О), а они не обращаются.
Задание 7
Восстановите энтимему в полный силлогизм и проверьте его правильность. Если есть ошибки, укажите какие именно.
7.1)у нас нет доказательств его вины, значит, он не виновен
7.2) у нас нет достаточных доказательств его виновности, значит он должен быть оправдан.
Решение:
7.1) у нас нет доказательств его вины, значит, он не виновен
В этой энтимеме пропущена посылка. Заключение: он не виновен. Схема: S+eP—
Следовательно, меньший термин (S) – понятие «он», большой термин (Р) – понятие «тот, кто виновен».
Таким образом, средний термин (М) – «тот, чья вина доказана».
Дана меньшая посылка: у нас нет доказательств его вины
Перепишем: Он не есть тот, чья вина доказана. Схема: S+ e M—
Нужно восстановить большую посылку, которая связывает термина М и Р.
М стоит на месте субъекта. Если мы сформулируем данное суждение как общее, то получи: «чья вина доказана является виновным». Данное суждение было бы ложным(иногда происходят судебные ошибки), но в нашем случае «являться виновным» подразумевает по закону быть виновным. Значит, суждение можно считать истинным.
все, чья вина доказана, являются виновными. Схема: М+iP—
Схема силлогизма:
(А) М+iP—
(E) S+ e M—
—————
(E) S+eP—
Имеем первую фигуру простого категорического силлогизма, модус АЕЕ
Первая посылка общеутвердительное суждение, вторая единичное утвердительное, заключение единичное утвердительное суждение. Средний термин распределен в первой посылке. Данный категорический силлогизм правильный по логическому строению и истинный по содержанию. Значит и исходная энтимема состоятельна.
7.2) у нас нет достаточных доказательств его виновности, значит он должен быть оправдан.
Перепишем «Мы не обладаем достаточными доказательствами его виновности, значит мы должны его оправдать.»
В данной энтимеме, пропущена посылка.
Заключение: мы должны его оправдать. схема: S+iP—
Следовательно, меньший термин S – понятие «Мы», больший термин Р – понятие «те, кто должен его оправдать». Средний термин М – понятие «те, кто обладает достаточными доказательствами его виновности». Дана меньшая посылка: мы не обладаем достаточными доказательствами его виновности
Схема: S+ e M—
Нужно восстановить большую посылку, которая связывает термины М и Р.
М стоит на месте субъекта. Если сформулируем суждение, как общее, то получи:
«ни один, кто обладает достаточными доказательствами его виновности, не является теми, кто должен его оправдать» M+e P –
S+ e M—
M+e P –
———-
S+iP—
Ошибка: из двух отрицательных посылок нельзя сделать достоверного вывода!
Восстановим большую посылку до общеутвердительного суждения:
«Все, кто обладает достаточными доказательствами его виновности, являются людьми, которые должны его оправдать». Схема: M+iP—
Но тогда заключение получается другим из таких посылок:
S+ e M—
M+iP—
———
S+eP—
Значит, энтимема не состоятельна.
Задание 8
Определите состоятельность обобщений в следующих пословицах, поговорках, изречениях.
8.1) вора помиловать – честного погубить
8.2) кто тонет, за соломинку хватается.
Решение:
8.1) вора помиловать – честного погубить
(состоятельное индуктивное обобщение)
8.2)Кто тонет, за соломинку хватается. (несостоятельное обобщение)
Состоятельность — это непротиворечивость двух утверждений. То есть если бы у нас было два суждения : «кто тонет, за соломинку хватается» и «25 апреля некто тонул и хватался за соломинку», тогда мы могли бы говорить о состоятельности/несостоятельности народной пословицы. В данном примере, факт случившегося события отсутствует, т.е. имеется только сама примета.
Задание 9
Найдите тезис, аргументы и элементы демонстрации в следующих доказательствах. Какой, по вашему мнению, может быть истинностная оценка тезиса, полученная в результате этих доказательств.?
9.1) попробуйте уткнуться лбом в стол. Откройте глаза. Видите ли Вы весь стол целиком? – конечно, нет. Могли бы узнать о то, как выглядит весь стол целиком, если всегда находились в таком положении? – Ответ очевиден: нет. Отсюда следует, что воспринимать какой – либо предмет целиком можно только находясь во внешней позиции по отношению к нему. Но ведь существует такой предмет, по отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткнувшегося лбом в стол. Этот предмет – время. Мы всегда находимся в настоящем. Мы как бы намертво прикованы к нему. Однако, у нас есть понятия прошлого и будущего, т.е. мы каким-то образом воспринимаем время целиком, со всех сторон. Как это возможно? Очевидно, мы каким-то образом должны находиться по отношению ко времени во внешней позиции. Но ведь наша телесная оболочка всегда пребывает в настоящем, это факт. Следовательно, мы должны выходить из пределов времени, какой-то другой, не телесной, частью себя. Но что это может быть, если не тело? Очевидно, некая нематериальная субстанция, то есть что называют «душа». Следовательно, душа существует. А по скольку она пребывает вне пределов времени, то она бессмертна. Таким образом, у нас есть бессмертная душа.
9.2) Вам не кажется, что эту планету (Торманс) уже невозможно поднять из инферно? Что болезнь зашла слишком далеко, отравив людей испорченной наследственностью – дисгенетикой? Что люди Торманса уже не способны верить ни во что и заботятся лишь об элементарных удовольствиях, ради которых они готовы на все? Если на планете бродят одичалые толпы, если пустыни наступают, съедая плодородные почвы, если израсходованы минеральные богатства, если деградация во всем и особенно в душах людей, то чем, какой силой они поднимутся? (Ефремов И. «Час быка»)
Решение:
9.1) попробуйте уткнуться лбом в стол. Откройте глаза. Видите ли Вы весь стол целиком? – конечно, нет. Могли бы узнать о то, как выглядит весь стол целиком, если всегда находились в таком положении? – Ответ очевиден: нет.(а) Отсюда следует, что воспринимать какой – либо предмет целиком можно только находясь во внешней позиции по отношению к нему. (b) Но ведь существует такой предмет, (s)по отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткнувшегося лбом в стол. Этот предмет – время. Мы всегда находимся в настоящем. Мы как бы намертво прикованы к нему. Однако, у нас есть понятия прошлого и будущего, т.е. мы каким-то образом воспринимаем время целиком, со всех сторон. Как это возможно? Очевидно, мы каким-то образом должны находиться по отношению ко времени во внешней позиции. Но ведь наша телесная оболочка всегда пребывает в настоящем, это факт.(s) Следовательно, мы должны выходить из пределов времени, какой-то другой, не телесной, частью себя. Но что это может быть, если не тело? Очевидно, некая нематериальная субстанция, то есть что называют «душа».(q) Следовательно, душа существует. (s) А по скольку она пребывает вне пределов времени, (r)то она бессмертна. Таким образом, у нас есть бессмертная душа.(T)ак бы намертво прикованы к нему. отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткунувшегося
Тезис: «У нас есть бессмертная душа»
Аргумент 1: «попробуйте уткнуться лбом в стол. Откройте глаза. Видите ли Вы весь стол целиком? – конечно, нет. Могли бы узнать о то, как выглядит весь стол целиком, если всегда находились в таком положении? – Ответ очевиден: нет.»
Аргумент 2: «воспринимать какой – либо предмет целиком можно только находясь во внешней позиции по отношению к нему.
Аргумент 3: «существует такой предмет, по отношению к которому мы всегда находимся в позиции, сходной с позицией человека, уткнувшегося лбом в стол. Этот предмет – время. Мы всегда находимся в настоящем. Мы как бы намертво прикованы к нему. Однако, у нас есть понятия прошлого и будущего, т.е. мы каким-то образом воспринимаем время целиком, со всех сторон. Как это возможно? Очевидно, мы каким-то образом должны находиться по отношению ко времени во внешней позиции. Но ведь наша телесная оболочка всегда пребывает в настоящем, это факт»
Аргумент 4: «мы должны выходить из пределов времени, какой-то другой, не телесной, частью себя. Но что это может быть, если не тело? Очевидно, некая нематериальная субстанция, то есть что называют «душа».
Аргумент 5: «душа существует»
Аргумент 6: «Душа пребывает вне пределов времени»
Форма демонстрации: ((((а—>b)&s)—>q)—>s)&(r—>T)
Умозаключение не верное, так как аргументы не полностью обоснованы, а форма аргументации не демонстративная.
Следовательно, вывод нельзя считать достоверным.
9.2) Вам не кажется, что эту планету (Торманс) уже невозможно поднять из инферно?(T)
Что болезнь зашла слишком далеко, отравив людей испорченной наследственностью – дисгенетикой? Что люди Торманса уже не способны верить ни во что и заботятся лишь об элементарных удовольствиях, ради которых они готовы на все?(p)
Если на планете бродят одичалые толпы, если пустыни наступают, съедая плодородные почвы, если израсходованы минеральные богатства, если деградация во всем и особенно в душах людей, то чем, какой силой они поднимутся? (q)
Тезис: «эту планету (Торманс) уже невозможно поднять из инферно»
Аргумент 1: «болезнь зашла слишком далеко, отравив людей испорченной наследственностью – дисгенетикой. Люди Торманса уже не способны верить ни во что и заботятся лишь об элементарных удовольствиях, ради которых они готовы на все»
Аргумент2: «на планете бродят одичалые толпы, пустыни наступают, съедая плодородные почвы, израсходованы минеральные богатства, деградация во всем и особенно в душах людей, ни какой силой они не поднимутся»
Аргумент 2 не правдоподобен, также как и первый аргумент (они являются вероятностными).
А из неправдоподобных аргументов нельзя получить достоверного тезиса.
Скачать практические задания по логике, вариант 4
9,060 просмотров всего, 4 просмотров сегодня
Контрольная работа по логике из методички
Контрольная работа по логике из методички
скачать (170 kb.)
Доступные файлы (1):n1.doc
Министерство образования и науки РФ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Московская государственная юридическая академия
имени О.Е. Кутафина»
Кафедра философии
Вариант № 3, зачётная книжка №
Контрольная работаСтудентки II группы, 1 курса
Юридического заочного института
по программе сокращенной подготовки
заочной формы обучения«группа выходного дня»
Научный руководитель:Дата сдачи: __________________
Дата рецензирования: _________
Дата защиты: ________________
Оценка: _____________________
Москва
2011Глава 1. Понятие.
Упражнение 15.3
Определите вид отношений между понятиями, изобразите их с помощью круговых схем.
Наказание. Лишение свободы на определенный срок. Исправительные работы. Обязательные работы. Ограничение свободы.
Наказание (А) – подчиняющее понятие. Лишение свободы на определенный срок (В), исправительные работы (С), обязательные работы (D), ограничение свободы (E) – подчинённые, неперекрещивающиеся понятия.Упражнение 17.4
Обобщите понятия.
Повесть.
Повесть – художественная проза.
Упражнение 24.3Установите правильность следующих определений (в неправильных определениях укажите, какое правило нарушено).
Грабеж – преступление против собственности.
Грабеж – преступление против собственности. Неправильное определение. Ошибка слишком широкого определения (AПравильное определение: Грабеж – это «есть открытое хищение чужого имущества» (ст. 161 ГК), совершенное без насилия, либо соединенное с насилием, не опасным для жизни и здоровья потерпевшего.
Упражнение 28.3Проверьте правильность деления понятий; в неправильном делении укажите, какие правила нарушены.
Видами искусства являются художественная литература, музыка, кино и живопись.
Деление правильное.Глава 2.
Упражнение 4.4
Суждения со сложным субъектом и сложным предикатом выразите в символической записи.
Судебная власть в Российской Федерации осуществляется посредством конституционного, гражданского, административного и уголовного судопроизводства.
S – P (P1, P2, P3, P4)
Упражнение 6.3Дайте объединенную классификацию суждений, изобразите отношения между терминами с помощью кругов Эйлера, установите распределенность субъекта и предиката.
Марс – планета Солнечной системы.
Общеутвердительное суждение (А), S распределен, P не распределен.
Упражнение 11.4Укажите соединительные и разделительные суждения, в последних – вид дизъюнкции (строгая или нестрогая, полная или неполная), приведите символическую запись суждений. Если суждение не выражено в явной логической форме, сформулируйте его, используя союзы «и» и «или».
Дело каждого гражданина – оберегать природу охранять ее богатства.
В явной логической форме: Дело каждого гражданина – оберегать природу и охранять ее богатства. Соединительное суждение. p ˄ q ˄ r.Упражнение 12.4
Укажите антецедент и консеквент условных и эквивалентных суждений, приведите их символическую запись. Если суждение не выражено в явной логической форме, сформулируйте его, использовав связки «Если.., то…» и «Если, и только если.., то…».
Курить – здоровью вредить.
В явной логической форме: Если курить (антецедент), то — здоровью вредить (консеквент). Условное суждение в символической записи: p ? q.Глава 3.
Упражнение 1.4
Сделайте вывод путем превращения, составьте схему вывода. Если посылка выражена не в явной форме, преобразуйте ее в соответствии со схемами суждений А, Е, I, О.
Это решение суда признано необоснованным.
В явной логической форме:
Некоторые решения суда (S) признаются необоснованными (P).
(О) Некоторые решения суда (S) не признаются обоснованными (P).
Схема вывода: Некоторые S есть P.Некоторые S не есть не-P.
Это частноутверждающее суждение превращается в частноотрицательное.
Упражнение 6.3Проверьте правильность обращения. Если обращение неправильно, сделайте правильный вывод. Составьте схему вывода.
Галкин – свидетель разбойного нападения на гражданина С.
Одним из свидетелей разбойного нападения на гражданина
С. Является Галкин.
Обращено верно. S есть P.Одним из P есть S.
Упражнение 10.3Постройте логический квадрат. Опираясь на него, выведите суждения противоположные, противоречащие и подчиненные данным. Установите их истинность или ложность.
Всякое правонарушение есть противоправное деяние.
А Противоположность (контрарность) E
п п
о о
д д
ч ч
и и
н н Противоречие
е е (контрадикторность)
н н
и и
е е
I Частичная совместимость О(субконтрарность)
Всякое правонарушение есть противоправное деяние (А).
Противоположность: ни одно правонарушение не есть противоправное деяние (˥Е). Противоречие: некоторые правонарушения не есть противоправные деяния (˥О). Подчинение: некоторые правонарушения есть противоправные деяния (I).
Глава 4.
Упражнение 3.4
Используя условную посылку, постройте умозаключение: а) по утверждающему, б) по отрицательному модусу, постройте их схему в символической записи. Если условная посылка явно не выражена, сформулируйте её в явной символической форме (со связкой «если…, то…»).
Из-за неблагоприятной погоды вылет самолёта задерживается.
Если погода неблагоприятная (p), то вылет самолёта задерживается(q).
Если погода неблагоприятная (p), то вылет самолёта задерживается(q). Погода неблагоприятная (р). Следовательно, вылет самолёта задерживается (q).
Схема: p ? q,p
q
б) Если погода неблагоприятная (p), то вылет самолёта задерживается(q). Вылет самолёта не задерживается (˥q), значит погода благоприятная (˥p).
Схема: p ? q, ˥ q˥ p
Упражнение 5.3
Сделайте вывод из посылок, установите, следует ли он с необходимостью.
Если в трудовом договоре не оговорен срок его действия, то договор считается заключенным на неопределенный срок. Однако срок действия в трудовом договоре не оговорен.
Договор считается заключенным на неопределенный срок (q), если в трудовом договоре не оговорен срок его действия (p). Однако срок действия в трудовом договоре не оговорен (q). Следовательно, трудовой договор считается заключенным на неопределенный срок (p).
Схема: p ? q, qp
Упражнение 7.3
Используя разделительную посылку, постройте умозаключение: а) по утверждающе-отрицательному модусу, б) по отрицающе-утверждающему модусу; опираясь на схему модуса, определите, следует ли с необходимостью заключение из посылок.Требование о защите нарушенного права принимается к рассмотрению судом, арбитражем или третейским судом.
Требование о защите нарушенного права принимается к рассмотрению арбитражем (p) или третейским судом (q).
Умозаключение по утверждающе-отрицательному модусу: В данном случае требование о защите нарушенного права принято к рассмотрению арбитражем (p). Следовательно, данное требование о защите нарушенного права оплата труда принято к рассмотрению не третейским судом. (˥q).
Схема: p ˅˅ q, p — заключение следует с необходимостью.˥q
Умозаключение по отрицающе-утверждающему модусу: В данном случае требование о защите нарушенного права оплата труда принято к рассмотрению не третейским судом (˥р). Следовательно, оно принято к рассмотрению арбитражем (q).
Схема:, ˥p — заключение следует с необходимостью.
q
Упражнение 8.4Постройте рассуждение по одному из модусов разделительно-категорического умозаключения.
В рассказе Конан Дойла «Берилловая диадема» банкир Александр Холдер, в доме которого произошла кража драгоценности — берилловой диадемы, обратился за помощью к Шерлоку Холмсу. Холдер был уверен, что в краже виновен его сын Артур, так как ночью, когда была совершена кража, в его руках он видел диадему. Однако Холмс установил, что к краже диадемы причастна племянница Холдера, которая передала диадему через окно своему любовнику. Рассказывая Холдеру о результатах расследования, Холмс сказал, в частности, следующее:
«Мой старый принцип расследования состоит в том, чтобы исключить все явно невозможные предположения. Тогда то, что остается, является истиной, какой бы неправдоподобной она ни казалась.
Рассуждал я примерно так: естественно, не вы отдали диадему. Значит, осталась только ваша племянница или горничные. Но если в похищении замешаны горничные, то ради чего ваш сын согласился принять вину на себя? Для такого предположения нет оснований. Вы говорили, что Артур любит свою двоюродную сестру. И мне стала понятна причина его молчания: не хотел выдавать Мэри. Тогда я вспомнил, что вы застали ее у окна и что она упала в обморок, увидев диадему в руках у Артура. Мои предположения превратились в уверенность».
Кражу могла совершить племянница (p) или горничные (q).Племянницу застали у окна, и она упала в обморок, увидев диадему в руках у Артура (p). Следовательно, кража не была совершена горничными (˥q).
Схема: p v q, ˥qp
Контрольная работа по «Математической логике и теории алгоритмов» для КЗИз База заданий
Контрольная работа по «Математической логике и теории алгоритмов» для КЗИз
База заданий
Логика и исчисление высказываний
Записать высказывания в виде формул логики высказываний.
Сегодня мы пойдем в кино или поедем кататься на лыжах.
Если будет хорошая погода, то мы пойдем гулять.
Если х=5 и у=3, то х>y.
Людоед голоден только тогда, когда он давно не ел.
Иванов сдал экзамен и получил 5 неравнозначно тому, что Иванов сдал экзамен и получил 5
Если он бегает по лужайке и у него длинные уши, то он или заяц или осел
Построить таблицы истинности для формул
Доказать, что формулы являются тавтологиями
Доказать полноту (неполноту) систем булевых функций
{⊕, ~}
{|}
{↓}
{⌐,&}
{⌐,}
{⌐,→}
{→,0}
{⊕,⋁,1}
{&, ⋁,→}
{→, ⊕}
{→, ~}
{~, ⊕}
Получить СДНФ для формул, а затем перейти к СКНФ:
Получить СКНФ, а затем перейти к СДНФ
Получить МДНФ для формул
Логика и исчисление предикатов
Записать на языке предикатов
все студенты учатся;
некоторые студенты отличники;
Детям до 16 лет и роботам входить запрещено;
всем детям до 16 лет и роботам надлежит получить справки;
для любого числа можно найти большее число;
x+y=z;
каждый студент выполнил, по крайней мере, одну лабораторную работу.
всякий предмет обладает свойством А;
нечто обладает свойством В;
если студент отлично учится, не имеет нарушений и занимается общественной работой, то он получает повышенную стипендию;
не всегда из того, что x лучше y, а y лучше z следует, что x лучше z;
каждое рациональное число есть действительное число;
некоторые действительные числа являются рациональными;
«Все счастливые семьи похожи друг на друга, каждая несчастливая семья несчастлива по-своему»
всякое N, делящееся на 12 делится на 2, 4 и 6.
Получить множество дизъюнктов.
xy, z, v(R(x, y, z, v)&L(y, z))
x, y, z (P(x)&Q(x, y)R(z))
x, y, z (P(x)Q(x, y)R(z)M(y))
x P(x)&x Q(x) x(R(x)P(x))
x P(x) x R(x)
x(y P(x, y)z(Q(x, z)R(z)))
(x P(x) y Q(y))&(x, y R(x, y)y L(y))
x P(x) y R(y)
Автоматическое доказательство теорем
Преобразовать теоремы в вопросы и получить ответы с помощью метода резолюции.
А1: Все, что обладает свойством P, имеет свойство R.
А2: Все, что обладает свойством R, имеет свойство Q.
Вопрос: Существует ли нечто, что не обладает свойством P или обладает свойством Q?
А1: Если х есть часть у и у есть часть z, то х есть часть z.
А2: Палец есть часть руки.
А3: Кисть есть часть руки.
Вопрос: Частью кого является рука?
А1: Кто ходит в гости по утрам, тот поступает мудро.
А2: Если у кого угодно есть воздушный шарик, тот поступает мудро.
А3: У Пяточка есть воздушный шарик.
Вопрос: Кто поступает мудро?
А1: Если робот обработал деталь, то ее забирает штабелер.
А2: Если деталь поступила на обработку, то ее обработает робот.
А3: Если человеку нужна деталь, то она поступит на обработку.
А4: Человеку нужна втулка.
Вопрос: Что заберет штабелер.
А1: Если пассажир сел в самолет, на который ему удалось купить билет, то пассажир думает, что самолет разобьется.
А2: Если пассажир не сел ни в какой самолет или самолет не взлетел, то безопасность пассажира гарантируется.
А3: Безопасность пассажира Васи не гарантируется.
Вопрос: Кто думает, что безопасность пассажира Васи не гарантируется.
Доказать теорему
А1:
T:A1:
T:А1:
Т:А1:
Т:
Теория алгоритмов
Построить машину Тьюринга, которая:
Добавляет 1 к числу Р, представленном в двоичной СС.
Находит первую единицу в числе Р, представленном в двоичной СС.
Удаляет последнюю единицу в числе Р, представленном в двоичной СС.
Стирает слово, состоящее из 1 в последовательности, состоящей из 0 и 1.
В последовательности, состоящей из 0 и 1 заполнить 1 ячейки с 0, расположенные между двумя 1.
В последовательности, состоящей из 0 и 1 сдвинуть слово, состоящее из 1 влево.
В последовательности, состоящей из 0 и 1 сдвинуть слово, состоящее из 1 влево.
Пусть число записано в виде последовательности 1. Например: 0 – 1, 1 – 11, 2 – 111, 3 – 1111 и т. д. Машина Тьюринга должна складывать эти числа.
Доказать, что функции примитивно-рекурсивны:
f(x)=x+n;
f(x)=n;
f(x,y)=x+y;
f(x,y)=x*y;
f(x,y)=xy;
f(x)=x!
Построить нормальный алгорифм Маркова, который:
добавляет две единицы к входному слову, состоящему из последовательности единиц.
преобразует исходное слово, состоящее из последовательности единиц, в символ Ч, если количество единиц четное и в символ НЧ, если количество единиц нечетное.
преобразует любое слово в алфавите {x,y,z} в слово zzx.
меняет порядок букв на обратный для любого трехбуквенного слова в алфавите {a,b,c}.
Варианты
№ варианта
I. Логика и исчисление высказываний
II. Логика и исчисление предикатов
III. Автоматическое доказательство теорем
IV. Теория алгоритмов
1
1.1, 2.1, 2.2, 3.1, 4.1, 5.1, 6.1, 7.1
1.1, 1.15,
1.1, 2.1, 2.4
1.8, 2.1, 3.1
2
1.2, 2.3, 2.4, 3.2, 4.2, 5.2, 6.2, 7.2
1.2, 1.14, 2.1
1.2, 2.2, 2.4
1.2, 2.2, 3.2
3
1.3, 2.5, 2.6, 3.3, 4.3, 5.3, 6.3, 7.3
1.3, 1.13, 2.2
1.3, 2.3, 2.4
1.3, 2.3, 3.3
4
1.4, 2.7, 2.8, 3.4, 4.4, 5.4, 6.4, 7.4
1.4, 1.12, 2.3
1.4, 2.1, 2.4
1.4, 2.4, 3.4
5
1.5, 2.1, 2.3, 3.5, 4.5, 5.5, 6.5,7.5
1.5, 1.11, 2.4
1.5, 2.2, 2.4
1.5, 2.5, 3.1
6
1.6, 2.2, 2.4, 3.6, 4.6, 5.6, 6.6, 7.6
1.6, 1. 10, 2.5
1.1, 2.3, 2.4
1.6, 2.6, 3.2
7
1.1, 2.5, 2.7, 3.7, 4.7, 5.7, 6.7, 7.7
1.7, 1.15, 2.6
1.2, 2.1, 2.4
1.7, 2.1, 3.3
8
1.2, 2.6, 2,8, 3.8, 4.8, 5.8, 6.8, 7.8
1.8, 1.14, 2.7
1.3, 2.2, 2.4
1.8, 2.2, 3.4
9
1.3, 2.1, 2.2, 3.1, 4.9, 5.9, 6.9, 7.1
1.9, 1.13, 2.8
1.4, 2.3, 2.4
1.1, 2.3, 3.1
10
1.4, 2.3, 2.4, 3.2, 4.10, 5.10, 6.10, 7.2
1.1, 1.12, 2.1
1.5, 2.1, 2.4
1.2, 2.4, 3.2
11
1.5, 2.5, 2.6, 3.3, 4.11, 5.1, 6.11, 7.3
1.2, 1.11, 2.2
1.1, 2.2, 2.4
1.3, 2.5, 3.3
12
1.6, 2.7, 2.8, 3.4, 4.12, 5.2, 6.12, 7.4
1.3, 1.10, 2.3
1.2, 2.3, 2.4
1.4, 2.6, 3.4
13
1.1, 2.1, 2.3, 3.5, 4.1, 5.3, 6.1, 7.5
1.4, 1.15, 2.4
1.3, 2.1, 2.4
1.5, 2.1, 3.1
14
1.2, 2.2, 2.4, 3.6, 4.2, 5.4, 6.2, 7.6
1.5, 1.14, 2.5
1.4, 2.2, 2.4
1.6, 2.2, 3.2
15
1.3, 2.5,2.7, 3.7, 4.3, 5.5, 6.3, 7.7
1.6, 1.13, 2.6
1.5, 2.3, 2.4
1.7, 2.3, 3.3
Урок 13. логические задачи и способы их решения — Информатика — 10 класс
Информатика, 10 класс. Урок № 13.
Тема — Логические задачи и способы их решения
Перечень вопросов, рассматриваемых в теме: метод рассуждений, табличный метод, метод упрощения логических выражений.
Глоссарий по теме: для решения логических задач необходимо знать таблицы истинности логических операций и правила преобразования логических выражений (законы алгебры логики). Этот материал рассмотрен в предыдущих уроках №11,12.
Основная литература по теме урока:
Л. Л. Босова, А. Ю. Босова. Информатика. Базовый уровень: учебник для 10 класса
— М.: БИНОМ. Лаборатория знаний, 2017 (с.197—209)
Открытые электронные ресурсы по теме:
http://lbz.ru/metodist/authors/informatika/3/eor10.php
http://kpolyakov.spb.ru/school/ege.htm
Теоретический материал для самостоятельного изучения
Исходными данными в логических задачах являются высказывания. Высказывания и взаимосвязи между ними бывают так сложны, что разобраться в них без использования специальных методов сложно. Способов решения логических задач немало, но наибольшее распространение получили метод рассуждений, табличный метод и метод упрощения логических выражений. Познакомимся с ними поочередно.
Метод рассуждений
Основная идея этого метода состоит в том, чтобы последовательно анализировать всю информацию, имеющуюся в задаче, и делать на этой основе выводы.
Пример 1. На одной улице стоят в ряд 4 дома, в каждом из которых живёт по одному человеку. Их зовут Василий, Семён, Геннадий и Иван. Известно, что все они имеют разные профессии: скрипач, столяр, охотник и врач. Известно, что:
— столяр живёт правее охотника;
— врач живёт левее охотника;
— скрипач живёт с краю;
— скрипач живёт рядом с врачом;
— Семён не скрипач и не живёт рядом со скрипачом;
— Иван живёт рядом с охотником;
— Василий живёт правее врача;
— Василий живёт через дом от Ивана.
Определим, кто где живёт.
Изобразим дома прямоугольниками и пронумеруем их:
Известно, что скрипач живёт с краю (3). Следовательно, он может жить в доме 1 или в доме 4.
Скрипач живёт рядом с врачом (4), т. е. врач может жить правее (дом 2) или левее (дом 3) скрипача.
Но врач живёт левее охотника (2), следовательно, скрипач не может жить в доме 4, т. к. в противном случае получится, что врач, живущий рядом с ним, живёт правее охотника, а это противоре
Logical Reasoning Test 3 — Онлайн-тест на логическое мышление
Время вышло:
Оценки: [XX / XX] Всего вопросов : [TQ] Количество отвеченных вопросов : [AQ] Количество неотвеченных вопросов : [UQ] Обзор теста: просмотрите ответы и пояснения к этому тесту.
Нагрузочный тест …Направление (для вопроса № 1):
Помните, вы ищете слово, которое НЕ принадлежит к той же группе, что и другие. Иногда кажется, что все четыре слова входят в одну группу. Если это так, посмотрите более внимательно, чтобы еще больше сузить вашу классификацию.
1. Какое слово НЕ принадлежит к другим?
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант C
Пояснение:
Крыло, киль и руль направления являются частями самолета.
Узнайте больше о проблемах: Словесная классификация
Обсудите эту проблему: Обсудите на форуме
Направление (для вопроса № 2):
Во-первых, вам будет предоставлен список из трех «бессмысленных» слов и их значений на английском языке. В следующем вопросе вас попросят обратить процесс вспять и перевести английское слово на искусственный язык.
2. Вот несколько слов, переведенных с искусственного языка.
lelibroon означает желтую шляпу
plekafroti означает цветник
frotimix означает садовый салат
Какое слово может означать «желтый цветок»?Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант B
Пояснение:
Лели означает желтый; broon означает шляпу; плека означает цветок; froti означает сад; микс означает салат.Следовательно, lelipleka означает желтый цветок.
Узнайте больше о проблемах на: Искусственный язык
Обсудить проблему: Обсудить на форуме
Направление (для Q. № 3):
Найдите утверждение, которое должно быть истинным в соответствии с данной информацией.
3. Джорджия старше своей кузины Марши. Брат Марши Барт старше Джорджии.Когда Марша и Барт приезжают в Грузию, все трое любят играть в монополию. Марша побеждает чаще, чем Грузия.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант D
Пояснение:
Если Джорджия старше Марши, а Барт старше Джорджии, то Марша должна быть самой младшей из трех. Вариант b явно неверен, потому что Барт самый старший.В этом абзаце нет информации, подтверждающей выбор a или c.
Узнайте больше о проблемах: Устное мышление
Обсудите эту проблему: Обсудите на форуме
Направление (для вопросов 4–5):
Каждая задача состоит из трех утверждений. Основываясь на первых двух утверждениях, третье утверждение может быть верным, ложным или неопределенным.
4. Том надевает носки перед тем, как надеть обувь.
Он надевает рубашку, прежде чем надеть куртку.
Том надевает обувь, прежде чем надеть рубашку.
Если первые два утверждения верны, третье утверждение —Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант C
Объяснение:
Недостаточно информации для проверки третьего утверждения.
Узнайте больше о проблемах: Логические проблемы
Обсудите эту проблему: Обсудите на форуме
5. В книжном магазине выбор открыток лучше, чем в газетном киоске.
Выбор открыток в аптеке лучше, чем в книжном магазине.
В аптеке открыт лучший выбор открыток, чем в книжном или газетном киоске.
Если первые два утверждения верны, третье утверждение —Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант А
Пояснение:
Из этих трех открыток в аптеке лучший выбор.
Узнайте больше о проблемах: Логические проблемы
Обсудите эту проблему: Обсудите на форуме
Направление (для вопроса № 6):
Логические задачи в этом наборе представляют вам три истинных утверждения: Факт 1, Факт 2 и Факт 3. Затем вам даются еще три утверждения ( помечены I, II и III), и вы должны определить, какое из них, если таковое имеется, также является фактом. Одно или два утверждения могут быть правдой; все утверждения могут быть правдой; или ни одно из утверждений не могло быть правдой.Выберите свой ответ, основываясь исключительно на информации, приведенной в первых трех фактах.
6.
Если первые три утверждения являются фактами, какое из следующих утверждений также должно быть фактом?Факт 1: островов окружены водой. Факт 2: Мауи — это остров. Факт 3: Мауи был образован вулканом. I: Мауи окружен водой. II: Все острова образованы вулканами. III: Все вулканы на островах. Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант A
Пояснение:
Поскольку Мауи — это остров, а острова окружены водой, Мауи должен быть окружен водой. Недостаточно информации для подтверждения утверждений II и III.
Узнайте больше о проблемах: Логические проблемы
Обсудите эту проблему: Обсудите на форуме
Направление (для вопроса № 7):
В каждом из следующих вопросов даются два утверждения с номерами I и II. Между двумя утверждениями может быть причинно-следственная связь. Эти два утверждения могут быть следствием одной и той же причины или независимых причин. Эти утверждения могут быть независимыми причинами, не имеющими никакого отношения.Прочтите оба утверждения в каждом вопросе и отметьте свой ответ как
.- (A) Если утверждение I является причиной, а утверждение II — его следствием;
- (B) Если утверждение II является причиной, а утверждение I — его следствием;
- (C) Если оба утверждения I и II являются независимыми причинами;
- (D) Если оба утверждения I и II являются следствием независимых причин; и
- (E) Если оба утверждения I и II являются следствием некоторой общей причины.
7. Выписки:
- Руководство школы запросило X Std. студенты посещают специальные занятия, которые будут проводиться по воскресеньям.
- Родители X Std. студенты отозвали своих подопечных от посещения частных уроков, проводимых по воскресеньям.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант A
Пояснение:
Кажется вполне очевидным, что родители приказали своим подопечным воздерживаться от индивидуальных занятий по воскресеньям и посещать специальные занятия, организованные школой.
Узнайте больше о проблемах: Причина и следствие
Обсудите эту проблему: Обсудите на форуме
Направление (для вопросов №№ 8–10):
В каждом вопросе ниже дается утверждение, за которым следуют два предположения, пронумерованные I и II. Вы должны рассмотреть заявление и следующие предположения и решить, какое из предположений подразумевается в заявлении.
Ответить
- (A) Если только предположение I неявно
- (B) Если подразумевается только предположение II
- (C) Если I или II неявны
- (D) Если ни I, ни II не являются неявными
- (E) Если и I, и II неявны.
8. Заявление: «Чтобы обеспечить пунктуальность в нашем офисе, мы должны предоставить нашим сотрудникам надбавку на проезд». — отвечает за компанию менеджер по персоналу.
Допущения:
- Пособие на перевозку не поможет в обеспечении пунктуальности.
- Дисциплина и награда всегда должны идти рука об руку.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант B
Объяснение:
Предположение I противоречит утверждению.Итак, это не подразумевается. Пособие будет служить вознаграждением сотрудникам и побуждать их приходить вовремя. Итак, II подразумевается.
Узнайте больше о проблемах: Утверждение и предположение
Обсудите эту проблему: Обсудите на форуме
9. Выписка: «Удвойте ваши деньги за пять месяцев». — Реклама.
Допущения:
- Заверение не является подлинным.
- Люди хотят, чтобы их деньги росли.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант B
Объяснение:
Невозможно судить об истинности или ложности обещания, данного в заявлении. Итак, я не подразумеваю. Поскольку заинтересованная фирма рекламирует с уверенностью, что деньги можно быстро удвоить, инвестировав их, то II подразумевается.
Узнайте больше о проблемах: Утверждение и предположение
Обсудите эту проблему: Обсудите на форуме
10. Заявление: Обратите внимание, что компания предоставит жилье только сторонним кандидатам, если они будут отобраны ». — Условие в рекламе.
Допущения:
- У местных кандидатов будут другие условия проживания.
- Компания планирует отбирать только местных кандидатов.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант A
Объяснение:
В заявлении упоминается, что компания намеревается предоставить жилье только сторонним кандидатам.Это означает, что местные кандидаты должны будут сами организовать размещение и что компания может выбрать местных, а также внешних кандидатов. Таким образом, подразумевается только I.
Узнайте больше о проблемах: Утверждение и предположение
Обсудите эту проблему: Обсудите на форуме
Направление (для вопроса № 11):
В каждом вопросе ниже дается утверждение, за которым следуют два предположения, пронумерованные I и II.Вы должны рассмотреть заявление и следующие предположения и решить, какое из предположений подразумевается в заявлении.
Ответить
- (A) Если только предположение I неявно
- (B) Если подразумевается только предположение II
- (C) Если I или II неявны
- (D) Если ни I, ни II не являются неявными
- (E) Если и I, и II неявны.
11. Заявление: «Если вы хотите дать какое-либо объявление, дайте его в газете X.» — рассказывает Б.
Допущения:
- B хочет рекламировать свою продукцию.
- Газета X имеет широкий тираж.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант B
Пояснение:
Слово «Если» в заявлении показывает, что B может или не может захотеть рекламировать свои продукты.Так что я не подразумеваю. Рекомендуется размещать рекламу в газете X. Это означает, что X поможет лучше рекламировать, т. Е. Имеет более широкий тираж. Итак, II подразумевается.
Узнайте больше о проблемах: Утверждение и предположение
Обсудите эту проблему: Обсудите на форуме
Направление (для вопроса № 12):
В каждом вопросе ниже дается утверждение, за которым следуют два предположения, пронумерованные I и II.Вы должны рассмотреть заявление и следующие предположения и решить, какое из предположений подразумевается в заявлении.
Ответить
- (A) Если только предположение I неявно
- (B) Если подразумевается только предположение II
- (C) Если I или II неявны
- (D) Если ни I, ни II не являются неявными
- (E) Если и I, и II неявны.
12. Справка: «В мое отсутствие прошу вас позаботиться о делах нашей компании». — говорит Б С.
Допущения:
- C может не принять запрос B.
- C имеет опыт ведения дел компании.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант B
Объяснение:
Ответ C на запрос B не может быть выведен из утверждения.Итак, я не подразумеваю. Кроме того, B хочет уполномочить C заботиться о компании в его отсутствие. Это означает, что C способен управлять делами. Итак, II подразумевается.
Узнайте больше о проблемах: Утверждение и предположение
Обсудите эту проблему: Обсудите на форуме
Направление (для Q. № 13):
В каждом вопросе ниже дается утверждение, за которым следуют два предположения, пронумерованные I и II.Вы должны рассмотреть заявление и следующие предположения и решить, какое из предположений подразумевается в заявлении.
Ответить
- (A) Если только предположение I неявно
- (B) Если подразумевается только предположение II
- (C) Если I или II неявны
- (D) Если ни I, ни II не являются неявными
- (E) Если и I, и II неявны.
13. Справка: Электроснабжающая корпорация решила открыть еще несколько пунктов сбора в районе делового района.
Допущения:
- Люди в этом районе могут приветствовать это решение.
- Отныне у клиентов может быть меньше времени для оплаты счетов за электроэнергию.
Ваш ответ: Вариант (нет ответа)
Правильный ответ: Вариант E
Пояснение:
Очевидно, что большее количество центров инкассации позволило бы простым людям оплачивать свои счета легко, удобно и быстро, и это заставило бы их приветствовать эту идею.Итак, I и II неявны.
Узнайте больше о проблемах: Утверждение и предположение
Обсудите эту проблему: Обсудите на форуме
Направление (для вопросов 14–16):
В каждом вопросе ниже дается утверждение, за которым следуют два плана действий, пронумерованные I и II. Вы должны предположить, что все в утверждении является правдой, и на основе информации, представленной в заявлении, решить, какой из предложенных вариантов действий логически следует (-ие) для выполнения.
Ответить
- (A) Если бы я только следовал за
- (B) Если только II следует за
- (C) Если I или II следует за
- (D) Если ни I, ни II не следует за
- (E) Если следуют и I, и II.
14. Заявление: Министр сказал, что учителя до сих пор не знакомы с необходимостью, важностью и значением образования населения в системе высшего образования.Они даже не осознают свою роль и обязанности в программе просвещения населения.
Порядок действий:
- Программа народонаселения должна быть включена в учебную программу колледжа.
- Ориентация учителей по просвещению населения
Логические проблемы Вопросы и полные ответы
На главную> Логические тесты> Логические проблемы> Вопросы по логическим проблемам
Внимательно прочтите вопрос и выберите правильный ответ.
Медсестра Кемп проработала больше ночных смен подряд, чем медсестра Роджерс, которая проработала пять. Медсестра Миллер проработала пятнадцать ночных смен подряд, больше, чем медсестры Кемп и Роджерс вместе взятые. Медсестра Кэлвин работала восемь ночных смен подряд, меньше, чем медсестра Кемп. Сколько ночных смен подряд работала медсестра Кемп?
A. восемь
B. девять
C. десять
D. одиннадцать
Ответ и объяснение:
Ответ: Вариант Б
Пояснение:
Медсестра Кемп проработала больше смен подряд, чем медсестра Кэлвин; Таким образом, Кемп работал более восьми смен.
Количество смен Кемпа плюс количество смен Роджерса (пять) не может равняться пятнадцати или более сменам Миллера.
Таким образом, Кемп отработал девять смен подряд (5 + 9 = 14).
Дети преследуют собаку, у которой оборвался поводок. Джеймс стоит прямо за собакой. Руби стоит за Джеймсом. Рэйчел стоит за Руби. Макс идет впереди собаки, идущей по улице в противоположном направлении. Когда дети и собака проходят, Макс разворачивается и присоединяется к погоне.Он бежит за Руби. Джеймс бежит быстрее и оказывается рядом с собакой слева. Руби бежит быстрее и оказывается рядом с собакой справа. Какой ребенок стоит прямо за собакой?
А. Джеймс
Б. Руби
С. Рэйчел
Д. Макс
Ответ и объяснение:
Ответ: Вариант D
Пояснение:
После того, как все переключатели были сделаны, Макс оказывается прямо за собакой, Джеймс — рядом с собакой слева, Руби — рядом с собакой справа, а Рэйчел — позади Макса.
Страница 1 | Страница 2 | Стр. 3 | Стр. 4 | Стр. 5 | Стр. 6 | Стр. 7 | Стр. 8 | Стр. 9 | Стр. 10 | Стр. 11 | Стр. 12 | Page 13
Дополнительные обучающие и развлекательные тесты ниже.
Вопросы или комментарии? Пожалуйста, обсудите ниже.
Вопросы и ответы по логическому мышлению
На главную> Логические тесты> Логическое рассуждение> Вопросы по логическому рассуждению
В этих сериях вы будете рассматривать как буквенный, так и цифровой рисунок.Заполните пробел в середине или конце ряда.
SCD, TEF, UGH, ____, WKL
Ответ и объяснение:
Ответ: Вариант C
Пояснение:
Здесь есть две алфавитные серии.
Первая серия состоит только из первых букв: STUVW.
Вторая серия включает оставшиеся буквы: CD, EF, GH, IJ, KL.
B2CD, _____, BCD4, B5CD, BC6D
A. B2C2D
B. BC3D
C. B2C3D
D. BCD7
Ответ и объяснение:
Ответ: Вариант Б
Пояснение:
Поскольку буквы одинаковые, сконцентрируйтесь на числовой серии, которая представляет собой простую серию из 2, 3, 4, 5, 6 и следует за каждой буквой по порядку.
FAG, GAF, HAI, IAH, ____
Ответ и объяснение:
Ответ: Вариант А
Пояснение:
Средние буквы статичны, поэтому сосредоточьтесь на первой и третьей буквах.
Серия включает в себя алфавитный порядок с перестановкой букв.
Первые буквы в алфавитном порядке: F, G, H, I, J.
Второй и четвертый сегменты являются разворотами первого и третьего сегментов.
Отсутствующий сегмент начинается с новой буквы.
ELFA, GLHA, ILJA, _____, MLNA
A. OLPA
B. KLMA
C. LLMA
D. KLLA
Ответ и объяснение:
Ответ: Вариант D
Пояснение:
Вторая и четвертая буквы в серии L и A статичны.
Первая и третья буквы состоят в алфавитном порядке, начинающемся с буквы E.
CMM, EOO, GQQ, _____, KUU
Ответ и объяснение:
Ответ: Вариант C
Пояснение:
Первые буквы в алфавитном порядке с пропуском буквы между сегментами: C, E, G, I, K.
Вторая и третья буквы повторяются; они также идут по порядку с пропущенной буквой: M, O, Q, S, U.
Страница 1 | Страница 2 | Page 3
Дополнительные обучающие и развлекательные тесты ниже.
Вопросы или комментарии? Пожалуйста, обсудите ниже.
Intel Quartus Prime Standard Edition Руководство пользователя: оптимизация конструкции
Чтобы удовлетворить сложные временные требования, включающие несколько часов, ресурсы маршрутизации и ограничения области, Intel ® Программное обеспечение Quartus ® Prime обеспечивает тесное взаимодействие между синтезом и планом этажа. процессы редактирования, анализа места и маршрута и времени.
По умолчанию Intel ® Quartus ® Prime Fitter работает в соответствии с требованиями по времени и останавливается, когда требования выполнены. Следовательно, реалистичные ограничения имеет решающее значение для закрытия сроков.
Недостаточно ограниченные конструкции могут привести к неоптимальные результаты. Для конструкций с чрезмерными ограничениями установщик может чрезмерно оптимизировать некритические пути за счет истинных критических путей.В кроме того, площадь и время компиляции также могут увеличиться.
Для проектов с высоким потреблением ресурсов Intel ® Quartus ® Prime Fitter могут не найти легальное размещение. В таких случаях установщик автоматически изменяет настройки, чтобы попытаться найти компромисс между производительностью и площадью.
Intel ® Quartus ® Prime Fitter предлагает расширенные параметры, которые могут помочь улучшить характеристики дизайна, когда вы правильно устанавливаете ограничения.Используйте советник по оптимизации времени, чтобы определить, какие варианты лучше всего подходят для дизайна.
Если вы используете инкрементную компиляцию, вы можете помочь решить требования к синхронизации между разделами, заблокировав результатов, по одному разделу за раз или путем размещения разделы с регионами Logic Lock (Standard). Вы может улучшить время на таких путях, оптимально разместив разделы сократить длину критических путей.Как только время между разделами требования выполнены, используйте инкрементную компиляцию для сохранения результатов и работайте с разделами, которые не соответствуют требованиям по времени.
В ПЛИС высокой плотности на маршрутизацию приходится большая часть сроков критического пути. Из-за этого дублирование или повторная синхронизация логики может позволяют установщику уменьшить задержку на критических путях. В Intel ® Программное обеспечение Quartus ® Prime предлагает кнопочный список соединений варианты оптимизации и физического синтеза, которые могут улучшить дизайн производительность за счет значительного увеличения времени компиляции и площадь.Включите только те параметры, которые помогут вам сохранить разумную компиляцию время и использование ресурсов. В качестве альтернативы вы можете изменить HDL на вручную продублируйте или отрегулируйте логику синхронизации.
Logic Gates — Ib computer Science
2.1.12 Постройте таблицы истинности, используя указанные выше операторы и эквивалентность.
Как определить, эквивалентны ли два разных логических утверждения
Чтобы определить, эквивалентны ли два логических утверждения или нет, нам нужно создать таблицу истинности для каждого утверждения и сравнить значения истинности утверждений в каждом случае.Если оба утверждения имеют таблицы истинности с точно такими же значениями истинности в последнем столбце, то два утверждения логически эквивалентны, и одно утверждение может быть заменено другим в логическом аргументе без изменения смысла.
Давайте рассмотрим несколько примеров:
Пример 1
Является ли ~ ( p ∧ q ) эквивалентом ~ p∧ ~ q?
Поскольку мы знаем, что в арифметике 2 ( x +3) = 2 x +6, мы можем начать задаваться вопросом, можем ли мы распределить знак отрицания по набору круглых скобок в логических операторах.Другими словами, является ли ~ ( p ∧ q ) эквивалентом ~ p∧ ~ q ?
Единственный способ выяснить это — составить таблицу истинности для ~ ( p ∧ q ) и таблицу истинности для ~ p∧ ~ q , а затем сравнить значения истинности в каждой таблице. :
p q p∧q ~ ( pq ) T T T F T F F T F T F T F F F T p q ~ p ~ q ~ p∧ ~ q T T F F F T F F T F F T T F F F F T T T Для этого сравнения необходимо работать, мы должны сравнивать одну и ту же строку в каждой таблице истинности; например, мы должны сравнить строку, где p = T и q = T в таблице истинности для ~ ( p∧q ) со строкой, где p = T и q = T в Таблица истинности для ~ p∧ ~ q .Нас интересует, имеют ли два разных утверждения одинаковое значение истинности в совершенно одинаковых условиях. Итак, если бы мы сравнили строку, где p = T и q = T в таблице истинности для ~ ( p∧q ), со строкой, где p = T и q = F в таблица истинности для ~ p∧ ~ q , мы будем рассматривать два разных набора условий, и поэтому сравнение значений истинности для каждого утверждения в этом случае приведет к ошибке.
В двух таблицах истинности, которые я создал выше, вы можете видеть, что я перечислил все значения истинности для p и q в том же порядке.Это сделано для того, чтобы я мог сравнивать значения в последнем столбце в двух таблицах истинности, не беспокоясь о том, сопоставляю ли я правильные строки — поскольку строки уже находятся в том же порядке, я могу просто сравнить последний столбец таблицы одна таблица с последним столбцом другой выглядит следующим образом:
p q ~ ( p∧q ) ~ p∧ ~ q T T F F T F T F F T T F F F T T В этом случае значения истинности для ~ ( p∧q ) и ~ p∧ ~ q не совсем одинаковы, поэтому мы можем заключить, что эти два утверждения не эквивалентны!
Итак, это ответ на наш вопрос; если у нас есть ~ ( p∧q ), мы не можем просто заменить его на ~ p∧ ~ q .Если мы заменим ~ ( p∧q ) на ~ p∧ ~ q , мы фактически изменим смысл нашего утверждения.
Но есть ли другой способ избавиться от скобок? Другими словами, существует ли другой оператор, эквивалентный ~ ( p∧q ), не содержащий скобок? Давайте попробуем другой вариант:
Пример 2:
Является ли ~ ( p ∧ q ) эквивалентом ~ p∨ ~ q?
Чтобы проверить это утверждение, мы должны составить таблицу истинности для ~ ( p ∧ q ) и таблицу истинности для ~ p∨ ~ q , а затем сравнить значения истинности в каждой таблице:
p q p∧q ~ ( p∧q ) T T T F T FF T F T F T F F F T p q ~ p ~ q ~ p∨ ~ q T T F F F T F F 9001 0 T T F T T F T F F T T T В двух таблицах истинности Я создал выше, вы можете видеть, что я перечислил все истинные значения p и q в том же порядке.Это сделано для того, чтобы я мог сравнивать значения в последнем столбце в двух таблицах истинности, не беспокоясь о том, сопоставляю ли я правильные строки — поскольку строки уже находятся в том же порядке, я могу просто сравнить последний столбец таблицы одна таблица с последним столбцом другой выглядит следующим образом:
p q ~ ( p∧q ) ~ p∨ ~ q T T F F T F T T F T T T F F T T В этом случае значения истинности для ~ ( p∧q ) и ~ p∨ ~ q в точности совпадают, поэтому мы можем заключить, что эти два утверждения эквивалентны:
~ ( p∧q ) ≡ ~ p∨ ~ q
90 002 Итак, если мы когда-нибудь встретим ~ ( p∧q ) , мы можем заменить его на ~ p∨ ~ q без изменения логического смысла высказывания!Тестируйте приложения логики с фиктивными данными — Azure Logic Apps
- Читать 3 минуты
В этой статье
При тестировании приложений логики вы можете быть не готовы звонить или получать доступ к приложениям, службам и системам по разным причинам.Обычно в этих сценариях вам, возможно, придется запускать разные пути условий, принудительные ошибки, предоставление конкретного ответа на сообщение тел, или даже попробуйте пропустить несколько шагов. Установив статический результаты действия в приложении логики, вы можете имитировать вывод данные из этого действия. Включение статических результатов для действия не запускает действие, а вместо этого возвращает фиктивные данные.
Например, если вы настроили статические результаты для отправки Outlook 365 mail, движок Logic Apps просто возвращает фиктивные данные, которые вы указаны как статические результаты, а не вызывать Outlook и отправлять электронное письмо.
Предварительные требования
Настройка статических результатов
Если вы еще этого не сделали, в Портал Azure, откройте приложение логики в Logic Apps Designer.
О действии, которое вы хотите настроить статические результаты, выполните следующие действия:
В правом верхнем углу действия выберите кнопку эллипсов ( … ), и выберите Статический результат , например:
Выберите Включить статический результат .Для обязательных (*) свойств, укажите фиктивные выходные значения, которые вы хотите вернуть в ответ на действие.
Например, вот необходимые свойства для действия HTTP:
Имущество Описание Статус Статус действия для возврата Код состояния Конкретный код статуса для возврата Заголовки Возвращаемое содержимое заголовка Чтобы ввести фиктивные данные в формате JavaScript Object Notation (JSON), выберите Перейти в режим JSON ().
Для дополнительных свойств откройте список Выберите дополнительные поля , и выберите свойства, которые вы хотите высмеять.
Когда вы будете готовы к сохранению, выберите Готово .
В правом верхнем углу действия в строке заголовка теперь отображается значок тестового стакана. (), что означает, что вы включили статические результаты.
Чтобы найти предыдущие прогоны, в которых использовались фиктивные данные, см. Поиск прогонов, использующих статические результаты позже в этой теме.
Повторно использовать предыдущие выходы
Если у вашего приложения логики был предыдущий запуск с выходами вы можете повторно использовать как фиктивные результаты, вы можете копировать и вставьте результаты этого прогона.
Если вы еще этого не сделали, на портале Azure откройте приложение логики в Logic Apps Designer.
В главном меню приложения логики выберите Обзор .
В разделе истории прогонов , выберите нужный запуск приложения логики.
В рабочем процессе приложения логики найдите и разверните действие, которое имеет желаемые результаты.
Выберите ссылку Показать необработанные выходные данные .
Скопируйте либо полную нотацию объекта JavaScript (JSON) объект или конкретный подраздел, который вы хотите использовать, например, раздел выходных данных или даже раздел заголовков.
Следуйте инструкциям для открытия результата Static поле для вашего действия в настройке статических результатов.
После открытия окна Статический результат выберите любой шаг:
Чтобы вставить весь объект JSON, выберите Перейти в режим JSON ():
Чтобы вставить только раздел JSON, рядом с меткой этого раздела, выберите Перейти в режим JSON для этого раздела, например:
Вставьте ранее скопированный JSON в редактор JSON.
Когда вы закончите, выберите Готово .Или вернуться дизайнеру выберите Switch Editor Mode ().
Найти прогоны, использующие статические результаты
История запусков вашего приложения логики определяет запуски, в которых действия используют статические результаты. Чтобы найти эти трассы, выполните следующие действия:
В главном меню приложения логики выберите Обзор .
На правой панели в разделе История запусков , найдите столбец Статические результаты .
Любой прогон, включающий действия с результатами, имеет в столбце Static Results установлено значение Enabled , например:
Чтобы просмотреть действия, использующие статические результаты, выберите нужный запуск где для столбца Static Results установлено значение Enabled .
Действия, в которых используются статические результаты, показывают пробный стакан () значок, например:
Отключить статические результаты
Отключение статических результатов не отбрасывает значения из вашей последней настройки. Итак, когда вы включаете статические результаты в следующий раз, вы можете продолжить используя ваши предыдущие значения.
Найдите действие, в котором вы хотите отключить статические выходы. В правом верхнем углу действия выберите значок тестового стакана ().
Выберите Отключить статический результат > Готово .
Номер ссылки
Дополнительные сведения об этом параметре в определениях базовых рабочих процессов см. В разделах Статические результаты — Справочник по схеме для языка определения рабочих процессов и runtimeConfiguration.staticResult — Параметры конфигурации среды выполнения
Следующие шаги
.