Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
94Activity

Table Of Contents

Manfaat Logika Informatika
Studi kasus: Search Engine Google
BAB II ALJABAR PROPOSISI
Semesta Pembicaraan
Kalimat Deklaratif
Validitas Argumen
Premis :
Semantik-Sintaks :
SOUND ARGUMENT
UNSOUND ARGUMENT
Proposisi Atomik dan Majemuk
Kata-kata Penghubung Kalimat
SIMBOL ARTI BENTUK
Tabel Kebenaran
P Q P ΛΛΛΛ Q
P Q P => Q
P Q P <=> Q
Ekuivalen
A B A ΛΛΛΛB ~ (A ΛΛΛΛB) ~A ~B ~ A ΛΛΛΛ~B
A B A => B ~A ~A V B
Hukum-hukum Ekuivalensi Logika :
Penyederhanaan
Tautologi, Kontradiksi dan Contingent
Inferensi Logika
Sistem Pembuktian / Penarikan Kesimpulan
BAB III KUANTIFIKASI
Variabel dan Konstanta
Kalimat terbuka
Kuantor
Ingkaran kalimat
BAB IV HIMPUNAN
Definisi Himpunan
Keanggotaan
Contoh 2
Contoh 3
Cara Penyajian Himpunan
1. Enumerasi
Contoh :
3. Notasi Pembentuk Himpunan
Contoh 4
4. Diagram Venn
Contoh 5
Contoh 6
Himpunan kosong (null set)
Contoh 7
Himpunan Bagian (Subset)
Definisi Himpunan Bagian
Contoh 8
Himpunan yang Sama
Definisi Himpunan yang Sama
Contoh 9
Himpunan yang Ekivalen
Definisi Himpunan yang Ekivalen
Contoh 10
Himpunan Saling Lepas
Definisi Himpunan Saling Lepas
Contoh 11
Definisi Himpunan Kuasa
Contoh 12
Contoh 13
Operasi Terhadap Himpunan
Contoh 14
Contoh 15
3. Komplemen (complement)
Contoh 16
4. Selisih (difference)
Contoh 18
5. Beda Setangkup (Symmetric Difference)
Contoh 19
6. Perkalian Kartesian (cartesian product)
Contoh 20
Contoh 21. Misalkan
Contoh 22
Hukum-hukum Himpunan
Prinsip Dualitas
Prinsip Inklusi-Eksklusi
Himpunan Ganda (multiset) Definisi Himpunan Ganda
Definisi Multiplisitas
Operasi Antara Dua Buah Multiset:
1. Pembuktian dengan menggunakan diagram Venn
2. Pembuktikan dengan menggunakan tabel keanggotaan
3. Pembuktian dengan menggunakan aljabar himpunan
4. Pembuktian dengan menggunakan definisi
Representasi Relasi
Tabel 1 Tabel 2 Tabel 3
Sifat-sifat Relasi Biner
Definisi
Relasi Inversi Definisi
Relasi Kesetaraan Definisi
Relasi Pengurutan Parcial Definisi
Klosur Refleksif
Klosur setangkup
Klosur menghantar
Mengkombinasikan Relasi
Komposisi Relasi
Fungsi
else
Fungsi Surjektif
Komposisi dari dua buah fungsi Definisi
2. Fungsi modulo
5. Fungsi Logaritmik
Fungsi Rekursif Definisi
BAB VI ALJABAR BOOLEAN
DASAR OPERASI LOGIKA LOGIKA :
Operasi logika NOT ( Invers )
Operasi logika AND
Operasi logika OR
Operasi logika NOR
Operasi logika NAND
Operasi logika EXOR
Operasi logika EXNOR
Aljabar Boolean
Tupel
Contoh
Hukum-hukum Aljabar Boolean
Fungsi Boolean
Contoh:
DAFTAR PUSTAKA
0 of .
Results for:
No results containing your search query
P. 1
Microsoft Word Diktat Logika Informatika

Microsoft Word Diktat Logika Informatika

Ratings: (0)|Views: 4,839 |Likes:

More info:

Published by: Abu Hanifah Al Fajjri on Mar 21, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/17/2013

pdf

text

original

You're Reading a Free Preview
Pages 4 to 45 are not shown in this preview.
You're Reading a Free Preview
Pages 49 to 93 are not shown in this preview.
You're Reading a Free Preview
Pages 97 to 98 are not shown in this preview.

Activity (94)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Puput Meilani liked this
Yesti Nickname liked this
Alan_untag liked this
hutagaoljibang liked this
Lhynda Azzeeken liked this
Yu'n Yunita liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->