SATUAN ACARA PERKULIAHAN. ( Logika Informatika ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN LOGIKA INFORMATIKA
|
|
|
- Widyawati Lie
- 6 tahun lalu
- Tontonan:
Transkripsi
1 Pengesahan Nama Dokumen : LOGIKA INFORMATIKA No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si., M.Sc. (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui oleh Lastri Widya A, M.Kom (Dekan) Dokumen Sistem Mutu ini milik UNIVERSITAS INDO GLOBAL MANDIRI dan TIDAK DIPERBOLEHKAN dengan cara dan alasan apapun membuat salinan tanpa seizin Ketua Lembaga Penjamin Mutu
2 ISO 91:28/IWA 2 2dari 6 FAKULTAS : ILMU KOMPUTER PROGRAM STUDI : SISTEM INFORMASI Tatap Muka Pokok Bahasan 1 Pendahuluan 2 Dasar-Dasar 3 Tautologi, Kontradiksi, Dan Contingent Subpokok Bahasan 1. Pengertian Umum 2. Peran Ilmu dalam Ilmu Komputer 1. Dan Pernyataan (Proposisi) 2. Penghubung Kalimat Dan Tabel Kebenaran 1. Tautologi, 2. Kontradiksi 3. Contingent Tujuan Intruksional (1) Umum (2) Khusus (1) Mahasiswa mampu memahami pengertian dari ilmu logika (2) Mahasiswa mampu memahami Peran Ilmu dalam Ilmu Komputer Mahasiswa memahami ruang lingkup ilmu dan peranannya dalam bidang ilmu komputer (1) Mahasiswa mampu memeahami kalimat dan proposisi (2) Mahasiswa mampu memahami penghubung kalimat dalam logika matematika dan mampu menentukan tabel kebenarannya Mahasiswa mampu menentukan penghubung kalimat dalam logika matematika dan mampu menentukan tabel kebenarannya (1) Mahasiswa mampu memahami makna Tauotologi (2) Mahasiswa mampu memahami makna Kontradiksi (3) Mahasiswa mampu memahami makna Contingent Pustaka (Nomor) Bentuk Pengajaran Media Tugas Evaluasi
3 ISO 91:28/IWA 2 3dari 6 Mahasiswa mampu memahami perbedaan makna Tautologi, Kontradiksi, dan Contingent 4 KUIS 5 Konvers, Invers, dan Kontraposisi 6 Ekuivalensi 1. Konvers 2. Invers 3. Kontraposisi 1. Pengertian Ekuivalensi 2. Hukum-Hukum Ekuivalensi 3. Penyederhanaan (1) Mahasiswa mampu memahami makna Konvers dari implikasi (2) Mahasiswa mampu memahami makna Invers dari implikasi (3) Mahasiswa mampu memahami makna Kontraposisi dari implikasi Mahasiswa mampu memahami perbedaan makna Konvers, Invers, Dan Kontraposisi (1) Mahasiswa mampu memahami pengertian ekuivalensi (2) Mahasiswa mampu memahami hukum-hukum logika (3) Mahasiswa mampu menyederhanakan kalimat atau proposisi hukum-hukum ekuivalensi logika Mahasiswa mampu menyederhanakan kalimat atau proposisi hukum-hukum ekuivalensi logika Membuat resume materi yang telah dipelajari Membuat resume materi yang telah dipelajari 7 Inferensi 1. Argumen Valid Dan Invalid 2. Aturan Penarikan Kesimpulan (1) Mahasiswa mampu menganalisis suatu argumen yang valid dan invalid (2) Mahasiswa mampu memahami aturan-aturan dalam menarik suatu kesimpulan argumen
4 ISO 91:28/IWA 2 4dari 6 Mahasiswa mampu memahami aturan-aturan dalam menarik suatu kesimpulan argumen argumen-argumen yang telah terbukti valid 8 UJIAN TENGAH SEMESTER 9 Kalimat Berkuantor 10 Kalimat Berkuantor 11 Aljabar 1. Predikat dan Kuantor 2. Nilai Kebenaran Kalimat Ber-Kuantor 1. Ingkaran Kalimat Berkuantor 2. Kalimat Berkuantor Ganda 3. Ingkaran Kalimat Berkuantor Ganda 1. Pengertian Aljabar (1) Mahasiswa mampu memahami perbedaan predikat dan kuantor (2) Mahasiswa mampu memeahami jenis-jenis kuantor dan penggunaannya (3) Mahasiswa mampu menentukan nilai kebenaran dari kalimat berkuantor Mahasiswa mampu memahami jenis-jenis kuantor dan penggunaannya, serta mampu menentukan nilai kebenaran dari kalimat berkuantor (1) Mahasiswa mampu memnentukan ingkaran kalimat berkuantor (2) Mahasiswa mampu memahami kalimat berkuantor ganda (3) Mahasiswa mampu memnentukan ingkaran kalimat berkuantor ganda Mahasiswa mampu memahami kalimat berkuantor ganda dan mampu menentukan ingkarannya (1) Mahasiswa mampu memahami pengertian 2,3
5 ISO 91:28/IWA 2 5dari 6 12 Aljabar 13. Aljabar Induksi 2. Operasi dasar aljabar dan gerbang logika 3. Aksioma Aljabar 1. Ekspresi 2. Prinsip Dualitas 3. Hukum-hukum Aljabar 4. Fungsi 1. Penyederhanaan Fungsi - Secara aljabar - Menggunakan Peta Karnaugh - Menggunakan metode Quine Mc Cluskey (metode Tabulasi) 1. Pengertian Induksi 2. Tahapan Induksi aljabar boolean (2) Mahasiswa mampu memahami Operasi operasi dasar pada aljabar dan gerbang logika (3) Mahasiswa mampu memahami Aksioma dari Aljabar Mahasiswa mampu memahami makna, operasi dasar dan aksioma dari Aljabar (1) Mahasiswa mampu memahami Ekspresi (2) Mahasiswa mampu memahami Prinsip Dualitas aljabar (3) Mahasiswa mampu memahami Hukum-hukum Aljabar (4) Mahasiswa mampu memahami dari Fungsi Mahasiswa mampu memahami Ekspresi, Prinsip Dualitas, Hukum-hukum Aljabar dan Fungsi Mahasiswa mampu menyederhanakan fungsi boolean dengan metode aljabar, Peta Karnaugh dan Quine Mc Cluskey (metode Tabulasi) Mahasiswa mampu menyederhanakan fungsi boolean dengan salah satu metode aljabar, Peta Karnaugh maupun Quine Mc Cluskey (metode Tabulasi) (1) Mahasiswa mampu memahami Pengertian Induksi (2) Mahasiswa mampu memahami Tahapan Induksi 2,3 2,3 3
6 ISO 91:28/IWA 2 6dari Pembuktian Induksi (3) Mahasiswa mampu memahami Pembuktian Induksi Mahasiswa mampu memahami makna induksi dan tahapan dalam pembuktian induksi UJIAN AKHIR SEMESTER
SATUAN ACARA PERKULIAHAN. ( Teknik Riset Operasional ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN TEKNIK RISET OPERASIONAL
Pengesahan Nama Dokumen : TEKNIK RISET OPERASIONAL No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si., M.Sc. (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui
SATUAN ACARA PERKULIAHAN ( MATEMATIKA DISKRIT ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN MATEMATIKA DISKRIT
Pengesahan Nama Dokumen : MATEMATIKA DISKRIT No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si.,M.Sc (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui oleh Lastri
SATUAN ACARA PERKULIAHAN. ( Probabilitas dan Statistika ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN PROBABILITAS DAN STATISTIKA
Pengesahan Nama Dokumen : PROBABILITAS DAN STATISTIKA No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si.,M.Sc (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui
SATUAN ACARA PERKULIAHAN ( KALKULUS II ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN KALKULUS II
Pengesahan Nama Dokumen : KALKULUS II No Dokumen : No ISO 91:28/IWA 2 1dari 6 Diajukan oleh Imelda Saluza, S.Si.,M.Sc (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto, MT (GPM) Disetujui oleh Lastri Widya
SATUAN ACARA PERKULIAHAN ( SISTEM INFORMASI MANAJEMEN) Pengesahan. Nama Dokumen : SILABUS (SISTEM INFORMASI MANAJEMEN) No Dokumen : No Revisi :
ISO 91:28/IWA 2 1dari 7 Pengesahan Nama Dokumen : SILABUS (SISTEM INFORMASI MANAJEMEN) No Dokumen : No Diajukan oleh Agustina Heryati, S.Kom,MM (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto (GKM) Disetujui
Program Studi Ilmu Pemerintahan
Program Studi Ilmu 22-09-26 ( Etika ) Pengesahan Nama Dokumen : SAP (Etika ) No Dokumen : No ISO 90:2008/IWA 2 1dari 6 Diajukan oleh Doris Febriyanti, S.IP, M.Si (Dosen Pengampu) Diperiksa oleh Doris Febriyanti,
Program Studi Sistem Informasi
FIK / SI /S- 24-0-204 Pengesahan Nama Dokumen : SILABUS ALJABAR LINIER No Dokumen : FIK/SI/S- No Diajukan oleh ISO 900:2008/IWA 2 dari 5 Ir. Hastha Sunardi, MT (Dosen Pengampu) Diperiksa oleh Ir. Dedy
PROGRAM STUDI SISTEM INFORMASI (D-3)
Pengesahan Nama Dokumen : SILABUS No Dokumen : FIK / SI / D-3 No 00 Diajukan oleh 1 dari 5 Ir. Hastha Sunardi, MT (Dosen Pengampu) Diperiksa oleh Ir. Dedy Hermanto, MT (GKM) Disetujui oleh Lastry Widyastuti,
PROGRAM STUDI TEKNIK KOMPUTER
12-08-28 Pengesahan Nama Dokumen : SILABUS No Dokumen : FIK/TK-III/S-1 No Diajukan oleh ISO 90:2008/IWA 2 1dari 5 Ir. Hastha Sunardi, MT (Dosen Pengampu) Diperiksa oleh Ir. Dedy Hermanto, MT (GKM) Disetujui
PROGRAM STUDI TEKNIK KOMPUTER SATUAN ACARA PERKULIAHAN ALGORITMA DAN PEMROGRAMAN
24-08-26 Pengesahan Nama Dokumen : SILABUS No Dokumen : FIK/TK-I/S-1 No Diajukan oleh ISO 90:2008/IWA 2 1 dari 6 Ir. Hastha Sunardi, MT (Dosen Pengampu) Diperiksa oleh Ir. Dedy Hermanto, MT (GKM) Disetujui
RENCANA PEMBELAJARAN
ISO 91 : 28 Disusun Oleh Diperiksa Oleh Disetujui Oleh Tanggal Berlaku 1 September 2015 Diana, M.Kom A.Haidar Mirza, M.Kom M. Izman Hardiansyah, Ph.D Mata Kuliah : Logika Informatika Semester : Kode :
FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS LOGIKA
No. SIL/EKA/PTI 206/01 Revisi : 00 Tgl : 1 April 2008 Hal 1 dari 5 MATA KULIAH : Logika KODE MATA KULIAH : PTI 206 SEMESTER : 1 PROGRAM STUDI : Pendidikan Teknik Informatika DOSEN PENGAMPU : Ratna Wardani,
SILABUS MATA KULIAH MATEMATIKA DISKRIT
Kode Formulir : FM-STMIK MDP-KUL-04.02/R3 SILABUS MATA KULIAH MATEMATIKA DISKRIT A. IDENTITAS MATA KULIAH Program Studi : Sistem Informasi Mata Kuliah : Matematika Diskrit Kode : SP 245 Bobot : 4 (empat)
SATUAN ACARA PERKULIAHAN
JURUSAN PENDIDIKAN MATEMATIKA FPMIPA UPI BANDUNG SATUAN ACARA PERKULIAHAN MATA KULIAH : MATEMATIKA DASAR KODE MATA KULIAH : SFAT MATA KULIAH : PROGRAM STUDI : PENDIDIKAN BIOLOGI SEMESTER : PERTAMA JUMLAH
Program Studi Teknik Informatika
Pengesahan Nama Dokumen : SILABUS KECERDASAN BUATAN No Dokumen : FIK-TI-S1 No Revisi : 00 Revisi : 1 Hal : 1 / 6 Diajukan oleh Ir. Hastha Sunardi, MT (Dosen Pengampu) Diperiksa oleh Ir. Dedy Hermanto,
SATUAN ACARA PERKULIAHAN
15-08-26 Pengesahan Nama Dokumen : SILABUS RANGKAIAN LISTRIK No Dokumen : FIK/TK/S-1 No Diajukan oleh ISO 90:2008/IWA 2 1dari 6 Ir. Hastha Sunardi, MT (Dosen Pengampu) Diperiksa oleh Ir. Dedy Hermanto,
RENCANA PEMBELAJARAN SEMESTER (RPS) KKKF23111 Matematika Diskrit
RENCANA PEMBELAJARAN SEMESTER (RPS) KKKF23111 Matematika Diskrit PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS ILMU KOMPUTER (FILKOM) UNIVERSITAS PUTRA INDONESIA YPTK LEMBAR PENGESAHAN Rencana Pembelajaran
RENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) DAN BUKU DIKTAT PENGANTAR LOGIKA MATEMATIKA DAN HIMPUNAN. Budi Surodjo
RENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) DAN BUKU DIKTAT PENGANTAR LOGIKA MATEMATIKA DAN HIMPUNAN Budi Surodjo Jurusan Matematika Fakultas Matematikan dan Ilmu Pengetahuan Alam Universitas
SILABUS MATAKULIAH. Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran
SILABUS MATAKULIAH Revisi : 2 Tanggal Berlaku : September 2014 A. Identitas 1. Nama Matakuliah : A11.54406/ Logika Informatika 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot
Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.
Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu
MATEMATIKA DISKRIT. Logika
MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi
SATUAN ACARA PERKULIAHAN RISET PEMASARAN. Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN RISET PEMASARAN
Pengesahan Nama Dokumen : No Dokumen : No ISO 91:28/IWA 2 1dari 5 Diajukan oleh Muhammad Wadud, SE., M.Si (Dosen Pengampu) Diperiksa oleh Dra. Luis Marnisah, MM (Ketua Prodi Manajemen) Disetujui oleh Drs.
DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit
DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi
PROGRAM STUDI SISTEM KOMPUTER
Pengesahan Nama Dokumen : SILABUS INTELEGENSIA BUATAN No Dokumen : FIK-SK-S1 No Revisi : 00 Diajukan oleh Revisi : 1 Hal : 1 / 7 Ir. Hastha Sunardi, MT (Dosen Pengampu) Diperiksa oleh Ir. Dedy Hermanto,
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A11.54406/ Logika Informatika Revisi 2 Satuan Kredit Semester : 3 SKS Tgl revisi : Agustus 2014 Jml Jam kuliah dalam seminggu
LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi
LOGIKA MATEMATIKA MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM Definisi Proposisi adalah suatu kalimat yang bernilai benar atau salah dan tidak keduanya Proposisi Kalimat Deklaratif Proposisi
Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika.
Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika. (a) Nyatakan pernyataan di atas dalam notasi simbolik (ekspresi logika) (b) Berikan pernyataan
EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo
Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang
RPKPS MATA KULIAH PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA FMIPA UGM
RPKPS MATA KULIAH PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA FMIPA UGM 1 Judul, Kode, SKS Pengantar Logika Matematika Dan Himpunan, MMM 1201, 3 SKS 2 Silabus Semesta Pembicaraan, Kalimat Deklaratif, Ingkaran
FPMIPA UPI ILMU KOMPUTER I. TEORI HIMPUNAN
I. TEORI HIMPUNAN 1. Definisi Himpunan hingga dan Tak hingga 2. Notasi himpuanan 3. Cara penulisan 4. Macam-macam Himpunan 5. Operasi Himpunan 6. Hukum pada Operasi Himpunan 7. Perkalian Himpunan (Product
UNIVERSITAS MERCU BUANA
UNIVERSITAS MERCU BUANA FAKULTAS PROGRAM STUDI : Ilmu Komputer : Sistem Informasi No. Dokumen 02 3.04.1.02 Distribusi Tgl. Efektif RENCANA PEMBELAJARAN SEMESTER Mata Kuliah Kode Rumpun MK Bobot (SKS) Semester
FM-UDINUS-BM-08-05/R0
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A22.53112/ Logika Matematika Revisi ke : 0 Satuan Kredit Semester : 3 SKS Tgl revisi : Januari 2009 Jml Jam kuliah dalam
LOGIKA. Arum Handini Primandari
LOGIKA Arum Handini Primandari LOGIKA MATEMATIKA KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian
untuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus
ix S Tinjauan Mata Kuliah elamat bertemu, selamat belajar, dan selamat berdiskusi dalam mata kuliah Matematika Dasar 1. Mata kuliah PEMA4102/Matematika Dasar 1 dengan bobot 3 sks ini sering pula dinamakan
TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P. Hasil Telaah
TELAAH BAHAN BELAJAR MANDIRI Oleh Sufyani P Nama Matakuliah: Logika Matematika. SKS : 2 Semester : 7 Penulis : Drs. Mujono, M.Pd. I. Tinjauan matakuliah: tidak ada Hasil Telaah II. Sajian Materi: a. Relevansi
SATUAN ACARA PERKULIAHAN MANAJEMEN OPERASIONAL. Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN MANAJEMEN OPERASIONAL
Pengesahan Nama Dokumen : No Dokumen : No ISO 91:28/IWA 2 1dari 5 Diajukan oleh Muhammad Wadud, SE., M.Si (Dosen Pengampu) Diperiksa oleh Endah Dewi Purnamasari, SE., MM (Ketua Prodi Manajemen) Disetujui
SATUAN ACARA PERKULIAHAN (JARINGAN KOMPUTER) Pengesahan. Nama Dokumen : SILABUS. No Dokumen : No Revisi : Diajukan oleh
Pengesahan Nama Dokumen : SILABUS No Dokumen : No Diajukan oleh ISO 91:28/IWA 2 1dari 6 Agustina Heryati, S.Kom (Dosen Pengampu) Diperiksa oleh Ir. Dedi Hermanto (GKM) Disetujui oleh Lastri Widya Astuti,
DESKRIPSI MATA KULIAH
DESKRIPSI MATA KULIAH Nama Mata Kuliah : Logika Matematika Kode Mata Kuliah : IF33216 (Strata 1) Kredit : 3 SKS (3 x 45 menit) Deskripsi: Mata Kuliah logika matematika ini membahas mengenai himpunan, Aljabar
PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd.
Doc Logika Matematika PGSD Maulana 1 PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321 BOBOT SKS : 2 (DUA) TAHUN AKADEMIK : 2007/2008 PROGRAM : PGSD S-1 KELAS SEMESTER : GANJIL
SI-MANAJEMEN SATUAN ACARA PERKULIAHAN ( KEWIRAUSAHAAN ) Pengesahan. Nama Dokumen : SILABUS (KEWIRAUSAHAAN)
Pengesahan Nama Dokumen : SILABUS (KEWIRAUSAHAAN) No Dokumen : No Diajukan oleh ISO 91:28/IWA 2 1dari 7 Muhammad Wadud., SE., M.Si. (Dosen Pengampu) Diperiksa oleh Endah Dewi Purnamasari., SE., MM (Ketua
LOGIKA MATEMATIKA SOAL DAN PENYELESAIAN Logika, Himpunan, Relasi, Fungsi JONG JEK SIANG Kita menjalani hidup dari apa yang kita dapatkan Tetapi kita menikmati hidup dari apa yang kita berikan Jong Jek
RENCANA PERKULIAHAN SEMESTER (RPS) PROGRAM STUDI PGSD SEMESTER GASAL 2012/2013 FKIP UNIVERSITAS PANCA MARGA PROBOLINGGO
RENCANA PERKULIAHAN SEMESTER (RPS) PROGRAM STUDI PGSD SEMESTER GASAL 2012/2013 FKIP UNIVERSITAS PANCA MARGA PROBOLINGGO A. IDENTITAS MATAKULIAH 1. Matakuliah : KONSEP DASAR MATEMATIKA 2. SKS / JS : 3/3
SATUAN ACARA PERKULIAHAN STMIK PARNA RAYA MANADO TAHUN 2010
TAHUN DOSEN : IR. HASANUDDIN SIRAIT PERTEMUAN : 1-2 JUMLAH JAM : 200 MENIT - Himpunan - Himpunan - Diagram Venn - Operasi antar Himpunan - Aljabar Himpunan - Himpunan Hingga - Argumen & Diagram Venn -
KATA PENGANTAR. Assalamu alaikum Wr. Wb.
KATA PENGANTAR Assalamu alaikum Wr. Wb. Matematika tidak dapat terlepas dalam kehidupan manusia sehari-hari, baik saat mempelajari matematika itu sendiri maupun mata kuliah lainnya. Mata kuliah Pengantar
Silabus. Pengesahan Nama Dokumen : SILABUS (MEKANIKA REKAYASA I) No. Dokumen : Fakultas Teknik Program Studi Teknik Sipil SLB
Pengesahan Nama Dokumen : SILABUS No. Dokumen : Fakultas Teknik Program Studi Teknik SLB 10.3.2. No Diajukan Oleh ISO 91:28/IWA 2 1dari 6 Mengetahui Norma Puspita, ST. MT. Dosen Pengampu Diperiksa Oleh
KATA PENGANTAR. Assalamu alaikum Wr. Wb.
KATA PENGANTAR Assalamu alaikum Wr. Wb. Alhamdulillah.. Puji syukur kehadirat Allah SWT. atas segala rahmat dan hidayah-nya. Segala pujian hanya layak kita aturkan kepada Allah SWT. Tuhan seru sekalian
STMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto
1 EKUIVALENSI LOGIKA 2 Pada tautologi dan kontradiksi, dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula
KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I
KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN: MATEMATIKA Sekolah : SMA/MA... Kelas : X Semester : I (SATU) KKM
Konvers, Invers dan Kontraposisi
MODUL 5 Konvers, Invers dan Kontraposisi Represented by : Firmansyah,.Kom A. TEMA DAN TUJUAN KEGIATAN PEMELAJARAN 1. Tema Konvers, Invers dan Kontraposisi 2. Fokus Pembahasan Materi Pokok 1. Konvers, invers
LOGIKA. /Nurain Suryadinata, M.Pd
Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi
PROGRAM STUDI TEKNIK KOMPUTER
ISO 9:8/IWA dari 7 Pengesahan Nama Dokumen : No Dokumen : No Diajukan oleh Rian Rahmanda Putra, M.Kom (DosenPengampu) Diperiksa oleh Ir. Dedy Hermanto, M.T (GPM) Disetujui oleh Lastri Widya Astuti, M.Kom
Modul Praktikum. Logika Dasar. Dosen Pengampu: Anie Rose Irawati M.Cs. Penyusun:
Daftar Isi Modul Praktikum Logika Dasar Dosen Pengampu: Anie Rose Irawati M.Cs. Penyusun: Arif munandar Dinora Refiasari Gandi Laksana Putra Muhammad Saleh Firmansyah Feri Krisnanto Muammar Rizki F.I.
Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012
Jurusan Informatika FMIPA Unsyiah September 26, 2012 Cara menentukan nilai kebenaran pernyataan majemuk dengan menggunakan tabel kebenaran, yaitu dengan membagi beberapa bagian (kolom). Nilai kebenarannya
Pertemuan 2. Proposisi Bersyarat
Pertemuan 2 Proposisi ersyarat Proposisi ersyarat Definisi 4 Misalkan p dan q adalah proposisi. Proposisi majemuk jika p, maka q disebut proposisi bersyarat (implikasi dan dilambangkan dengan p q Proposisi
LOGIKA INFORMATIKA. Bahan Ajar
LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Daftar Isi Daftar Isi ii
I. LAMPIRAN TUGAS. Mata kuliah : Matematika Diskrit Program Studi : Sistem Informasi PA-31 Dosen Pengasuh : Ir. Bahder Djohan, MSc
I. LAMPIRAN TUGAS. Mata kuliah : Matematika Diskrit Program Studi : Sistem Informasi PA- Dosen Pengasuh : Ir. Bahder Djohan, MSc Tugas ke Pertemuan TIK Soal-soal Tugas. Mendefinisikan Proposisi Membedakan
BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?
BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti
Kata Pengantar... Daftar Isi... Apakah Matematika Diskrit Itu? Logika... 1
Daftar Isi Kata Pengantar... Daftar Isi... Apakah Matematika Diskrit Itu?... iii v xi 1. Logika... 1 1.1 Proposisi... 2 1.2 Mengkombinasikan Proposisi... 4 1.3 Tabel kebenaran... 6 1.4 Disjungsi Eksklusif...
RENCANA PEMBELAJARAN SEMESTER (RPS)
RENCANA PEMBELAJARAN SEMESTER (RPS) MSH1B3 LOGIKA MATEMATIKA PROGRAM STUDI S1 ILMU KOMPUTASI FAKULTAS INFORMATIKA TELKOM UNIVERSITY LEMBAR PENGESAHAN Rencana Semester (RPS) ini telah disahkan untuk mata
PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,
PENDIDIKAN BAHASA INGGRIS
Pengesahan Nama Dokumen : SILABUS No Dokumen : Fak.Prod SAP.8.1..KM No ISO 91:28/IWA 2 1dari 7 Diajukan oleh JAYA NUR IMAN, S.Pd., M.Pd. Diperiksa oleh Nama (GKM) Disetujui oleh ISABELLA, S.IP., M.IP (Dekan)
SILABUS, RPP, RPS LOGIKA INFORMATIKA. Program Studi Informatika FAKULTAS TEKNIK- UNIVERSITAS PGRI SEMARANG
SILABUS,, RPS LOGIKA INFORMATIKA Program Studi Informatika FAKULTAS TEKNIK- FORMULIR No.Dokumen FM-01-AKD-1516 No. Revisi FORMAT SILABUS Halaman 1 dari 1 SILABUS PEMBELAJARAN Fakultas/Program studi : TEKNIK
MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT
MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA
KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA
Nama Mata Kuliah Kode Mata Kuliah Jumlah SKS : 2 Mata Kuliah Prasyarat : -- Dosen Pengampu Deskripsi Mata Kuliah KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA
Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.
Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi
IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs.
IT105 MATEMATIKA DISKRIT Ramos Somya, S.Kom., M.Cs. TUJUAN Mahasiswa Memahami dan menguasai konsep dasar logika matematika Mahasiswa mempunyai daya nalar yang semakin tajam. POKOK BAHASAN Pernyataan dan
Silabus (MEKANIKA REKAYASA III)
Pengesahan Nama Dokumen : SILABUS No. Dokumen : Fakultas Teknik Program Studi Teknik SLB 10.3.2. No Diajukan Oleh ISO 91:28/IWA 2 1dari 6 Mengetahui Norma Puspita, ST. MT. Dosen Pengampu Diperiksa Oleh
Logika Matematika BAGUS PRIAMBODO. Tautologi dan Kontradiksi Argumen 1/Penarikan kesimpulan yang valid: modus ponen, modus tolen.
Modul ke: 6 Logika Matematika Tautologi dan Kontradiksi Argumen 1/Penarikan kesimpulan yang valid: modus ponen, modus tolen Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id
KATA PENGANTAR UCAPAN TERIMA KASIH ABSTRAK DAFTAR ISI DAFTAR TABEL DAFTAR BAGAN
DAFTAR ISI KATA PENGANTAR...i UCAPAN TERIMA KASIH...ii ABSTRAK.iii DAFTAR ISI.iv DAFTAR TABEL.vi DAFTAR BAGAN ix DAFTAR GAMBAR...x DAFTAR LAMPIRAN.xi BAB I PENDAHULUAN... 1 A. Latar Belakang Masalah..
Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1
2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki
BAB 6 LOGIKA MATEMATIKA
A 6 LOGIKA MATEMATIKA A RINGKAAN MATERI 1. Pengertian Logika adalah suatu metode yang diciptakan untuk meneliti ketepatan penalaran (bentuk pemikiran yang masuk akal). Pernyataan adalah kalimat yang hanya
PENDIDIKAN BAHASA INGGRIS
STATISTIC FOR Pengesahan Nama Dokumen : SILABUS STATISTIC FOR No Dokumen : Fak.Prod SAP.8.1..KM No ISO 91:28/IWA 2 1dari 7 Diajukan oleh JAYA NUR IMAN, S.Pd., M.Pd. Diperiksa oleh Nama (GKM) Disetujui
Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi
Selamat datang di Perkuliahan LOGIKA MAEMAIKA Logika Matematika eori Himpunan eori fungsi Dosen : Dr. Julan HERNADI PUSAKA : Kenneth H Rossen, Discrete mathematics and its applications, fifth edition.
FM-UDINUS-PBM-08-04/R0
SILABUS MATAKULIAH Revisi : 0 Tanggal Berlaku : Mei 2009 A. Identitas 1. Nama Matakuliah : A22.53112/ Logika Matematika 2. Program Studi : Teknik Informatika-D3 3. Fakultas : Ilmu Komputer 4. Bobot sks
BAB I PENDAHULUAN. Fungsi Boolean seringkali mengandung operasi operasi yang tidak perlu, literal
BAB I PENDAHULUAN 1.1 Latar Belakang Fungsi Boolean seringkali mengandung operasi operasi yang tidak perlu, literal atau suku suku yang berlebihan. Oleh karena itu fungsi Boolean dapat disederhanakan lebih
BAB I LOGIKA MATEMATIKA
BAB I LOGIKA MATEMATIKA A. Ringkasan Materi 1. Pernyataan dan Bukan Pernyataan Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. (pernyataan disebut
RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan
RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan Standar Kompetensi Kompetensi Dasar Indikator Alokasi Waktu
Diktat Kuliah LOGIKA INFORMATIKA. Oleh : Didin Astriani Prasetyowati, M.Stat
Diktat Kuliah LOGIKA INFORMATIKA Oleh : Didin Astriani Prasetyowati, M.Stat PROGRAM STUDI INFORMATIKA FAKULTAS ILMU KOMPUTER UNIVERSITAS INDO GLOBAL MANDIRI TAHUN AJARAN 2015/2016 DAFTAR ISI BAB 1 : DASAR-DASAR
BAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen
BAB 5 TAUTOLOGI 1. Pendahuluan Mengubah suatu argumen atau pernyataan-pernyataan menjadi suatu ekspresi logika, tentunya harus mengenali sub-subekspresinya. Salah satunya dengan membentuk Parse Tree yang
MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016. Hendra Gunawan
MA2111 PENGANTAR MATEMATIKA Semester I, Tahun 2015/2016 Hendra Gunawan Intro: Apa itu Matematika? Matematika adalah.. 2 Archimedes & Lingkaran Archimedes mempelajari lingkaran. Ia berhasil membuktikan
Pertemuan 8. Aplikasi dan penyederhanaan Aljabar Boolean
Pertemuan 8 Aplikasi dan penyederhanaan Aljabar Boolean Dosen Ir. Hasanuddin Sirait, MT www.hsirait.wordpress.com STMIK Parna Raya Manado HP : 8356633766 Aplikasi Aljabar Boolean Aljabar Boolean mempunyai
BAB 6 EKUIVALENSI LOGIS
BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan
LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom
LOGIKA MATEMATIKA LOGIKA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Untuk menemukan suatu gagasan baru dari informasi dan gagasan yang telah ada, diperlukan proses berpikir. Proses ini dikenal
MATEMATIKA DISKRIT LOGIKA
MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.
RENCANA PEMBELAJARAN SEMESTER
RENCANA PEMBELAJARAN SEMESTER PROGRAM STUDI : Pendidikan Matematika MATAKULIAH : Landasan Matematika KODE MATAKULIAH : MTA231 SKS : 3 SEMESTER : 1 MATAKULIAH PRASYARAT : DOSEN PENGAMPU : Tatik Retno Murniasih,
LOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X
LA - WB (Lembar Aktivitas Warga Belajar) LOGIKA MATEMATIKA Oleh: Hj. ITA YULIANA, S.Pd, M.Pd MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X Created By Ita Yuliana 37 Logika Matematika Kompetensi
BAB VI. LOGIKA MATEMATIKA
BAB VI. LOGIKA MATEMATIKA Ingkaran, Disjungsi, Konjungsi, Implikasi, Biimplikasi : Konvers, Invers, Kontraposisi : Tabel Kebenaran : p q ~ p ~ q p q p q p q p q B B S S B B B B B S S B B S S S S B B S
NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG
LOGIKA MATEMATIKA A. PERNYATAAN DAN KALIMAT TERBUKA Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya (benar dan salah). 1. Gadis itu cantik. 2. Bersihkan lantai itu. 3. Pernyataan/kalimat
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A11. 54302/ Matematika Diskrit Revisi 2 Satuan Kredit Semester : 3 SKS Tgl revisi : Agustus 2014 Jml Jam kuliah dalam seminggu
BAB IV HASIL PENELITIAN DAN PEMBAHASAN. terdiri dari tahap analysis (analisis), design (perancangan), development
A. Hasil Penelitian BAB IV HASIL PENELITIAN DAN PEMBAHASAN Prosedur pengembangan perangkat pembelajaran materi Logika dengan menggunakan pendekatan kontekstual ini dilakukan dengan model ADDIE yang terdiri
SATUAN ACARA PERKULIAHAN MATA KULIAH MATEMATIKA INFORMATIKA JURUSAN TEKNIK KOMPUTER (D3) SEMESTER 3 KODE / SKS : IT014213/2
Minggu ke 1 Pokok Bahasan dan TIU Himpunan Pengertian Himpun, Diagram Venn, Operasi antar, Himpunan, Aljabar Himpunan, Himpunan hingga dan perhitungan anggota,, Argumen dan Diagram Venn. Sub Pokok Bahasan
BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran
BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan
DE-ALGEBRAS, E-LOGIC DAN E-SET THEORY. Denik Agustito
DE-ALGEBRAS, E-LOGIC DAN E-SE HEORY Denik Agustito Pendidikan Matematika, Universitas Sarjanawiyata amansiswa Email: denikagustito@yahoocoid ABSRAK Dalam logika biasa, disjungsi yang digunakan dalam beberapa
SILABUS. Menyimak pemahaman tentang bentuk pangkat, akar dan logaritma beserta keterkaitannya. Mendefinisikan bentuk pangkat, akar dan logaritma.
SILABUS Nama Sekolah : SMA NEGERI 6 PONTIANAK Mata Pelajaran : MATEMATIKA Kelas/Program : X Semester : 1 STANDAR KOMPETENSI: 1. Memecahkan masalah yang berkaitan dengan bentuk pangkat, akar, dan logaritma.
SILABUS MATAKULIAH. Indikator Pokok Bahasan/Materi Aktifitas Pembelajaran
SILABUS MATAKULIAH Revisi : 2 Tanggal Berlaku : September 2014 A. Identitas 1. Nama Matakuliah : A11. 54302/ Matematika Diskrit 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot
Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed
Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik
Matematika Industri I
LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai
PROPOSISI MATEMATIKA SISTEM INFORMASI 1
PROPOSISI MATEMATIKA SISTEM INFORMASI 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat
Program Studi Teknik Informatika STMIK Tasikmalaya
Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya dadang mulyana 2013 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com
Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah.
LOGIKA MATEMATIKA 1. Pernyataan Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. Pernyataan dilambangkan dengan huruf kecil, misalnya p, q, r dan seterusnya.