Алгебралық логиканың негізгі заңдары слайд,презентация

Алгебралық логиканың негізгі заңдары слайд,презентация

Логика –  (гр. λογική — «талдауға құрылған», λόγος — «сөз», «сөйлем», «ойлау», «ақыл») — ойлау, оның формалары мен заңдылықтары туралы ғылым. Логика дәлелдеу мен теріске шығарудың белгілі бір әдіс-тәсілдері қаралатын ғылым теориялар жиынтығын құрайды.
Алгебралық логика
 зерттеулер дәлелдер мен құндылықтар екі элементтерін (мысалы, {0, 1}) берілген жиынтығы тиесілі функцияларын қасиеттері.
Кейде, оның орнына «термині алгебра логикасы» атты «екілік логикалық» термині «бинарлық логика» қолданылады.
Дж. Буль (1815-1864)
Алгебралық логикасының атасы XIX ғасырдағы Джордж Буль болып саналады.Ол алгебрадағы формальды логикасының секцияларын бірін салған.
К. Шеннон (1916-2001)
Ұзақ уақыт бойы алгебралық логика мамандар үшін тар белгілі болды.Дж.Ьульдің алгебралық логиканы шығарғанан 100 жыл өтті.Бірақ та 1938 жылы амрекандық математигі әрі инженері Клод Шеннон бинарлық логика әртурлі процесстерде қолдана алатындығын көрсетті ,сонымен қоса электронды-құбырлар тізбектер 
Ұғым – Нысанның негізгі, маңызды ерекшеліктерін бекіту ойлау формасы.Есеп бекіту –ойлау формасы. Біз нысандар арасында өзара қарым-қатынас орнату қасиеттері тұжырымдамалармен. Ол барабар осы қарым-қатынасты көрсетеді, егер есеп рас әйтпесе жалған
Қорытынды – бір немесе бірнеше пайымдаулар (сәлемдемелер) жаңа ұсыныстар (қорытынды) арқылы алуға болады, ойлау формасы