Lisans. Cebirsel Yapı

Benzer belgeler
Lisans. Ayrık Matematik Tanıtlama. Kaba Kuvvet Yöntemi. Konular. Temel Kurallar

Lisans. Ayrık Matematik Yüklemler ve Kümeler. Konular. Tanım. Tanım çalışma evreni: U izin verilen seçenekler kümesi örnekler:

Lisans. Meslek Ahlakı

License. Veri Tabanı Sistemleri. Konular. Hareket Özellikleri. Tanım hareket: bir işin mantıksal bir birimi

Lisans. Ayrık Matematik. Konular. Önerme Örnekleri. Tanım önerme: doğru ya da yanlış olan bir bildirim cümlesi. Tanım

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

Lisans. Ayrık Matematik Çizgeler. Konular. Tanım çizge: G = (V, E) Tanım. c T. Uyar, A. Yayımlı, E. Harmancı

Kafes Yapıları. Hatırlatma

License. Veri Tabanı Sistemleri. Konular büyük miktarda verinin etkin biçimde tutulması ve işlenmesi. Problem Kayıt Dosyaları

İÇİNDEKİLER. Mantık Kurallarının Elektrik Devrelerine Uygulanması... 14

En Güzel Hediyesi Noel

Lisans. Deskriptif Önermeler

Dağların Kahramanı.

10.Konu Tam sayıların inşası

Leyla Bugay Doktora Nisan, 2011

KPSS MATEMATÝK. SOYUT CEBÝR ( Genel Tekrar Testi-1) N tam sayılar kümesinde i N için, A = 1 i,i 1

Bu bölümde cebirsel yapıların temelini oluşturan Grup ve özelliklerini inceleyeceğiz.

1.GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G. vardır. 3) a G için denir) vardır.

Boole Cebri. (Boolean Algebra)

SOYUT CEBİR Tanım 1: Uzunluğu 2 olan dairesel permütasyona transpozisyon denir.

Fatih University- Faculty of Engineering- Electric and Electronic Dept.

olsun. Bu halde g g1 g1 g e ve g g2 g2 g e eşitlikleri olur. b G için a b b a değişme özelliği sağlanıyorsa

MODÜLER ARİTMETİK A)1 B)3 C)8 D)11 E)13. TANIM Z tam sayılar kümesinde tanımlı

License. Alan Adları

1. GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G (e ye birim eleman denir) vardır.

Cebir Notları. Gökhan DEMĐR, ÖRNEK : A ve A x A nın bir alt kümesinden A ya her fonksiyona

Leyla Bugay Haziran, 2012

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

SORU 1: X bir sonsuz küme ve A da X kümesinin tüm sonlu alt kümelerinin. A := {B P (X) : B sonlu} SORU 2: X sayılamayan bir küme

ÇUKUROVA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ

BÖLÜM I MATEMATİK NEDİR? Matematik Nedir? 14

BÖLÜM 2 Biçimsel Dillerin Matematiksel Temelleri

T. C. Manisa Celal Bayar Üniversitesi Kırkağaç Meslek Yüksekokulu Öğretim Yılı Güz Yarıyılı MATEMATİK Dersi Final Sınavı Çalışma Soruları

Bu kısımda işlem adı verilen özel bir fonksiyon çeşidini ve işlemlerin önemli özelliklerini inceleyeceğiz.

Tanım 2.1. X boş olmayan bir küme olmak üzere X den X üzerine bire-bir fonksiyona permütasyon denir.

KARAKTER DİZGİLERİ, BAĞINTILAR, FONKSİYONLAR KESİKLİ MATEMATİKSEL YAPILAR

1 BAĞINTILAR VE FONKSİYONLAR

ÜNİTE 11 ÜNİTE 9 MATEMATİK. Kümeler. 1. Bölüm: Kümelerde Temel Kavramlar 2. Bölüm: Kümelerde İşlemler. 9. Sınıf Matematik

SAYILAR DOĞAL VE TAM SAYILAR

