Реферат: Алгебра высказываний на уроках информатики - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

Алгебра высказываний на уроках информатики

Банк рефератов / Информатика, информационные технологии

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Microsoft Word, 403 kb, скачать бесплатно
Заказать
Узнать стоимость написания уникального реферата

Узнайте стоимость написания уникальной работы

27 Рефе рат Алгебра высказываний на уроках информатики Сод ержание Введение За дачи Зада чи для самостоятельного решения За ключение Ис пользуемая литература Введ ение Цель познания в науке в науке и повседневной жизни - получение истинных знаний и полноценное ис пользование их в практической деятельности . Знания формальной логики помогает предвидеть события и лучши м способом планировать деятельность, максимально предусматривать возм ожные последствия, выдвигать разли чные гипотезы, эффективней обучаться . Учащимся логика поможет в процессе овладения ими многообразн ой информацией, с которой они встретятся при изучении различных наук . В ходе дальнейшего самообразовани я - логика, знания логики помогут отд елять главное от второстепенного, критически воспринимать различные о пределения и классификации разнообразных понятий и явлений, подбирать формы доказательства своих истинных суждений и опровергать ложные . Интересным, перспективным направлением является ана лиз и решение логических задач с помощью ЭВМ . Цель, которая преследуется при использовании компьютера при решении логических зада ч следующая - развитие у учащихся алгоритмического подхода к решени ю логических задач, а также формирование представлений о информационно й картине мира, практическое освоение компьютера как инструмента деяте льности . В результате должно сф ормироваться умение видеть информационную сущность мира, распознавать и анализировать с логической точки зрения информационные процессы . З адачи На компьютере легко получить таблицу истинности не которого сложного выражения, к примеру X= ( A OR B ) AND A AND B Замечание : в большинстве версий языка Бейсик нет переменных логического типа . Поэтому, при выводе переменных логическ ого типа рекомендуется ставить знак минус перед именем переменной . Решение задачи на Паскале : uses crt ; var a,b,x : boolean ; Begin clrscr ; for a : =false to true do begin for b : =false to true do begin x : = ( A or B ) and A and B ; write ( x : 10 ); end ; end ; readkey ; end . а также проверить следующие тождества : NOT ( NOT A ) = A ( за кон двойного отрицания ). NOT ( A AND NOT A ) = 1 ( за кон отрицания противоречия ). A OR NOT A =1 ( закон исклю ченного третьего ). Решение для первого тождества : ( 2 . bas , 2. pas ) Решение на Паскале : uses crt ; var a : boolean ; Begin clrscr ; WRITELN ( 'not ( not a ) ' : 12,'a' : 7 ); writeln ( '---------------------' ); for a : =false to true do writeln ( not ( not a ): 10,a : 10 ); readkey ; end . Доказательство проводим с помощью таблицы истинно сти . Как видно из решения таблицы истинности для выражений ст оящих по разные стороны от знак а равенства совпадают, следовательно можно утверждать что тождества ве рное . Кроме того, с помощью компьютера можно упростить следующие выражения : 1 . A IMP NOT A ( NOT A ) 2 . A EQV NOT A ( 0 ) 3 . ( A IMP A ) IMP A ( A ) 4 . NOT A IMP ( A IMP B ) ( 1 ) 5 . A IMP ( A IMP B ) ( A IMP B ) 6 . A IMP ( B IMP A ) ( 1 ) 7 . ( ( A IMP B ) IMP A ) IMP B ) ( A IMP B ) 8 . ( A EQV B ) IMP ( A IMP B ) ( 1 ) 9 . ( A IMP B ) IMP ( B IMP A ) ( B IMP A ) 10 . ( NOT A IMP B ) IMP ( NOT B IMP A ) ( 1 ) Как видно из таблиц истинности, многие выражения достаточно легко сводятся к б олее простым . Обладая всего лишь начальными навыками алгоритмического языка можно также использовать ко мпьютер для решения логических уравнений : Найти X,Y из следующих уравнений : ( 1 IMP X ) IMP Y=0 Отв : ( x=1 y=0 ) X OR Y = NOT X ( x=0, y=1 ) Решение : ( 3 . bas , 3. pas ) CLS PRINT " x y " PRINT FOR x = 0 TO - 1 STEP - 1 FOR y = 0 TO - 1 STEP - 1 IF ( x OR y ) = ( NOT ( x )) THEN PRINT - x ; - y NEXT NEXT Замечание : в языке Паскаль для решения задач сначала следует выразить операции следования и эквивалентн ости через операции OR и AND . Так операция следования может быть з аписана следующим образом a IMP b = NOT ( a ) OR b ), а операция эквива лентности как a EQV b = ( a OR ( NOT b )) AND ( ( NOT a ) OR b ) или следующим образо м a EQV b = ( a AND b ) OR ( ( NOT a ) AND ( NOT b )). Решение на Паскале : uses crt ; var y,x , i mp,a : boolean ; Begin clrscr ; WRITELN ( 'x' : 10,'y' : 10 ); writeln ; for x : =false to true do begin for y : =false to true do begin if not ( not ( true ) or x ) or y = false then writeln ( x : 10,y : 10 ); end ; end ; readkey ; end . Следует отметить то, что при решении на компьютере у учащихся постоянно присутствует таблица истинности основных логическ их операций на компьютере, и, к примеру, проверка формул на тавтологии, а т акже проверка основных логических законов превращается в некоторое са мостоятельное “исследование " основ ных операций логики . Учитывая т о, что доказательства законов явно не приводятся , представляется возможным говорить о том, что учащим ися познан новый метод доказательства, которое приводится с помощью ком пьютера . При рассмотрении темы : “Арифметические и логические основы ЭВМ " можно предло жить рассмотреть применение алгебры высказываний в релейно-контактных схемах . №4 . Комитет и з трех человек решил применить электрическую схему для регистрации тай ного голосования простым большинством голосов . Построить т акую схему , при использовании которой голосующий нажимал бы на кнопку, причем в случае принятия решения загоралась бы сигнальная лампо чка . Используя операции конъюнкции и дизъюнкции получи м сложное высказывание удовлетворяющее условию задачи . Х = ( A and B ) OR ( A and C ) OR ( B and C ) ( 4 . bas ) CLS FOR A=-1 TO 0 FOR B=-1 TO 0 FOR C=-1 TO 0 X= ( A AND B ) OR ( A AND C ) OR ( B AND C ) PRINT - A ; - B ; - C,-X NEXT NEXT NEXT Решение задачи на Паскале : ( 4 . pas ) uses crt ; var a,b,c,x : boolean ; Begin clrscr ; WRITELN ( 'a' : 10,'b' : 10,'c' : 10,'x' : 10 ); writeln ; for a : =false to true do begin for b : =false to true do begin x : = ( A and B ) or ( A and c ) or ( B and C ); writeln ( a : 10,b : 10,c : 10,x : 10 ); end ; end ; readkey ; end . ------ A ---- B ------ Схем а выглядит так ------ A ---- C ------ ------ B --- - C ------ Рассмотренные выше решения задач с помощью компьют ера, призваны помочь учащимся использовать компьютер, при прохождении т емы, связанной с рассмотрением основ алгебры логики . Цель, которая преследуется при использовании компь ютера для рассмотрения основных понятий логики, правил построения логи ческих выражений и логических схем, теорем алгебры логики и приемам упрощения логического выраже ния следующая - учащийся представляе т себе компьютер как инструмент, который помогает ему решать задачи логи ческого плана, таким образом , ра сширяется поле применения компьютера . При этом компьютер выступает теперь не только как объект изу чения, но и как средство, которое может помочь при решении ряда задач . Развивая вышесказанное, хотелось б ы рассмотреть еще одно применение компьютера при решении логических за дач . Но сначала следует ознаком иться с действиями, которые необходимо предпринять для решения логичес кой задачи на компьютере : Изучить условие задачи . Обозначить используемые высказывания символами . Используя логические связи составить логическое в ыражение для всех требований задачи . Вычислить все значения этого логического выражени я . Проверить полученное решение по условию задачи . №5 : в соревно ваниях по гимнастике участвуют Алла, Валя, Сима, Даша . Болельщики высказали предположения о возможных по бедителях . 1 ) первой буд ет Сима, Валя второй, 2 ) второй будет Сима, Даша - третьей, 3 ) Алла будет второй, Даша - четвертой . По окончании соревнований оказалось, что в каждом из предположений только одно из высказываний истинно, другое ложно . Какое место на соревнованиях заняла каждая из девушек , если все они оказались на разных местах ? Решение . Обозначим высказывания буквами соответственно A, B, C, D, E, F . Так как только одно из высказываний истинно, то имее м исключающую дизъюнкцию, которая будет истинна : A XORB, C XOR D, E XOR F Кроме того, ложными будут высказывания : A AND C, B AND C, D AND F, B AND E, C AND E а , с ледовательно , истинным и NOT ( A AND C ) NOT ( B AND C ) NOT ( D AND F ) NOT ( B AND E ) NOT ( C AND E ) Соединяя первую группу истинных высказываний в Х1, а вторую в Х2 получим Х=Х1*Х2 . Получив таблицу истинности, решим Решение задачи на Паскале : ( 5 . pas ) Uses crt ; Var a,b,c,d,e,f : boolean ; x1,x2,x : boolean ; Begin clrscr ; writeln ( 'a' : 10,'b' : 10,'c' : 10,'d' : 10,'e' : 10,'f' : 10 ); for a : =false to true do begin for b : =false to true do begin for c : =false to true do begin for d : =false to true do begin for e : =false to true do begin for f : =false to true do begin x1 : = ( a xor b ) and ( c xor d ) and ( e xor f ); x2 : = ( not ( a and c )) and ( not ( b and c )) and ( not ( d and f )) and ( not ( b and e )) and ( not ( c and e )); x : =x1 and x2 ; if x<>false then begin writeln ; write ( a : 10,b : 10,c : 10,d : 10,e : 10,f : 10 ); end ; end ; end ; end ; end ; end ; end ; readkey ; end . Ответ : 1 0 0 1 1 0 ( 0 - false, 1 - true ) №6 : Алеша, Бор я и Гриша нашли в земле сосуд . Рас сматривая удивительную находку, каждый высказал предположение : Алеша : " Это сосуд греческий и изготовлен в 5 веке ". Борис : " Это сосуд финикийский и изготовлен в 3 веке ". Гриша : " Это сосуд не греческий и изготовлен в 4 веке ". Учитель истории сказал ребятам, что каждый из них пр ав только в одном предположении . Где и в каком веке изготовлен сосуд . Решение : Вданной задачи примем следующие обозначения : G - э то сосуд греческий . F - э то сосуд финикийский . P - и зготовлен в 5 веке . T - и зготовлен в 3 веке . Q - и зготовлен в 4 веке . Со слов учителя следует, что каждый мальчик прав тол ько в одном высказывании . Следо вательно для Алеши либо G =-1 либо P =-1 , т.е. G XOR P =-1Ан алогично : F XOR T =-1 NOT G XOR Q =-1 Но это недостаточно, следует учесть, что ложными будут высказывания : F * G =0 P * T =0 P * Q =0 T * Q =0 Или тоже самое : NOT ( F AND G ) =-1, NOT ( P AND T ) =-1, NOT ( P AND Q ) =-1, NOT ( T AND Q ) =-1 Если все истинные высказывания логически перемнож ить, то получим сложное высказывание, в котором сведено все, что говорить ся о сосуде : X1= ( G XOR P ) AND ( F XOR T ) AND ( NOT G XOR Q ) X2=NOT ( F AND G ) AND NOT ( P AND T ) AND NOT ( P AND Q ) AND NOT ( T AND Q ) X = X 1 AND X 2 Ответ : 0 1 1 0 0 . №7 : На экзаме не преподаватель предлагает студентам определить какие из пяти утверж дений истинны, а какие ложны . Сту дент знает, что всегда преподаватель дает истинных утверждений больше, ч ем ложных, и никогда не задает подряд три вопроса, требующих одинакового ответа . Из содержания первого и последнего утверждения ему ясно, что ответы на них должны быть противопо ложными . Единственный вопрос на который он знает ответ - второй ( лож, истинна ?) Это уже гарантирует правильные ответы на все вопрос ы . Какими должны быть эти ответы ? Решение задачи на Паскале : ( 7 . pas ) Uses crt ; Var a,b,c,d,e : boolean ; x1,x2,x3,x4,x5,x6,x7,x8,x : boolean ; Begin clrscr ; writeln ( 'a' : 10,'b' : 10,'c' : 10,'d' : 10,'e' : 10 ); for a : =false to true do begin for b : =false to true do begin for c : =false to true do begin for d : =false to true do begin for e : =false to true do begin x1 : = not ( a AND b AND c ) AND NOT ( NOT a AND NOT b AND NOT c ); x2 : = NOT ( b AND c AND d ) AND NOT ( NOT b AND NOT c AND NOT d ); x3 : = NOT ( c AND d AND e ) AND NOT ( NOT c AND NOT d AND NOT e ); x4 : = ( a AND b AND c ) OR ( a AND b AND d ) OR ( a AND b AND e ); x5 : = ( a AND c AND d ) OR ( a AND c AND e ) OR ( a AND d AND e ); x6 : = ( b AND c AND d ) OR ( b AND c AND e ) OR ( b AND d AND e ); x7 : = ( c AND d AND e ); x8 : = a XOR e ; x : = x1 AND x2 AND x3 AND ( x4 OR x5 OR x6 OR x7 ) AND x8 ; if x<>false then begin writeln ; write ( a : 10,b : 10,c : 10,d : 10,e : 10 ); end ; end ; end ; end ; end ; end ; readkey ; end . Ответы : 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 !!! ( 2 ложь ) 1 1 0 1 0 №8 : Упрощенный план в институте содержит 3 пары лекций в день . При этом : 1 . Математик настаивает, чтобы его лекции не были последними . 2 . Физик може т вести 2-ую или 3-ю пару . 3 . Химик не мо жет вести 2-ю пару, а может 1 или 3-ю пару . Учащиеся требуют, чтобы не было сдвоенных пар по одн ому предмету . Решение : Вв едем обозначения M 1, M 2, F 2, F 3, H 1, H 3 - где символ это название предмета, а цифра номер пары .1 . Из условия видно, что : X 1= M 1 OR M 2 X 2= F 2 OR F 3 X3=H1 OR H3 X4= NOT ( M1 AND M2 ) AND NOT ( F2 AND F3 ) AND NOT ( H1 AND H2 ) 2 . Дополните льные условия, чтобы не было совпадения предметов на одну пару : X5=NOT ( M1 AND M2 ) AND NOT ( M1 AND H1 ) AND NOT ( F3 AND H3 ) AND NOT ( M2 AND F2 ) Объединяя получим уравнение : X = X 1 AND X 2 AND X 3 AND X 5 Решение задачи на Паскале : ( 8 . pas ) Uses crt ; Var m1,m2,f2,f3,h1,h3 : boolean ; x1,x2,x3,x4,x5,x : boolean ; Begin clrscr ; writeln ( 'a' : 10,'b' : 10,'c' : 10,'d' : 10,'e' : 10,'f' : 10 ); for m1 : =false to true do begin for m2 : =false to true do begin for f2 : =false to true do begin for f3 : =false to true do begin for h1 : =false to true do begin for h3 : =false to true do begin x1 : = m1 OR m2 ; x2 : = f2 OR f3 ; x3 : = h1 OR h3 ; x4 : = NOT ( m1 AND m2 ) AND NOT ( f2 AND f3 ) AND NOT ( h1 AND h3 ); x5 : = NOT ( m1 AND m2 ) AND NOT ( m1 AND h1 ) AND NOT ( f3 AND h3 ) AND NOT ( m2 AND f2 ); x : = X1 AND X2 AND X3 AND X4 AND X5 ; if x<>false then begin writeln ; write ( m1 : 10,m2 : 10,f2 : 10,f3 : 10,h1 : 10,h3 : 10 ); end ; end ; end ; end ; end ; end ; end ; readkey ; end . Ответ : 1) 0 1 0 1 1 0 1 ) мат ., физ ., хим . 2 ) 1 0 1 0 0 1 2 ) хим ., мат ., физ . №9 : В деле об убийстве имеются два подозреваемых А и В . Допросили четырех свидетелей . Их показания : 1-го А не виноват X1=A 2-го В не виноват X2=B 3-го Из двух показаний одно истинно X3=X1 OR X2 4-ый Показания 3-го свидетеля ложь . X4=NOT X3 Четвертый свидетель оказался прав . Кто виноват ? Ответ : оба н е виноваты, оба виноваты . №10 : На вопрос кто из A,B,C,D,E играет в шахматы получено 5 ответов . 1 . Если А игра ет, то и В играет . Х1= A IMP B 2 . D и E играют оба или один из них играет . X 2= D OR E 3 . Из В и С только один играет . X 3= B XOR C 4 . C и D или оба играют или оба не играют . X 4= C EQV D 5 . Если Е играет, то А и D тоже играю т . X 5= E IMP ( A AND D ) Кто из пятерых играет в шахматы ? X=X1 AND X2 AND X3 AND X4 AND X5 Ответ : 0 0 1 1 0 №11 : Находчивый ком ендант . Во время ремонта общежития комендант был вынужден пер еселять студентов . Дело это не прост ое . Посудите сами . На одну из новых комнат претендовало восемь человек, а поселить в ней можно было только четверых . Комендант стал расспрашивать студентов, кто с кем хочет жить . Вот, что он услышал : АНДРЕЙ согласен на любых соседей . БОРИС без КОСТИ не переселится . ( K IMP B ) КОСТЯ не хочет жить в одной комнат с ВАСИЛИЕМ . ( W IMP NOT K ) ВАСИЛИЙ согласен жить с кем угодно . ДИМА не будет переселяться без ЮРЫ . D AND Q ФЕДЯ не будет без ГРИШИ жить в одной комнате с ДИМОЙ, а без ДИМЫ не будет жить в одной комнате с КОС ТЕЙ . D IMP ( F AND G ) К IMP ( F AND D ) ГРИША не хочет, чтобы его соседями были и БОРИС и КОСТЯ вместе, кроме того, он не желает жить в одной комнате ни с АНДРЕЕМ, ни с ВАСИ ЛИЕМ . G IMP ( NOT ( B AND K )) GIMP ( NOT A ) GIMP ( NOT W ) ЮРА даст согласие переехать в новую комнату, если туда же переберутся либо БОРИС либо ФЕДЯ . Кроме того, ЮРА не будет жить в одной комнате с КОСТЕЙ, если туда не переедет ГРИША, и не желает жить в одной комнате ни с АНДРЕЕМ, ни с ВАСИЛ ИЕМ . ( Q AND B ) XOR ( Q AND F ) K IMP ( Q AND G ) ( Q AND NOT A ) AND ( Q AND NOT B ) “Задали мне задачу”, - подумал комендант . Но, в ко нце концов сумел учесть все пожелания . Каким образом ? Решение на Паскале : ( 11 . pas ) Uses crt ; Var a , b , k , w , d , q , f , g : boolean ; x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x : boolean ; Begin clrscr ; writeln ( 'a' : 10,'b' : 10,'k' : 10,'w' : 10,'d' : 10,'q' : 10,'f' : 10,'g' : 10 ); for a : =false to true do begin for b : =false to true do begin for k : =false to true do begin for w : =false to true do begin for d : =false to true do begin for q : =false to true do begin for f : =false to true do begin for g : =false to true do begin x2 : = ( NOT K OR B ) AND ( NOT W OR NOT K ); x4 : = D AND Q ; x5 : = NOT D OR ( F AND G ); x6 : = NOT K OR ( F AND D ); x7 : = NOT G OR ( NOT ( B AND K )); x8 : = NOT G OR ( NOT A ); x9 : = NOT G OR NOT W ; x10 : = ( Q AND B ) XOR ( Q AND F ); x11 : = NOT K OR ( Q AND G ); x12 : = ( Q AND NOT A ) AND ( Q AND NOT B ); x : = x2 AND x4 AND x5 AND x6 AND x7 AND x8 AND x9 AND x10 AND x11 AND x12 ; if x<>false then begin writeln ; write ( a : 10,b : 10,k : 10,w : 10,d : 10,q : 10,f : 10,g : 10 ); end ; end ; end ; end ; end ; end ; end ; end ; end ; readkey ; end . Ответ : Дима, Юра, Федя, Гриша Обратите внимание, что х11 и х12 ничего не добавляют для решения задачи . Задачи для самостоя тельного решения Задача №1 Перевести на язык алгебры логики следующее высказывание : “Если будет солнечная погода, то ребята пойд ут на пляж, а если будет пасмурная погода, то ребята пойдут в кино " Задача №2 Найдите отрицание высказывания : “Е сли урок будет интересным, то никто из учеников - Миша, Вика, света - не будет разго варивать” . Задача №3 Внимание Андрея, Дениса и Марата привлёк промчавшийся мимо них автомоби ль . Это английская машина марки “Феррари ", - сказал Андрей . Нет, машина итальянская, марки “Понтиак ", - возразил Денис . Это “Сааб ", и сделан он н е в Англии, - сказал Марат . Оказавшись рядом знаток автомобилей сказал, что кажды й из них прав только в одном из двух высказанных предположений . Какой же марки этот автомобиль и в какой стране изгото влен ? Задача №4 В клуб служебного собаководства на очередную тренировку пришли со свои ми собаками Антон, Борис, Пётр, Виктор и Олег . Желая подшутить над новым инструктором, на его вопрос “Кто же х озяин каждой из собак ? ” каждый юнош а дал один правильный и один неправильный ответ : Антон сказал : “Мо я собака - Рекс, а собака Петра - Лайма ". Борис сказал : “Ре кс - моя собака, а собака Виктора - Джек ". Петр сказал : ”Соб ака Виктора - Зевс, а моя - Рекс ". Виктор сказал : “М оя собака - Джек, а собака Олега - Бичо” . Олег сказал : “ Да, м оя собака - Бичо , а собака Бориса - Зевс” . Кто же на самом деле хозяин каждой из собак ? Задача №5 Трое друзей, болельщиков автогонок “Формула - 1”, спорили о результатах п редстоящего этапа гонок . Вот увидишь, Шумахер не придёт первым, - сказал Джон . - Первым будет Хилл . Да, нет же, победителем будет, как всегда, Шумахер, - воскликнул Ник . - А об Алези и говорить нечего , ему не быть первым . Питер, к которому обратился Ник , возмутилс : Хиллу не видать первого места, а вот Алези пилотирует с амую мощную машину . По возвращении этапа гонок оказалось, что каждое из дв ух предположений двоих друзей подтвердилось, а оба предположения треть его оказались неверными . Кто выигра л этап гонки ? Задача №6 Некий любитель приключений отправился в кругосветное путешествие на я хте, оснащённой бортовым компьютером . Его предупредили, что чаще всего выходят из строя три узла комп ьютера - a , b , c - и д али необходимые детали для замены . В ыяснить какой именно узел надо заменить, он может по сигнальным лампочка м на контрольной панели . Лампочек тоже ровно три : x , y , z . Инструкция по выявлению неисправных узлов такова : если неисправен х отя бы один из узлов компьютера , то г орит по крайне мере одна из лампочек x , y , z ; если неисправен узел a , но исправен узел с , то загорается лампочка у ; если неисправен узел с , но исправен узел b , загорается лампочка у , но не загорается лампочка x ; если неисправен узел b , но исправен узел с, то загораются лампочки х и у или не загор ается лампочка х ; если горит лампочка х и при этом либо неисправен узел а , либо все три узла - а, b , c - исправны, то горит и лампочка у . В пути компьютер сломался . На контрольной панели заг орелась лампочка х . Тщательно изучи в инструкцию, путешественник починил компьютер . Но с этого момента и до конца плавания его не оставляла трев ога . Он понял , что инструкция несовершенна и есть случаи , когда она ему не поможет . Какие узлы заменил путешественник ? Какие изъяны он обнаружил в инструкции ? Задача №7 Три свидетеля дали показания , что преступники скрылись с места преступления : А ) на чёрном “Бьюи ке” ; Б ) на синем “Форде ” ; В ) не на черном “Крайслере ". Каждый из них в чём - то о дном ошибался . На какой машине скрыл ись преступники ? Задача №8 Кто из школьников - Анд рей, Виктор, Света, Дима - играет в шахматы, а кто не играет , если известно следу ющее : А ) если Андрей или Виктор играет, то Света не играет ; Б ) если Виктор не и грает , играют Света и Дима ; В ) Света играет . Задача №9 “Похитители " Брауну, Джонсу и Смиту предъявлено обвинение в сооуч астии в ограблении банка . Похит ители скрылись на поджидавшем их автомобиле . На следствии Браун показал, что преступники скрылись на с инем “Бьюике ", Джонс показал, что это был черный “Крайслер”, а Смит у тверждал, что это был “Форд Мустанг " и ни в коем случае не синий . Стало и звестно, что, желая запутать следствие, каждый из них указал правильно ли бо только марку, либо только цвет машины . Какого цвета и какой марки быль автомобиль ? Задача №10 “Происшествие” Виновник ночного дорожного происшествия скрылся с места аварии . Первый опрошенный свидетель сказал работникам ГАИ, что это были “Жигули " и первая цифра н омера машины - единица . Второй свидетель сказал, что машина была марки “Моск вич” и номер начинался с семерки . Третий свидетель заявил, что машина была иностранна я, и номер начинался не с единицы . При дальнейшем расследовании выяснилось, что кажды й из свидетелей правильно указал либо марку машины, либо только первую ц ифру номера . Какой марки машина, и с какой цифры начинался номер ? Задача №11 “Кто виноват ?" По обвинению в ограблении перед судом предстали Ива нов, Петров , Сидоров . Следствием установлено следующее : Если Иванов не виновен или Петров невиновен, то Сидо ров виновен Если Иванов не виновен, то Сидоров не виновен . Виновен ли Иванов ? Задача №12 “Финансовый прогноз” Три подразделения А, В, С торговой фирмы стремились получить по итогам го да максимальную прибыль . Эконом исты высказали следующие предположения : Если А получит максимальную прибыль, то максимальну ю прибыль получат так же В и С . Либо А и С получат максимальную прибыль одновременн о, либо одновременно не получат . Для того, чтобы С получило максимальную прибыль, нео бходимо, чтобы и В получило максимальную прибыль . По завершению года оказалось, что только одно из тре х предположений ложно . Какие из названных подразделений получили максимальную прибыль . Задача №13 “О бмен валюты” В нарушении правил обмена валюты подозреваются четыре работника банка - Антипов ( А ), Борисов ( В ), Цв етков ( С ) и Дмитриев ( Д ). Известно, что : Если А нарушил, то и В нарушил правила обмена валюты Если В нару шил, то и С нарушил или А не нарушил правила обмена валюты Если Д не нарушил, то А нарушил , а С не нару шил Если Д нарушил, то и А нарушил . Кто из подозреваемых нарушил правила обмена валюты ? Задача №14 “Экзамен " Перед сдачей вступительных экзаменов в институт Ми ша предполагал, что : Если он сдаст математику, то информатику он сдаст то лько при условии, что не завалит диктант Не может быть, чтобы он завалил и диктант, и математику Достаточное условие завала по информатике - двойка по диктанту . После сдачи экзаменов оказалось, что из трех высказа нных предположений только одно было ложным . Как Миша сдал экзамены ? Задача №15 “Купание " В санатории на берегу моря отдыхают отец О, мать М, сын С и две дочери Д1, Д2 . До завтрака ч лены семьи часто купаются в море, причем известно, что если отец утром отправляется купаться, то с ним обяз ательно идут купаться мать и сын . Если сын идет купаться, то его сестра Д1 отправляется вместе с ним . Вторая дочь Д2 купается тогда и только тогда, когда ку пается мать Каждое утро купается, по крайней мере, один из родителей . Если в воскресенье утром купалась лишь одна из дочер ей, то кто из членов семьи в это утро ходил на море ? Задача №16 “5 друзей” Пятеро друзей решили записаться в кружок любителей логических задач : Андрей ( А ), Виктор ( В ), Николай ( Н ), Григорий ( Г ), Дм итрий ( Д ). Но староста кружка поставил условие : “Вы должны приходить к нам так, чтобы : Если А приходит вместе с Д, то Н должен присутствоват ь обязательно Если Д отсутствует, то Н должен быть, а В пусть не прих одит А и В не могут одновременно ни присутствовать, ни отс утствовать Если придет Д, то Г пусть не приходит Если Н отсутствует, то Д должен присутствовать, но эт о в том случае, если не присутствует В, Есле же и В присутствует при отсутс твии Н, то Д приходить не должен, а Г должен прийти " Сколько раз, и в каком составе друзья смогут прийти н а занятия кружка ? Задача №17 “Автоматизированный участок” На автоматизированном участке цеха стоят 5 станков, действия которых ско ординированы следующем образом : Если работают первый и третий станки, то четвертый н е работает при условии, что подключен пятый станок . Если же первый станок подключен без третьего или вык лючен пятый станок, то четвертый обязательно подключен . Если пятый станок работает вместе со вторым При вклю ченным первом станке, то включен третий станок . Если выключен второй или пятый станок, то одновремен но выключен и четвертый . Мы наблюдаем работу первого и четвертого станков . Что можно сказать о состоянии о стальных станков, скрытых за перегородкой ? Можно ли в данной системе остановить для ремонта одн овременно третий и четвертый станки, оставив хотя бы один из остальных с танков включенным ? Задача №18 “Комиссар Мегре” “Вернувшись домой, Мегрэ позвонил на набережную Орф ерт . Говорит Мегрэ . Есть новости ? Да шеф . Поступили сообщения от инспекторов . Торранс установил, что если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжет . Жуссье считает, что или Этьен убийца, или Франсуа не б ыл пьян и убийство произошло после полуночи . Инспектор Люка просил передать вам, что если убийств о произошло после полуночи, то либо Этьен убийца, либо Франсуа лжет . Затем звонила … Все, спасибо . Этого достаточно . Комиссар положил трубку . Он знал, что трезвый Франсуа никогда не лжет . Теперь он знал все . Что узнал комиссар ? Задача №19 “Уроки логики” На вопрос , кто из трех учащихся изучал логику, был полу чен следующий ответ : Если изучал первый, то изучал и второй Но не верно, что если изучал третий, то изучал и второй . Кто из учащихся изучал логику ? З аключение Среди задач, для которых привлекается ЭВМ, немало та ких, которые принято называть логическими . Кто не знает шуточной задачи о перевозке волка, козы и капуст ы с одного берега на другой . В эт ой задачи властвует не арифметика, а умение рассуждать . В логических задачах исходными данными являются не только числа, а неожиданные и подчас весьма запутанные сужд ения . Эти суждения и связи между ними бывают иногда столь противоречивыми, что они под силу не каждому ма тематику, а только ЭВМ . Такая обл асть математической логики, как алгебра высказываний, хорошо освоена в и нформатике . В настоящее время н ет ни одного языка программирования, который не включал бы в себя основн ые операции алгебры высказываний . И спользуемая литература 1. Вострикова З .П. и др . " Программирование на языке " БЕЙСИК " для персональных ЭВМ ". Машиностроение, 1993г . 2. Гохман А .В. и др . " Сборник задач по математической логике и алг ебры множеств ", издательство Саратов ского Университета, 1969г . 3. Гусев В .В. Основы импульсной техники . М. Советск ое радио, 1975 4. Касаткин В .Н. " Информация, алгоритмы, ЭВМ ", М . Просвещение, 1991г . 5. Машовцев В .А. Вступительные экзамены по инфор матике // Информатика . 19 97, №13 6. Орлов В .А. О вступительных экзаменах по информатике // Информатика, 1997, №15 7. Яснева Г .Г. Логические основы ЭВМ // Информатика и образование, 1998, №2 8. Лыскова В .Ю., Ракитина Е .А. Логи ка в информатике, М . Информатика и образование 1999 9. Шауцкова Л .З. “Решение логических задач средствами алгебры логик и”, газета Информатика 1999, №5 .
1Архитектура и строительство
2Астрономия, авиация, космонавтика
 
