satuan acara perkuliahan

SATUAN ACARA PERKULIAHAN
UNIVERSITAS GUNADARMA
MATA KULIAH
FAKULTAS
JURUSAN / JENJANG
KODE
: Logika Matematika
: Teknologi Industri
: Teknik Informatika/S1
: KD-045316
M
I
N
G
G
U
POKOK BAHASAN
SUB POKOK BAHASAN
TIK
S
U
M
B
E
R
1
&
2
Himpunan
1.
Setelah mengikuti kuliah tentang Himpunan
diharapkan mahasiswa dapat :
1. Menjelaskan bahwa himpunan sebagai
salah satu model dalam menyelesaikan
permasalahan.
2. Menggambarkan hubungan antara
himpunan dengan menggunakan
diagram venn dasar.
3. Menentukan operasi antar himpunan.
4. Menyatakan Hukum daan Kesamaan
Aljabar dalam Himpunan.
5. Menentukan tentang himpunan Hingga
dan perhitungan banyaknya anggota
himpunan.
6. Menggambarkan Argumen dalam
diagram venn dan menganalisa validitas
suatu argumen dengan diagram venn.
7. Mengenal pembuktian suatu proposisi
dengan Induksi Matematik.
1
6.
7.
Pengertian dan definisi
Himpunan
Diagram Venn
Operasi antar Himpunan
Aljabar Himpunan
Himpunan hingga dan
perhitungan anggota.
Argumen dan Diagram Venn.
Induksi Matematika
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
Pengertian Relasi
Produk Kartesius dan Relasi
Penyajian lain untuk Relasi
Relasi Invers
Komposisi Relasi
Sifat Relasi
Partisi
Relasi Ekivalen
Partisi daan Relasi Ekivalen
Partial Ordering
Relasi N - Ary
1.
2.
3
&
4
2.
3.
4.
5.
Relasi
Menyatakan suatu Relasi
Menyatakan perbedaan antara Produk
Kartesius dan Relasi.
3. Menjelaskan cara penyajian suatu relasi
4. Menunjukkan Relasi Invers
5. Menentukan Komposisi Relasi
6. Menjelaskan tentang sifat Relasi
7. Menyebutkan definisi Partisi
8. Menyebutkan definisi Ekivalen
9. Menunjukkan hubungan antara partisi
dan relasi ekivalen
10. Menunjukkan definisi Partial Ordering
11. Menyatakan definisi Relasi N-Ary
5.
Fungsi
1.
2.
3.
4.
5.
6.
6
&
7
&
8
Proposisi
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
9
&
10
Poset dan Lattice
1.
2.
3.
4.
5.
6.
7.
Pengertian dan definisi Fungsi
Fungsi satu-satu, fungsi pada
Hasil kali (produk) fungsi /
fungsi Komposisi.
Invers dari Fungsi
Fungsi Invers
Kelas Berindeks.
Setelah mengikuti kuliah tentang fungsi
diharapkan mahasiswa dapat :
1. Menjelaskan definisi Fungsi
2. Menyebutkan tentang jenis fungsi
3. Menentukan hasil kali ( Produk) fungsi
4. Menjelaskan dan mengerti invers dari
fungsi dan fungsi invers beserta syaratsyaratnya.
5. Menunjukkan kelas berindeks dan
penerapannya dalam masalah komputasi.
Konsep dan notasi Dasar
Polinomial Boole
Proposisi dan Tabel Kebenaran
Tautologi dan Kontradiksi
Ekivalen Logika
Aljabar Proposisi
Argumen
Implikasi Logik ( Logical
Implication)
Fungsi Proposisi dan Himpunan
Kebenaran
Pengukur Jumlah
Universal(untuk setiap)
Pengukur Jumlah Eksistensial (
Ada)
Negasi atau ingkaran
Contoh Balasan
Argumen proposisi dengan lebih
dari satu variabel.
Argumen dan Pengukuran
Jumlah.
Pernyataan dan variasi
konditional.
Setelah mahasiswa mempelajari tentang
diharapkan dapat :
1. Menyatakan konsep dan notasi dasar
yang digunakan .
2. Menyatakan pembentukan Polinomial
Boole dari suatu statement
3. Menyatakan pembentukan tabel
kebenaran.
4. Menentukan bentuk-bentuk tautologi
dan kontradiksi.
5. Menentukan Ekivalensi Logika dari 2
proposisi.
6. Menyatakan hukum-hukum pada Aljabar
Proposisi.
7. Menyatakan bentuk argumen yang valid
dan fallacy
8. Menyatakan Implikasi Logik
9. Menyatakan fungsi proposisi dan
himpunan kebenaran.
10. Menyatakan pengukur jumlah universal
11. Menyatakan pengukur jumlah
eksistansial
12. Menentukan tentang Negasi atau
Ingkaran dari proposisi
13. Menyatakan contoh Balasan
14. Menyatkan fungsi proposisi dengan
lebih dari satu variabel.
15. Menyatakan validitas dari Argumen
dalam pengukuran jumlah
16. Menyatakan pernyatan dalam bentuk
berbagai variasi kondisional
Pengertian dan definisi Poset
Diagram Poset
Supremum dan Infimum
Definisi Latice
Lattice yang terbatas
Lattice Distributif
Lattice Berkomplemen
Setelah mengikuti kuliah tentang Poset dan
Lattice diharapkan mahasiswa dapat :
1. Menyebutkan definisi Poset
2. Membuat diagram Poset
3. Menntukan Supremum dan Infimum
4. Menyebutkan definisi Lattice
5. Menentukan Lattice terbatas atau tidak
terbatas
6. Membedakan Lattice yang bersifat
distributif atau bukan distributif
7. Menyimpulkan bahwa suatu Lattice
1
1
berkomplemen atau tak berkomplemen
serta menentukan komplemen suatu
anggota Lattice.
11
&
12
&
13
Aljabar Boole
1.
2.
3.
4.
5.
6.
7.
8.
Definisi Dasar
Dualitas
Teorema Dasar
Aljabar Boole sebagai Lattice
Pernyataan Teorema
Bentuk normal disjunctive
Rancangan Rangkaian Saklar
Prime Implikan dan metode
Konsensus
9. Pernyataan Boole Minimal
10. Peta Karnaugh
D.Suryadi H.S. Aljabar Logika & Himpunan ; penerbit Gunadarma, 1991
Setelah mempelajari Aljabar Boole
mahasiswa diharapkan dapat :
1. Menyatakan definisi dasar
2. Menentukan Dualitas
3. Menyebutkan teorema dasar Aljabar
Boole
4. Menunjukkan bahwa Aljabar Boole
sebagai Lattice
5. Menyebutkan Normal Disjunctive
6. Membuat Rancangan Rangkaian Saklar
7. Menyebutkan definisi bentuk Prime
Implikan dan menggunakan metode
konsensus
8. Menentukan pernyataan Boole Minimal
9. Mencari Prime Implikan dengan Peta
Karnaugh