Temel Kavramlar. (r) Sıfırdan farklı kompleks sayılar kümesi: C. (i) Rasyonel sayılar kümesi: Q = { a b

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

Soyut Cebir (MATH331) Ders Detayları

L-BULANIK ESNEK GRUPLAR

BOOLEAN İŞLEMLERİ Boolean matematiği sayısal sistemlerin analizinde ve anlaşılmasında kullanılan temel sistemdir.

BİL 201 Boole Cebiri ve Temel Geçitler (Boolean Algebra & Logic Gates) Bilgisayar Mühendisligi Bölümü Hacettepe Üniversitesi

MAT 302 SOYUT CEBİR II SORULAR. (b) = ise =

13.Konu Reel sayılar

1. BÖLÜM Mantık BÖLÜM Sayılar BÖLÜM Rasyonel Sayılar BÖLÜM I. Dereceden Denklemler ve Eşitsizlikler

0.1 Küme Cebri. Teorem 1 A ve B iki küme olmak üzere i) (A B) c = A c B c ii) (A B) c = A c B c

İNJEKTİF MODÜLLERE. Ali Pancar Burcu Nişancı Türkmen

1.4. KISMİ SIRALAMA VE DENKLİK BAĞINTILARI

Ders 2: Küme Teorisi, Örnek Uzay, Permütasyonlar ve Kombinasyonlar

T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A

SORU 1: En az iki elemana sahip bir X kümesi ile bunun P (X) kuvvet. kümesi veriliyor. P (X) üzerinde 0 ; A = 1 ; A

DERS 2 : BULANIK KÜMELER

Tanım Bir X kümesi üzerinde bir karakter dizgisi (string) X kümesindeki. boş karakter dizgisi (null string) denir ve l ile gösterilir.

2. SİMETRİK GRUPLAR. Tanım 2.1. X boş olmayan bir küme olmak üzere X den X e birebir örten fonksiyona permütasyon denir.

6 Devirli Kodlar. 6.1 Temel Tan mlar

CEBİR ÇÖZÜMLÜ SORU BANKASI

ÜNİTE 1: TEMEL KAVRAMLAR

BMT 206 Ayrık Matematik. Yük. Müh. Köksal GÜNDOĞDU 1

T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A

VEKTÖR UZAYLARI 1.GİRİŞ

BMT 206 Ayrık Matematik. Yük. Müh. Köksal GÜNDOĞDU 1

Boole Cebri. Muhammet Baykara

Bulanık Küme Kavramı BULANIK KÜME. Sonlu ve Sonsuz Bulanık Kümeler. Sonlu ve Sonsuz Bulanık Kümeler

YGS MATEMATİK - CEBİR 01 TEMEL SAYI KAVRAMLARI VE UYGULAMALARI 02 TAMSAYILARDA BÖLME 03 BÖLÜNEBİLME KURALLARI 04 ASAL SAYILAR 05 OBEB VE OKEK 06

6. Ders. Mahir Bilen Can. Mayıs 16, 2016

Grup Homomorfizmaları ve

AÇIK ERİŞİM, ORTAK TASARIM, GİRİŞİMCİLİK. Prof. Dr. Şirin Tekinay Mühendislik ve Doğa Bilimleri Fakültesi Dekanı

ab H bulunur. Şu halde önceki önermenin i) koşulu da sağlanır ve H G bulunur.

Sayılar Kuramına Giriş Özet

İÇİNDEKİLER ÖNSÖZ Bölüm 1 KÜMELER Bölüm 2 SAYILAR

BSM 101 Bilgisayar Mühendisliğine Giriş

DERS NOTLARI. Yard. Doç. Dr. Namık AKÇAY İstanbul Üniversitesi Fen Fakültesi

Ç.Ü Fen ve Mühendislik Bilimleri Dergisi Yıl:2012 Cilt:28-2

11. Ders. Mahir Bilen Can. Mayıs 23, 2016

Normal Alt Gruplar ve Bölüm Grupları...37

(a,b) şeklindeki ifadelere sıralı ikili denir. Burada a'ya 1. bileşen b'ye 2. bileşen denir.

Boolean Kuralları ve Lojik İfadelerin Sadeleştirilmesi (Boolean Algebra and Logic Simplification)

DEĞİŞMELİ BANACH CEBİRLERİNİN GELFAND SPEKTRUMLARI ÜZERİNE

SAYILAR TEORİSİ. KİTAPTA BULUNAN, TEOREM İSPATLARI, KONU ANLATIMI ve ÇÖZÜMLERİN OLDUĞU KISIMLAR, BU DÖKÜMANA KONULMAMIŞTIR.