3Безопасность жизнедеятельности
4Биология
 
5Военная кафедра, гражданская оборона
 
6География, экономическая география
7Геология и геодезия
8Государственное регулирование и налоги
 
9Естествознание
 
10Журналистика
 
11Законодательство и право
12Адвокатура
13Административное право
14Арбитражное процессуальное право
15Банковское право
16Государство и право
17Гражданское право и процесс
18Жилищное право
19Законодательство зарубежных стран
20Земельное право
21Конституционное право
22Конституционное право зарубежных стран
23Международное право
24Муниципальное право
25Налоговое право
26Римское право
27Семейное право
28Таможенное право
29Трудовое право
30Уголовное право и процесс
31Финансовое право
32Хозяйственное право
33Экологическое право
34Юриспруденция
 
35Иностранные языки
36Информатика, информационные технологии
37Базы данных
38Компьютерные сети
39Программирование
40Искусство и культура
41Краеведение
42Культурология
43Музыка
44История
45Биографии
46Историческая личность
47Литература
 
48Маркетинг и реклама
49Математика
50Медицина и здоровье
51Менеджмент
52Антикризисное управление
53Делопроизводство и документооборот
54Логистика
 
55Педагогика
56Политология
57Правоохранительные органы
58Криминалистика и криминология
59Прочее
60Психология
61Юридическая психология
 
62Радиоэлектроника
63Религия
 
64Сельское хозяйство и землепользование
65Социология
66Страхование
 
67Технологии
68Материаловедение
69Машиностроение
70Металлургия
71Транспорт
72Туризм
 
73Физика
74Физкультура и спорт
75Философия
 
76Химия
 
77Экология, охрана природы
78Экономика и финансы
79Анализ хозяйственной деятельности
80Банковское дело и кредитование
81Биржевое дело
82Бухгалтерский учет и аудит
83История экономических учений
84Международные отношения
85Предпринимательство, бизнес, микроэкономика
86Финансы
87Ценные бумаги и фондовый рынок
88Экономика предприятия
89Экономико-математическое моделирование
90Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Народ России разделился на две части: одна считает что у власти сволочи, а другая соглашается, но не видит альтернативы.
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по информатике и информационным технологиям "Алгебра высказываний на уроках информатики", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2016
Рейтинг@Mail.ru