| NIM | H1B009045 |
| Namamhs | DWI MEILANA |
| Judul Artikel | Latis Boole |
| Abstrak (Bhs. Indonesia) | Latis merupakan suatu himpunan tak kosong yang dilengkapi dengan dua operasi biner yang memenuhi sifat assosiatif, komutatif, absorpsi, dan setiap elemennya merupakan elemen idempoten serta dilengkapi dengan relasi urutan parsial. Skripsi ini mengkaji tentang pembentukan latis Boole dan sifat dasar pada latis Boole. Pembentukan latis Boole yang dikaji didasari oleh beberapa jenis latis yaitu latis terbatas, latis distributif dan latis berkomplemen. Latis terbatas merupakan suatu latis yang memiliki elemen zero dan elemen unit. Suatu latis yang operasinya bersifat distributif disebut latis distributif. Latis yang setiap elemennya memiliki komplemen yang tunggal disebut latis berkomplemen. Latis Boole merupakan suatu latis berkomplemen terbatas yang operasinya bersifat distributif. Pada latis Boole, terdapat beberapa sifat dasar diantaranya hukum De Morgan dan sifat dasar pada homomorfisme latis Boole. |
| Abtrak (Bhs. Inggris) | Lattice is a nonempty set with two binary operations and satisfy the properties associative, commutative, absorption and all element is idempotent, satisfy partial order relation. This thesis discuss about Boolean lattice’s form and basic properties of Boolean lattice. Boolean lattice’s form is based bounded lattice, distributive lattice and complementable lattice. Bounded lattice is lattice with a zero element and an unit element. Whereas, when the binary operations of lattice satisfy distributive properties, it called distributive lattice. Lattice that each element has a unique complement called compementable lattice. Boolean lattice is a bounded complementable lattice that is distributive. Boolean lattice satisfy some property such as De Morgan law and Boolean lattice homomorphism. |
| Kata kunci | latis, terbatas, distributif, komplemen, latis Boole |
| Pembimbing 1 | Dra. Ari Wardayani, M.Si. |
| Pembimbing 2 | Suroto, M.Sc. |
| Pembimbing 3 | |
| Tahun | 2013 |
| Jumlah Halaman | 12 |
| Tgl. Entri | (belum diset) |
|---|