{ x,y x y + 19 = 0, x, y R} = 3 tir. = sonlu kümesinin 32 tane alt kümesinde

1 Vektör Uzayları 2. Lineer Cebir. David Pierce. Matematik Bölümü, MSGSÜ mat.msgsu.edu.tr/~dpierce/

SOYUT CEBİR ÇALIŞMA SORULARI HALKALAR I. Soru 1 Standart toplama ve : a b = 0 olarak tanımlanan işlemler altında (Z, +, ) nin

GENELLEŞTİRİLMİŞ FUZZY KOMŞULUK SİSTEMİ ÜZERİNE

sayıların kümesi N 1 = { 2i-1: i N } ve tüm çift doğal sayıların kümesi N 2 = { 2i: i N } şeklinde gösterilebilecektir. Hiç elemanı olmayan kümeye

Tanım Bir A kümesinin her elemanı, bir B kümesinin de elamanı ise, A kümesine B kümesinin alt kümesi denir.

Soru Konu Doğru Yanlış Boş

12.Konu Rasyonel sayılar

1.4 Tam Metrik Uzay ve Tamlaması

MODÜLER ARİTMETİK. Örnek:

Örnek...3 : Aşağıdaki ifadelerden hangileri bir dizinin genel terim i olabilir?

ÖABT Sayılar Teorisi KONU TESTİ Tam Sayılarda Bölünebilme

SORU 1: Herbir A R kümesi için A G ve λ (A) = λ (G) olacak şekilde. ÇÖZÜM 1: B sayılabilir bir küme olsun. Bu durumda λ (B) = 0 gerçeklenir.

İndirgenme Boyutu Üç Olan Fibonacci Simetrik Sayısal Yarıgruplarının Bir Sınıfı

DERS NOTLARI. Yard. Doç. Dr. Namık AKÇAY İstanbul Üniversitesi Fen Fakültesi

3. Boole Cebri. Boolean Aritmetiği = = = = 1

LOJİK DEVRELER DERS NOTLARI

L İ S E S İ MATEMATİK. Kümeler. Üzerine Kısa Çalışmalar

Transkript:

Lisans Ayrık Matematik Cebirsel Yapılar H. Turgut Uyar Ayşegül Gençata Yayımlı Emre Harmancı 2001-2012 You are free: to Share to copy, distribute and transmit the work to Remix to adapt the work c 2001-2012 T. Uyar, A. Yayımlı, E. Harmancı Under the following conditions: Attribution You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work). Noncommercial You may not use this work for commercial purposes. Share Alike If you alter, transform, or build upon this work, you may distribute the resulting work only under the same or similar license to this one. Legal code (the full license): http://creativecommons.org/licenses/by-nc-sa/3.0/ 1 / 70 2 / 70 Konular Cebirsel Yapı Cebirsel Yapılar Giriş Gruplar Halkalar Kafesler Kısmi Sıralı Kümeler Kafesler Boole Cebirleri cebirsel yapı: <küme, işlemler, sabitler> taşıyıcı küme işlemler: ikili, tekli sabitler: etkisiz, yutucu 3 / 70 4 / 70 İşlem Kapalı İşlem leri her işlem bir fonksiyon ikili işlem: : S S T tekli işlem: : S T çıkarma işlemi Z kümesinde kapalı çıkarma işlemi Z + kümesinde kapalı değil kapalı: T S 5 / 70 6 / 70

İkili İşlem Özellikleri İkili İşlem Örneği değişme: a, b S a b = b a birleşme: a, b, c S (a b) c = a (b c) : Z Z Z a b = a + b 3ab değişme: a b = a + b 3ab = b + a 3ba = b a birleşme: (a b) c = (a + b 3ab) + c 3(a + b 3ab)c = a + b 3ab + c 3ac 3bc + 9abc = a + b + c 3ab 3ac 3bc + 9abc = a + (b + c 3bc) 3a(b + c 3bc) = a (b c) 7 / 70 8 / 70 Sabitler Sabit leri etkisiz eleman: x 1 = 1 x = x soldan etkisiz: 1 l x = x sağdan etkisiz: x 1 r = x yutucu eleman: x 0 = 0 x = 0 soldan yutucu: 0 l x = 0 sağdan yutucu: x 0 r = 0 < N, max > için etkisiz eleman 0 < N, min > için yutucu eleman 0 < Z +, min > için yutucu eleman 1 a b c a a b b b a b c c a b a b soldan etkisiz a ve b sağdan yutucu 9 / 70 10 / 70 Sabitler Evrik 1 l 1 r 1 l = 1 r 1 l 1 r = 1 l = 1 r 0 l 0 r 0 l = 0 r 0 l 0 r = 0 l = 0 r x y = 1 ise: x elemanı y elemanının sol evriği y elemanı x elemanının sağ evriği x y = y x = 1 ise x ile y evrik 11 / 70 12 / 70

