Қарапайым логикалық операциялар


Slide 1

ДК Логикалық негізі

Математикалық логиканың түсініктемесі

Қарапайым логикалық операциялар

Алгебралық логиканың негізгі заңдары

Slide 2

Логика - (гр. λογική - «талдауға құрылған», λόγος - «сөз», «сөйлем», «ойлау», «ақыл») - ойлау, оның формалары мен заңдылықтары туралы ғылым. Логика дәлелдеу мен теріске шығарудың белгілі бір әдіс-тәсілдері қаралатын ғылым теориялар жиынтығын құрайды.

Slide 3

Алгебралық логика

зерттеулер дәлелдер мен құндылықтар екі элементтерін (мысалы, {0, 1}) берілген жиынтығы тиесілі функцияларын қасиеттері.

Кейде, оның орнына «термині алгебра логикасы» атты «екілік логикалық» термині «бинарлық логика» қолданылады.

Slide 4

Тарих

Аристотель (IV век до н. э) -

формальды логиканың пайда болуы

Лейбниц (XVII век) -

математикалық (символикалық) логиканың пайда болуы.

Лейбниц Готфрид Вильгельм

Аристотель

Slide 5

Дж. Буль (1815-1864)

Алгебралық логикасының атасы XIX ғасырдағы Джордж Буль болып саналады. Ол алгебрадағы формальды логикасының секцияларын бірін салған.

К. Шеннон (1916-2001)

Ұзақ уақыт бойы алгебралық логика мамандар үшін тар белгілі болды. Дж. Ьульдің алгебралық логиканы шығарғанан 100 жыл өтті. Бірақ та 1938 жылы амрекандық математигі әрі инженері Клод Шеннон бинарлық логика әртурлі процесстерде қолдана алатындығын көрсетті, сонымен қоса электронды-құбырлар тізбектер

Шеннон Клод Элвуд

Джордж Буль

Slide 6

Анықтама

Логика - ойлау нысандары мен тәсілдерін туралы ғылым

Slide 7

Ұғым - Нысанның негізгі, маңызды ерекшеліктерін бекіту ойлау формасы.

Есеп бекіту -ойлау формасы. Біз нысандар арасында өзара қарым-қатынас орнату қасиеттері тұжырымдамалармен. Ол барабар осы қарым-қатынасты көрсетеді, егер есеп рас әйтпесе жалған

Қорытынды - бір немесе бірнеше пайымдаулар (сәлемдемелер) жаңа ұсыныстар (қорытынды) арқылы алуға болады, ойлау формасы

Slide 8

Есеп бекіту

Есеп бекіту - нәрсе нақты объектілерін, олардың қасиеттері және олардың арасындағы қарым-қатынас туралы бекітілген немесе жоққа, ойлау формасы;

Есеп бекіту ақикат немесе жалған болуы мүмкін;

Есеп бекіту табиғи және ресми тілдерді арқылы білдіруге болады;

Есеп бекіту тек декларативтік сөйлем білдірді болады;

Есеп бекіту қарапайым немесе құрама болуы мүмкін;

Қарапайым ақиқат есеп бекітуі ой негізінде анықталады;

Құрама ақиқат есеп бекітуі алгебра пайдалана отырып айқындалады.

Slide 9

Ақиқат туралы

Мысалы. «Сан 1 +2 32= 4294967297 - қарапайым», Ферма (1601-1665), көп уақыт бойы ақиқат болып саналған, бірақ1732 жылы Эйлер (1707-1783) бұл сан жалған екенін дәлелдеді.

Slide 10

(Аристотель) .

Логикалық есеп - бұл айтуға болады, оған қатысты кез келген декларативтік сөйлем болып табылады, ол шын немесе жалған

Slide 11

Логикалық байланыс

Логикалық операцияның аты

Белгіленуі

Жоқ

Терістеу

‾ ¬

Және

Конъюнкция

& ^ *

Немесе

Дизъюнкция = логическое сложение

V +

Егер…онда

Импликация = следование

 

Сонда тек қана сонда

Эквивалентность

≡ ~ 

Slide 12

Алгебралық логика құрылымы (пішіні, құрылымы) күрделі логикалық мәлімдемелер және қалай алгебралық әдістерді қолдана отырып олардың шындықты құру.

Slide 13

Қарапайым логикалық оперциялар

