Студопедия

Главная страница Случайная лекция


Мы поможем в написании ваших работ!

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика



Мы поможем в написании ваших работ!




Решение логических задач средствами алгебры логики

Читайте также:
  1. I. ПРЕДМЕТ ЛОГИКИ
  2. III. Борьба за разрешение восточного вопроса.
  3. IV. СОВРЕМЕННЫЕ ЗАДАЧИ И ПЕРСПЕКТИВЫ РАЗВИТИЯ БИОТЕХНОЛОГИИ.
  4. VII. Организация служебной деятельности и порядок действий наряда вневедомственной охраны полиции, назначенного для выполнения задач по охране имущества при его транспортировке
  5. Алгоритм решения задач с ПКС
  6. АЛГОРИТМИЗАЦИЯ ТИПИЧНЫХ ЗАДАЧ
  7. Анализ гендерных, этнических, возрастных и характерологических особенностей туристов в анимационной деятельности
  8. Анализ известных реологических методов описания взаимодействия вибрирующих рабочих органов с порошковыми средами
  9. Анализ обеспеченности предприятия основными средствами производства, интенсивности и эффективности их использования.
  10. Анализ обеспеченности производств основными средствами

Способы решения логических задач

Оглавление

На 2013-2014 учебный год

Расписание обзорных лекций

Курс

15.03.2013

Часы Преподаватель Аудитория
10-10 Доцент Быков Д.В. Кафедра ЭВМ и С

21.03.2013

Часы Преподаватель Аудитория
18-30 Ст.преподаватель Наумов В.Ю. ЛК-303

22.03.2013

Часы Преподаватель Аудитория
13-30 Доцент Егунов В.А. В-1302а

29.03.2013

Часы Преподаватель Аудитория
10-10 Доцент Быков Д.В. Кафедра ЭВМ и С

 

04.04.2013

Часы Преподаватель Аудитория
18-30 Ст.преподаватель Наумов В.Ю.

05.04.2013

Часы Преподаватель Аудитория
13-30 Доцент Егунов В.А. В-1302а

12.04.2013

Часы Преподаватель Аудитория
10-10 Доцент Быков Д.В. Кафедра ЭВМ и С

18.04.2013

Часы Преподаватель Аудитория
18-30 Ст.преподаватель Наумов В.Ю. ЛК-303

 

 

19.04.2013

Часы Преподаватель Аудитория
13-30 Доцент Егунов В.А. В-1302а

26.04.2013

Часы Преподаватель Аудитория
10-10 Доцент Быков Д.В. Кафедра ЭВМ и С

 

02.05.2013

Часы Преподаватель Аудитория
18-30 Ст.преподаватель Наумов В.Ю.

03.05.2013

Часы Преподаватель Аудитория
13-30 Доцент Егунов В.А. В-1302а

16.05.2013

Часы Преподаватель Аудитория
18-30 Ст.преподаватель Наумов В.Ю. ЛК-303

17.05.2013

Часы Преподаватель Аудитория
10-10 Доцент Быков Д.В. Кафедра ЭВМ и С
13-30 Доцент Егунов В.А. В-1302а

30.05.2013

Часы Преподаватель Аудитория
18-30 Ст.преподаватель Наумов В.Ю.

31.05.2013

Часы Преподаватель Аудитория
13-30 Доцент Егунов В.А. В-1302а

 

 

для студентов 5 курса ТиП з/о

День Часы А Б
Среда 12 марта 8.15 – 9.45  
9.55 – 11.25  
12.00 – 13.30  
13.40 – 15.10 Основы машиноведения Филиппов В.А., доцент 220
15.20 – 16.50 Основы конструкции автомобильного транспорта Филиппов В.А., к.тех.н., доцент 107 ОШП, ТШИ 220 Федорова И.А., к.п.н., доцент
17.00 – 18.30 Кулинария, ХОМ 220 Калюшина А.И., доцент
Четверг 13 марта 8.15 – 9.45 КМО 214 Андреева Л.Н., к.п.н., доцент
9.55 – 11.25  
12.00 – 13.30  
13.40 – 15.10  
Пятница 14 марта 8.15 – 9.45  
9.55 – 11.25 Теория и методика обучения технологии и предпринимательства 218 Толстов Н.С., д-р пед.н., профессор
12.00 – 13.30 Теория и методика обучения технологии и предпринимательства Никитин Г.А., к.п.н., доцент 318
13.40 – 15.10    

 

Декан ТЭФ И.А. Федорова

Способы решения логических задач. 2

Решение логических задач средствами алгебры логики. 2

Решение логических задач табличным способом. 4

Решение логических задач с помощью рассуждений. 6

Разнообразие логических задач очень велико. Способов их решения тоже немало. Но наибольшее распространение получили следующие три способа решения логических задач:

  1. средствами алгебры логики;
  2. табличный;
  3. с помощью рассуждений.

Познакомимся с ними поочередно.

Обычно используется следующая схема решения:

  • изучается условие задачи;
  • вводится система обозначений для логических высказываний;
  • конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;
  • определяются значения истинности этой логической формулы;
  • из полученных значений истинности формулы определяются значения истинности введённых логических высказываний, на основании которых делается заключение о решении.

Пример: Трое друзей, болельщиков автогонок "Формула-1", спорили о результатах предстоящего этапа гонок.

— Вот увидишь, Шумахер не придет первым, — сказал Джон. Первым будет Хилл.

— Да нет же, победителем будет, как всегда, Шумахер, — воскликнул Ник. — А об Алези и говорить нечего, ему не быть первым.

Питер, к которому обратился Ник, возмутился:

— Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину.

По завершении этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл этап гонки?

Решение. Введем обозначения для логических высказываний:

Ш — победит Шумахер; Х — победит Хилл; А — победит Алези.

Реплика Ника "Алези пилотирует самую мощную машину" не содержит никакого утверждения о месте, которое займёт этот гонщик, поэтому в дальнейших рассуждениях не учитывается.

Зафиксируем высказывания каждого из друзей:

Учитывая то, что предположения двух друзей подтвердились, а предположения третьего неверны, запишем и упростим истинное высказывание

Высказывание истинно только при Ш=1, А=0, Х=0.

Ответ. Победителем этапа гонок стал Шумахер.
<== предыдущая страница | следующая страница ==>
Системы кодирования экономической информации | Решение логических задач табличным способом

Дата добавления: 2014-03-11; просмотров: 360; Нарушение авторских прав



Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.004 сек.