Evrik Cebir Ailesi işlemi birleşme özelliği taşıyorsa: w x = x y = 1 w = y w = w 1 = w (x y) = (w x) y = 1 y = y cebir ailesi: cebirsel yapı, aksiyomlar değişme, birleşme evrik elemanlar 13 / 70 14 / 70 Cebir Ailesi leri Altcebir aksiyomlar: x y = y x (x y) z = x (y z) x 1 = x bu aksiyomları sağlayan yapılar: < Z, +, 0 > < Z,, 1 > < P(S),, > altcebir: A =< S,,, k > A =< S,,, k > olsun A cebrinin A cebrinin bir altcebri olması için: S S a, b S a b = a b S a S a = a S k = k 15 / 70 16 / 70 Altcebir leri Yarıgruplar < Z +, +, 0 > cebri, < Z, +, 0 > cebrinin bir altcebridir. < N,, 0 > cebri, < Z,, 0 > cebrinin bir altcebri değildir. yarıgrup: < S, > a, b, c S (a b) c = a (b c) 17 / 70 18 / 70

Yarıgrup leri Monoidler < Σ +, & > Σ: alfabe, Σ + : en az 1 uzunluklu katarlar &: katar bitiştirme işlemi monoid: < S,, 1 > a, b, c S (a b) c = a (b c) a S a 1 = 1 a = a 19 / 70 20 / 70 Monoid leri Grup < Σ, &, ɛ > Σ: alfabe, Σ : herhangi uzunluklu katarlar &: katar bitiştirme işlemi ɛ: boş katar grup: < S,, 1 > a, b, c S (a b) c = a (b c) a S a 1 = 1 a = a a S a 1 S a a 1 = a 1 a = 1 Abel grubu: a, b S a b = b a 21 / 70 22 / 70 Grup leri Grup Örneği: Permutasyon Bileşkesi < Z, +, 0 > bir gruptur. < Q,, 1 > bir grup değildir. < Q {0},, 1 > bir gruptur. permutasyon: küme içi bijektif bir fonksiyon gösterilim: ( ) a1 a 2... a n p(a 1 ) p(a 2 )... p(a n ) 23 / 70 24 / 70

Permutasyon leri Grup Örneği: Permutasyon Bileşkesi A = {1, 2, 3} ( ) 1 2 3 p 1 = 1 2 3 ( ) 1 2 3 p 3 = 2 1 3 ( ) 1 2 3 p 5 = 3 1 2 ( ) 1 2 3 p 2 = 1 3 2 ( ) 1 2 3 p 4 = 2 3 1 ( ) 1 2 3 p 6 = 3 2 1 permutasyon bileşkesi birleşme özelliği gösterir birim permutasyon: 1 A ( a1 a 2... a n a 1 a 2... a n bir küme üzerindeki permutasyonların kümesi, permutasyon bileşkesi işlemi ve birim permutasyon bir grup oluşturur ) 25 / 70 26 / 70 Grup Örneği: Permutasyon Bileşkesi Grup Örneği: Permutasyon Bileşkesi ({1, 2, 3, 4} kümesindeki permutasyonlar) A 1 A p 1 p 2 p 3 p 4 p 5 p 6 p 7 p 8 p 9 p 10 p 11 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 4 4 1 1 3 3 4 4 3 3 4 2 4 2 3 3 4 1 4 1 3 4 4 3 4 2 3 2 4 3 4 1 3 1 p 12 p 13 p 14 p 15 p 16 p 17 p 18 p 19 p 20 p 21 p 22 p 23 1 3 3 3 3 3 3 4 4 4 4 4 4 2 1 1 2 2 4 4 1 1 2 2 3 3 3 2 4 1 4 1 2 2 3 1 3 1 2 4 4 2 4 1 2 1 3 2 3 1 2 1 p 8 p 12 = p 12 p 8 = 1 A : p 12 = p8 1, p 8 = p12 1 p 14 p 14 = 1 A : p 14 = p14 1 G 1 =< {1 A, p 1,..., p 23 },, 1 A > bir gruptur 27 / 70 28 / 70 Grup Örneği: Permutasyon Bileşkesi Sağdan ve Soldan Kaldırma 1 A p 2 p 6 p 8 p 12 p 14 1 A 1 A p 2 p 6 p 8 p 12 p 14 p 2 p 2 1 A p 8 p 6 p 14 p 12 p 6 p 6 p 12 1 A p 14 p 2 p 8 p 8 p 8 p 14 p 2 p 12 1 A p 6 p 12 p 12 p 6 p 14 1 A p 8 p 2 p 14 p 14 p 8 p 12 p 2 p 6 1 A < {1 A, p 2, p 6, p 8, p 12, p 14 },, 1 A > G 1 in bir altgrubudur a c = b c a = b c a = c b a = b a c = b c (a c) c 1 = (b c) c 1 a (c c 1 ) = b (c c 1 ) a 1 = b 1 a = b 29 / 70 30 / 70