Терістеу

Конъюнкция

Дизъюнкция

Импликация

Эквивалентілік

Штрих Шеффера

Пирс сызығы

Переход к разделу «Законы логики»

Slide 14

A

Ā

0

1

1

0

А - лампа жанады Ā -Терістеу?

11 санап оқушылары жақсы оқуда

Slide 15

Конъюнкция “және”

F = A · B=A Λ B=A & B (логикалық көбейту)

F

A

B

A

B

F

0

1

2

3

0

0

1

1

0

1

0

1

0

0

0

1

А - Ертен аяз болады

В - Ертен қар жауады

F ?

Slide 16

Дизъюнкция “немесе”

F = A + B = A v B

A

B

F

0

1

2

3

0

0

1

1

0

1

0

1

0

1

1

1

F

A

B

А -Дұрыс

В - Дұрыс

F ?

Slide 17

Импликация “егер…онда”

F = A → B = Ā v В

A

B

F

0

1

2

3

0

0

1

1

0

1

0

1

1

1

0

1

Slide 18

Эквивалентілік “сонда тек қана сонда” математикада- «қажетті және жеткілікті»

F = A ↔ Е = (Ā + Е) * (А + Ē)

Егер А және В сәкес келсе, онда ол жалған болады.

A

Е

F

0

1

2

3

0

0

1

1

0

1

0

1

1

0

0

1

Slide 19

A

B

F

0

1

2

3

0

0

1

1

0

1

0

1

1

1

1

0

Slide 20

A

B

F

0

1

2

3

0

0

1

1

0

1

0

1

1

0

0

0

Меню выбора операций

Slide 21

Логикалық заңдар

x ≡ x

x · x = 0

x + x = 1

x = x Екілік терістеу

x · x = x идемпотентілік заңы x + x = x

x · y = y · x коммутативтік заңы

x + y = y + x

x · y · z = x · ( y · z ) ассоциативтік заңы

x + y + z = x + ( y + z )

x · ( y +z ) = x · y + x · z дистрибутивтік заңы

x + ( y · z) = ( x + y ) ( x + z )

x · y = x + y Де Морган заңы

x + y = x · y

=

Slide 22 Slide 23

Ақақат кестесі

x

y

x

y

xy

xy

F

0

0

1

1

0

0

0

0

1

1

0

0

1

1

1

0

0

1

1

0

1

1

1

0

0

0

0

0

x

y

F

0

0

0

0

1

1

1

0

1

1

1

0

1-ші жол

2-ші жол

Slide 24

Тест сұрақтары

1) Алгебралық логикасының атасы кім? A) Дж. Буль B) Шенон C) Аристотель D) Пифагор E) Лейбниц

Slide 25

2) x · y = y · x x + y = y + x каңдай заң?

A) Жұту

B) Де Морган

C) ассоциативтік

D) Коммутативтік

E) Дұрыс жауабы жоқ

Slide 26

3) F=AB=A·B=A+B ?

A) Шеффер сызығы

B) Коньюкция

C) Дизьюнкция

D) Эквиваленттік

E) Дұрыс жауабы жоқ

Slide 27

4) Формальды логика дегеніміз не?


Ұқсас жұмыстар
МИКРОПРОЦЕССОР ТУРАЛЫ ТҮСІНІК
Жад Процессордың жад регистрінде
Калькулятор бағдарламасының ұғымы
Логикалық операциялар
TP және Си подпрограммаларды пайдалануды салыстыру. Ішкі программаларды пайдаланатын программалар құру
Булев алгебрасы
Логикалық амалдар
Сайып келгенде, Intel 8080 процессор
КОМПЬЮТЕР ҚҰРЫЛҒЫЛАРЫНЫҢ ЖҰМЫСЫНЫҢ БЛОК - СХЕМАЛАРЫН ҚҰРУ
С тілі
Пәндер



Реферат Курстық жұмыс Диплом Материал Диссертация Практика Презентация Сабақ жоспары Мақал-мәтелдер 1‑10 бет 11‑20 бет 21‑30 бет 31‑60 бет 61+ бет Негізгі Бет саны Қосымша Іздеу Ештеңе табылмады :( Соңғы қаралған жұмыстар Қаралған жұмыстар табылмады Тапсырыс Антиплагиат Қаралған жұмыстар kz