Grupların Temel i Halka a x = b denkleminin tek çözümü: x = a 1 b. a c = b a 1 (a c) = a 1 b 1 c = a 1 b c = a 1 b halka: < S, +,, 0 > a, b, c S (a + b) + c = a + (b + c) a S a + 0 = 0 + a = a a S ( a) S a + ( a) = ( a) + a = 0 a, b S a + b = b + a a, b, c S (a b) c = a (b c) a, b, c S a (b + c) = a b + a c (b + c) a = b a + c a 31 / 70 32 / 70 Alan Kaynaklar alan: < S, +,, 0, 1 > bütün halka özellikleri a, b S a b = b a a S a 1 = 1 a = a a S a 1 S a a 1 = a 1 a = 1 Grimaldi Chapter 5: Relations and Functions 5.4. Special Functions Chapter 16: Groups, Coding Theory, and Polya s Method of Enumeration 16.1. Definitions, Examples, and Elementary Properties Chapter 14: Rings and Modular Arithmetic 14.1. The Ring Structure: Definition and Examples 33 / 70 34 / 70 Kısmi Sıralı Küme Kısmi Sıra leri kısmi sıra bağıntısı: yansımalı ters bakışlı geçişli kısmi sıralı küme (poset): elemanları üzerinde kısmi sıra bağıntısı tanımlanmış küme (kümeler kümesi, ) A A A B B A A = B A B B C A C 35 / 70 36 / 70

Kısmi Sıra leri Kısmi Sıra leri (Z, ) x x x y y x x = y x y y z x z (Z +, ) x x x y y x x = y x y y z x z 37 / 70 38 / 70 Karşılaştırılabilirlik Karşılaştırılabilirlik leri a b: a b nin önündedir a b b a: a ile b karşılaştırılabilir çizgisel sıra: her eleman çifti karşılaştırılabiliyor Z +, : 3 ile 5 karşılaştırılamaz Z, : çizgisel sıra 39 / 70 40 / 70 Hasse Çizenekleri Hasse Çizeneği leri a b: a b nin hemen önündedir x a x b Hasse çizeneği: a b ise a ile b arasına çizgi önde olan eleman aşağıya {1, 2, 3, 4, 6, 8, 9, 12, 18, 24} bağıntısı 41 / 70 42 / 70

Tutarlı Sayılama Tutarlı Sayılama leri tutarlı sayılama: f : S N a b f (a) f (b) birden fazla tutarlı sayılama olabilir {a 5, b 3, c 4, d 1, e 2} {a 5, b 4, c 3, d 2, e 1} 43 / 70 44 / 70 En Büyük - En Küçük Eleman En Büyük - En Küçük Eleman leri en büyük eleman: max x S max x x = max en küçük eleman: min x S x min x = min max : 18, 24 min : 1 45 / 70 46 / 70 Sınırlar Sınır Örneği (36 nın bölenleri) A S A nın üstsınırı M: x A x M M(A): A nın üstsınırları kümesi A nın en küçük üstsınırı sup(a): M M(A) sup(a) M A S A nın altsınırı m: x A m x m(a): A nın altsınırları kümesi A nın en büyük altsınırı inf (A): m m(a) m inf (A) inf = en büyük ortak bölen sup = en küçük ortak kat 47 / 70 48 / 70

Kafes Kısmi Sıralı Küme - Kafes İlişkisi kafes: < L,, > : karşılaşma, : bütünleşme a b = b a a b = b a (a b) c = a (b c) (a b) c = a (b c) a (a b) = a a (a b) = a P bir kısmi sıralı küme ise < P, inf, sup > bir kafestir. a b = inf (a, b) a b = sup(a, b) Her kafes bu tanımların geçerli olduğu bir kısmi sıralı kümedir. 49 / 70 50 / 70 Dualite Kafes leri dual: yerine, yerine (Dualite i) Kafeslerde her teoremin duali de teoremdir. a a = a a a = a (a (a b)) 51 / 70 52 / 70 Kafes leri Kafes leri a b a b = a a b = b < P{a, b, c},, > bağıntısı 53 / 70 54 / 70

Sınırlı Kafesler Kafeslerde Dağılma L kafesinin altsınırı: 0 x L 0 x Sonlu her kafes sınırlıdır. L kafesinin üstsınırı: I x L x I dağılma özellikli kafes: a, b, c L a (b c) = (a b) (a c) a, b, c L a (b c) = (a b) (a c) 55 / 70 56 / 70 Karşı ler Karşı ler a (b c) = a 0 = a (a b) (a c) = I c = c a (b c) = a 0 = a (a b) (a c) = I I = I 57 / 70 58 / 70 Kafeslerde Dağılma Bütünleşmeyle İndirgeme Bir kafes yalnız ve ancak bu iki yapıdan birine izomorfik bir altkafes içeriyorsa dağılma özelliği göstermez. bütünleşmeyle indirgenemez eleman: a = x y a = x veya a = y atom: altsınırın hemen ardından gelen, bütünleşmeyle indirgenemez eleman 59 / 70 60 / 70

Bütünleşmeyle İndirgeme Örneği Bütünleşmeyle İndirgeme (bölünebilirlik bağıntısı) asal sayılar ve 1 bütünleşmeyle indirgenemez 1 altsınır, asal sayılar atom Bütünleşmeyle indirgenebilir bütün elemanlar, bütünleşmeyle indirgenemez elemanların bütünleşmesi şeklinde yazılabilir. 61 / 70 62 / 70 Tümleyen Tümlemeli Kafesler Sınırlı, dağılma özellikli bir kafeste tümleyen varsa tektir. a ile x tümleyen: a x = 0 ve a x = I a x = 0, a x = I, a y = 0, a y = I x = x 0 = x (a y) = (x a) (x y) = I (x y) = x y = y x = I (y x) = (y a) (y x) = y (a x) = y 0 = y 63 / 70 64 / 70 Boole Cebri Boole Cebri - Kafes İlişkisi Boole cebri: < B, +,, x, 1, 0 > a + b = b + a a b = b a (a + b) + c = a + (b + c) (a b) c = a (b c) a + 0 = a a 1 = a a + a = 1 a a = 0 Bir Boole cebri sonlu, dağılma özellikli, her elemanın tümleyeninin olduğu bir kafestir. 65 / 70 66 / 70

Dualite Boole Cebri leri dual: + yerine, yerine + 0 yerine 1, 1 yerine 0 (1 + a) (b + 0) = b teoreminin duali: (0 a) + (b 1) = b B = {0, 1}, + =, = B = { 70 in bölenleri }, + = okek, = obeb 67 / 70 68 / 70 Boole Cebri leri Kaynaklar a + a = a a a = a a + 1 = 1 a 0 = 0 a + (a b) = a a (a + b) = a (a + b) + c = a + (b + c) (a b) c = a (b c) a = a a + b = a b a b = a + b Okunacak: Grimaldi Chapter 7: Relations: The Second Time Around 7.3. Partial Orders: Hasse Diagrams Chapter 15: Boolean Algebra and Switching Functions 15.4. The Structure of a Boolean Algebra 69 / 70 70 / 70