KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA
|
|
- Siska Salim
- 7 tahun lalu
- Tontonan:
Transkripsi
1 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 PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA RENCANA PEMBELAJARAN SEMESTER No.RPS/PTE/PTI6206 Revisi/Tgl : 00/28 Agustus 2015 Semester 1 Hal 1 dari 8 : Logika : PTI6206 : Ponco Wali Pranoto. M.Pd. : Mata kuliah ini membahas tentang logika matematika dimana merupakan cabang dari big ilmu matematis yang memperdalam masalah logika. Matakuliah logika memberikan suatu metode atau cara yang sistematis dalam berpikir (reasonin g). Ter dua metode cara berpikir yang digunakan, yaitu Logika Proposisi Logika Predikat. Dengan Logika, diharapkan mengurangi tindakan menebak dalam menghadapi suatu masalah sehingga masalah tersebut diselesaikan dengan suatu jawaban yang dikerjakan dengan sistematis. Cara berpikir dengan dasar logika ini dijadikan program dilaksanakan oleh komputer sehingga komputer melakukan kemampuan berpikir walaupun secara sederhana. Capaian Peman (Mata Kuliah) : mampu: 1. Bertaqawa kepada Tuhan YME mampu menunjukkan sikap regius berkarakter 2. Berpartisipasi aktif, bertanggungjawab, memiliki motivasi mengembangkan diri 3. Menggunakan kaidah aturan logika matematika dalam upaya penyelesaian masalah
2 4. Memahami konsep dasar logika matematika. 5. Memahami representasi bilangan biner, desimal, oktal heksadesimal. 6. Menyebutkan bentuk formal logika kaidahnya. 7. Mempunyai kemampuan berfikir konsep-konsep dasar logika matematika dalam mengembangkan algoritma pemrograman. 8. Memiliki kemampuan berkomunikasi secara efektif, berpikir kritis membuat keputusan yang tepat Pertemuan ke- 1 Capaian Peman a. Mampu menggunakan kaidah aturan logika matematika dalam upaya penyelesaian masalah b. Mampu menerapkan standarisasi pengelolaan big logika Bahan Kajian/Pokok Bahasan Pengantar, pengertian konsep logika Bentuk/ Model Peman Pengalaman Belajar. Indikator Penilaian kognitif (kevali) Teknik Penilaian Bobot Penilaian (persubkom) Waktu Kuis 5% 100 Referensi a. memahami repesentasi bilangan biner, okta, desimal hexadesimal b. memahami teknik konversi Representa-si bilangan, konversi penerapan dalam algoritma sederhana tanya jawab problem based learning menyelesai- kognitif (kevali) Kuis, 5%
3 4 5 bilangan c. melakukan operasi-operasi aritmatika bilangan a. bentuk formal logika kaidah dasarnya b. variabel konstanta preposisional a. aturan table pada setiap logical connectives (Konjungsi, disjungsi, Negasi, implikasi, Ekuivalensi) b. aturan tabel yang Konsep dasar preposisi, preposisi pada algoritma pemrograman Tabel, logical conectivities kan di kelas di kelas 5% %
4 6 7 merupakan kebalikan (Nand, Nor Exor a. melakukan evaluasi ekspresi logika dengan tabel b. membuktikan suatu argument dengantabel yang menghasilkan tautology c. mengevaluasi validitas argument yang bukan tautologi (kontradiksi contingent) a. menunjukkan ekuivalensi dua ekspresi logis dengan tabel b. hukum-hukum Konsep, cara pengerjaan penerapan dalam ranah algoritma pada bagian Tautologi, Kontradiksi, Contingent Konsep, cara pengerjaan penerapan ekuivalensi logis dalam big logika informatika 5% %
5 8 dalam logika yang diperoleh dari ekuivalensi berbagai ekspresi logika a. operasi penyederhanaan menggunakan hokum logika b. teknik pembalikan untuk membuktikan validitas suatu argumen Penyederhana an, perangkai simplifikasi falsifikasi 10% komponen sintaktik logika predikatif seperti Semesta pembicaraan, predikat, variabel kuantor aturan-aturan derivasi dalam a. Konsep Logika predikatif b. Interpretasi c. Validity Dasar derivasi ekuivalensi logika Kuis 10% Kuis 10%
6 logika predikatif a. menggunakan himpunan sebagai salah satu model dalam penyelesaian masalah b. operasi-operasi antar himpunan c. menggunakan hukum kesamaan aljabar dalam himpunan a. relasi representasinya b. menjelasakan operasi-operasi atas suatu relasi penerapan sederhana dalam informatika a. Konsep dasar Himpunan Operasi Himpunan b. Dasar Tuple, Sequences c. PowerSets Penerapan dalam big informatika secara sederhana. a. Konsep Relasi b. Komposisi Relasi c. Properti Relasi 10% Kuis 10% Representas Kuis 4
7 16 fungsi, notasi representasi suatu fungsi a. operasi-operasi dlam fungsi b. invers fungsi persyaratannya i fungsi, notasi pemanfaata n fungsi dalam informatika Operasi fungsi, relasi invers dari 5% 100 Kuis 5% 2x50 4 Penilaian: A. Penilaian Teori ( 100% = 2 SKS) No Komponen Evaluasi Bobot (%) 1 Kuis/soal 20 2 Tugas Ujian Tengah Semester 30 4 Ujian Akhir Semester 30 Jumlah 100
8 Nilai akhir mata kuliah: (Kuis 20%) x (Tugas 20%) x (UTS 30%) x (UAS 30%) NA = Keterangan : 1. Bobot (%) diisi sesuai dengan komponen evaluasi 2. Nilai akhir mata kuliah merupakan rerata nilai teori praktikum Referensi: 1. Jean-Paul Tremblay., 1996, Logic and Discrete Mathematics, Prentice Hall, New Jersey 2. F. Soesianto & Djoni Dwijono, 2003, Logika Proposisional, Andi Offset, Yogyakarta 3. F. Soesianto & Djoni Dwijono, 2003, Logika Predikatif, Andi Offset, Yogyakarta 4. Rinaldi Munir, 2003, Matematika Diskrit, Edisi Ke-2, Informatika, Bandung Mengetahui, Ketua Jurusan Pendidikan Teknik Elektronika Yogyakarta, Agustus 2015 Dosen Pengampu, Muhammad Munir, M.Pd. Ponco Wali Pranoto, M.Pd. NIP NIP. -
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,
Lebih terperinciKEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA
KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA RENCANA PEMBELAJARAN SEMESTER No.RPS/PTI/PTI6217 Revisi/Tgl
Lebih terperinciSILABUS, 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
Lebih terperinciRENCANA 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,
Lebih terperinciRENCANA 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
Lebih terperinciPENGANTAR MATEMATIKA DISKRIT
PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS TEKNIK UNIVERSITAS MUHAMMADIYAH JEMBER PENGANTAR MATEMATIKA DISKRIT ILHAM SAIFUDIN Selasa, 04 Oktober 2016 Universitas Muhammadiyah Jember Apa Kalian tau? Jawabannya
Lebih terperinciMATEMATIKA 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
Lebih terperinciVI Matematika Diskrit
VI041201 Matematika Diskrit Jam/Minggu 2 Jam Semester : 1 Sifat: Wajib Kode Mata Kuliah Nama Matakuliah Silabus ringkas Tujuan Umum (TIU) VI041201 Matematika Diskrit Kuliah ini mengajarkan bagaimana siswa
Lebih terperinciRENCANA 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
Lebih terperinciPETA 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
Lebih terperinciSILABUS 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)
Lebih terperinciFM-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
Lebih terperinciuntuk 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
Lebih terperinciRENCANA 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 :
Lebih terperinciRENCANA 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
Lebih terperinciSILABUS 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
Lebih terperinciFM-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
Lebih terperinciUNIVERSITAS 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
Lebih terperinciSATUAN ACARA PERKULIAHAN (SAP) : Dr. H. Husen Windayana, M.Pd. Indikator Ketercapaian
SATUAN ACARA PERKULIAHAN (SAP) Nama Mata Kuliah : Logika Kode Mata Kuliah : GD 321 Bobot SKS : 2 (dua) Semester : 5 (lima) Dosen : Dr. H. Husen Windayana, M.Pd. Pert emu an Kompetensi Dasar 1 pengertian
Lebih terperinciLogika Proposisi. Adri Priadana ilkomadri.com
Logika Proposisi Adri Priadana ilkomadri.com Matematika Diskrit Apa? Cabang matematika yg mempelajari tentang obyek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika:
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (RPS)
RENCANA PEMBELAJARAN SEMESTER (RPS) MUG2B3 LOGIKA MATEMATIKA Disusun oleh: Bedy Purnama PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS INFORMATIKA TELKOM UNIVERSITY LEMBAR PENGESAHAN Rencana Pembelajaran
Lebih terperinciBAB 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
Lebih terperinciFORMULIR RANCANGAN PERKULIAHAN PROGRAM STUDI TEKNIK ELEKTRO FAKULTAS TEKNIK
FORMULIR RANCANGAN PERKULIAHAN PROGRAM STUDI TEKNIK ELEKTRO FAKULTAS TEKNIK Q No.Dokumen 061.423.4.70.00 Distribusi Tgl. Efektif 1 November 2011 Judul Mata Kuliah : Teknik Digital Semester : 4 Sks : 3
Lebih terperinciRENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : 560 / Matematika Diskrit Revisi - Satuan Kredit Semester : 3 SKS Tgl revisi : - Jml Jam kuliah dalam seminggu : 50 menit
Lebih terperinciKATA 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
Lebih terperinci- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat
LOGIKA Tujuan umum : - Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat Tujuan Khusus: - mahasiswa diharapkan dapat : 1. memahami pengertian proposisi,
Lebih terperinciRPKPS 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
Lebih terperinciRENCANA 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
Lebih terperinciSATUAN ACARA PERKULIAHAN MATA KULIAH MATEMATIKA DISKRIT JURUSAN TEKNIK INFORMATIKA SEMESTER 3 DOSEN : HARISON, S.Pd, M.Kom KODE / SKS : TIS3233/3
SATUAN ACARA PERKULIAHAN MATA KULIAH MATEMATIKA DISKRIT JURUSAN TEKNIK INFORMATIKA SEMESTER 3 DOSEN : HARISON, S.Pd, M.Kom KODE / SKS : TIS3233/3 Deskripsi mata kuliah: matematika yang mempelajari obyek
Lebih terperinciSEKOLAH TINGGI MANAJEMEN INFORMATIKA & KOMPUTER JAKARTA STI&K SATUAN ACARA PERKULIAHAN
SEKOLAH TINGGI MANAJEMEN INFORMAA & KOMPUTER JAKARTA STI&K SATUAN ACARA PERKULIAHAN Mata : LOGIKA HIMPUNAN Kode Mata : DK - 11206 Jurusan / Jenjang : S1 SISTEM INFORMASI Tujuan Instruksional Umum : Agar
Lebih terperinciSATUAN 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
Lebih terperinciRENCANA 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
Lebih terperinciBAB 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
Lebih terperinciMatematika Diskrit. Rudi Susanto
Matematika Diskrit Rudi Susanto Rasa ingin tahu adalah ibu dari semua ilmu pengetahuan Tak kenal maka tak sayang, tak sayang maka tak cinta Perjalanan satu mil dimulai dari satu langkah Kuliah kita.. Matematika
Lebih terperinciTELAAH 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
Lebih terperinciSATUAN ACARA PERKULIAHAN. ( Logika Informatika ) Pengesahan. Nama Dokumen : SATUAN ACARA PERKULIAHAN LOGIKA INFORMATIKA
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
Lebih terperinciLOGIKA 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
Lebih terperinciRENCANA 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
Lebih terperinciDASAR-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
Lebih terperinciSILABUS 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
Lebih terperinciMODUL 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
Lebih terperinciPEMROGRAMAN KOMPUTER TIP 1305
RENCANA PEMBELAJARAN SEMESTER (RPS) PEMROGRAMAN KOMPUTER TIP 1305 Oleh: Mega Inayati Rif ah, S.T., M.Sc. NIK. 16.0789.751.E JURUSAN TEKNIK INDUSTRI FAKULTAS TEKNOLOGI INDUSTRI INSTITUT SAINS & TEKNOLOGI
Lebih terperinciPendahuluan Perkuliahan Matematika Diskret
Pendahuluan Perkuliahan Matematika Diskret Kuliah Matematika Diskret Semester Genap 2015-2016 MZI Fakultas Informatika Telkom University FIF Tel-U Januari 2015 MZI (FIF Tel-U) Pendahuluan Perkuliahan Januari
Lebih terperinciLogika Predikat (Kalkulus Predikat)
Logika Predikat (Kalkulus Predikat) Kuliah (Pengantar) Metode Formal Semester Ganjil 2015-2016 M. Arzaki Fakultas Informatika Telkom University FIF Tel-U November 2015 MZI (FIF Tel-U) Logika Predikat (Kalkulus
Lebih terperinciIMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM
IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom
Lebih terperinciLOGIKA 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 Bab 1 Pengantar Logika Proposisional
Lebih terperinciGembong Edhi Setyawan
Gembong Edhi Setyawan Matakuliah : Matematika Komputasi Prasyarat : - Sifat : Wajib Bobot : 4 sks Mata kuliah ini membahas topik yang menjadi dasar matematika bagi mahasiswa informatika-ilmu komputer.
Lebih terperinciRENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) KALKULUS I. Disusun Oleh : Moh. Dahlan, ST., MT.
RENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) KALKULUS I Disusun Oleh : Moh. Dahlan, ST., MT. PROGRAM STUDI TEKNIK ELEKTRO FAKULTAS TEKNIK UNIVERSITAS MURIA KUDUS Agustus 2012 Program Studi Teknik
Lebih terperinciSILABUS MATAKULIAH. Indikator Pokok Bahasan/Materi Aktivitas Pembelajaran
SILABUS MATAKULIAH Revisi : - Tanggal Berlaku : September 2014 A. Identitas 1. Nama Matakuliah : A11.54304/ Sistem Digital 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot
Lebih terperinciMampu memahami unsur-unsur ilmu yang berguna sebagai pondasi untuk pembelajaran selanjutnya yang berkaitan dengan algoritma dan kompleksitas sistem.
RENCANA SEMESTER PEMBELAJARAN F-0653 Issue/Revisi : A1 (22 Juli 2016) Tanggal Berlaku : 1 Februari 2016 Untuk Tahun Akademik : 2015/2016 dst. Masa Berlaku : 4 (empat) tahun Jml Halaman : 13 halaman Mata
Lebih terperinciRENCANA 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 : Matematika Diskrit Semester :2 Kode :
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (RPS) DAN RENCANA PELAKSANAAN PEMBELAJARAN (RPP)
RENCANA PEMBELAJARAN SEMESTER (RPS) DAN RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Mata Kuliah : Elektronika Digital (3 SKS) Kode : ELP 2318 Prasyarat : - Program Studi : Teknik Elektronika (program D-3) Semester
Lebih terperinciSilabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Himpunan Relasi & Fungsi Bagian Aljabar Boolean UAs
LOGIKA INFORMATIKA Silabus Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Himpunan Relasi & Fungsi Bagian Aljabar Boolean UAs Referensi Buku Teks. Edmund Burke and Eric Foxley, 1996
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER
RENCANA PEMBELAJARAN SEMESTER F-0653 Issue/Revisi : A0 Tanggal Berlaku : 1 Februari 2016 Untuk Tahun Akademik : 2015/2016 dst. Masa Berlaku : 4 (empat) tahun Jml Halaman : 13 halaman Mata Kuliah : Matematika
Lebih terperinciSILABUS MATEMATIKA DISKRIT. Oleh: Tia Purniati, S.Pd., M.Pd.
SILABUS MATEMATIKA DISKRIT Oleh: Tia Purniati, S.Pd., M.Pd. JURUSAN PENDIDIKAN MATEMATIKA FAKULTAS PENDIDIKAN MATEMATIKA DAN ILMU PENGETAHUAN ALAM UNIVERSITAS PENDIDIKAN INDONESIA 2009 SILABUS A. Identitas
Lebih terperinciMatematika Komputasi. Rekyan RMP
Matematika Komputasi Rekyan RMP Sekilas Matakuliah : Matematika Komputasi Prasyarat : - Sifat Bobot : Wajib : 4 sks Deskripsi Mata kuliah ini membahas topik yang menjadi dasarmatematika bagi mahasiswa
Lebih terperinciPengantar Matematika Diskrit
Materi Kuliah Matematika Diskrit Pengantar Matematika Diskrit Didin Astriani Prasetyowati, M.Stat Program Studi Informatika UIGM 1 Apakah Matematika Diskrit itu? Matematika Diskrit: cabang matematika yang
Lebih terperinciLOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1
LOGIKA Ratna Wardani Pendidikan Teknik Informatika 10/28/2008> Pertemuan-1-2 1 Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen 10/28/2008>
Lebih terperinciPengantar Matematika. Diskrit. Bahan Kuliah IF2091 Struktur Diksrit RINALDI MUNIR INSTITUT TEKNOLOGI BANDUNG
PROGRAM STUDI TEKNIK INFORMATIKA Sekolah Teknik Elrektro dan Informatika INSTITUT TEKNOLOGI BANDUNG Pengantar Matematika Bahan Kuliah IF2091 Struktur Diksrit Diskrit RINALDI MUNIR Lab Ilmu dan Rekayasa
Lebih terperinciSelamat Datang. MA 2151 Matematika Diskrit. Semester I 2008/2009
Selamat Datang di MA 2151 Matematika Diskrit Semester I 2008/2009 Hilda Assiyatun & Djoko Suprijanto 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 5 th edition. On the
Lebih terperinciTeknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi
Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Djoni Dwijono Teknik Informatika Universitas Kristen Duta Wacana Yogyakarta Email: djoni@ukdw.ac.id Abstrak: Teknik Resolusi sebenarnya tidak
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER
KEMENTERIAN RISET, TEKNOLOGI DAN PENDIDIKAN TINGGI UNIVERSITAS NEGERI YOGYAKARTA FAKULTAS TEKNIK RENCANA PEMBELAJARAN SEMESTER NO.:RPS/TKF/620/2014 SEM: V SKS: 2T Revisi: 01 Tanggal 28 Agustus 2015 PROGRAM
Lebih terperinciDE-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
Lebih terperinciLOGIKA. 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
Lebih terperinciDESKRIPSI 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
Lebih terperinciFAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS ALGORITMA DAN STRUKTUR DATA
No. SIL/EKA/EKA258/43 Revisi : 0 Tgl: 21 Juni 2014 Hal 1 dari 5 MATA KULIAH : Algoritma dan Struktur Data KODE MATA KULIAH : EKA258 SEMESTER : 4 PROGRAM STUDI : Teknik Elektronika DOSEN PENGAMPU : Bekti
Lebih terperinciRencana Pembelajaran Semester (RPS) Minggu Kemampuan Yang Bahan Kajian Metode Waktu Pengalaman Kriteria Penilaian Bobot
Rencana Pembelajaran Semester (RPS) Mata Kuliah : Matematika Dasar Kode Mata Kuliah : - SKS : 3 Jurusan /Program Studi Capaian Pembelajaran : Pendidikan Matematika : S.9 : Menunjukkan sikap bertanggung
Lebih terperinciBAB 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
Lebih terperinciProgram Studi Teknik Informatika STMIK Tasikmalaya
Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com Web
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER PROGRAM STUDI TEKNIK ELEKTRO FAKULTAS TEKNIK ELEKRO TELKOM UNIVERSITY
RENCANA PEMBELAJARAN SEMESTER PROGRAM STUDI TEKNIK ELEKTRO FAKULTAS TEKNIK ELEKRO TELKOM UNIVERSITY MATA KULIAH KODE RUMPUN MK BOBOT (SKS) SEMESTER DIREVISI Matematika Diskrit FEH2J3 3 sks 3 atau 4 22
Lebih terperinciMATEMATIKA MATEMATIK A DISKRIT : : MAT-3615/ 3 : : VI
Nama Kode /SKS Program Studi Semester : : MAT-3615/ 3 sks : Pendidikan : VI (Enam) Oleh : Nego Linuhung, M.Pd Nurain Suryadinata, M.Pd Penyajian materi dalam mata kuliah ini tidak hanya berpusat pada dosen,
Lebih terperinciBAB 7 PENYEDERHANAAN
BAB 7 PENYEDERHANAAN 1. Pendahuluan Bab ini membahaspenggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhaan (simplifying). Berbagai macam ekuivalensi dari berbagai ekpresi logika
Lebih terperinciTABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8
P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran
Lebih terperinciLOGIKA Ponco Wali Pranoto PTI FT UNY create: Ratna W.
LOGIKA Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen Ekspresi Logika (1) Ekspresi Logika adalah proposisi-proposisi yang dibangun
Lebih terperinciMODUL PERKULIAHAN 1 (SATU)
MODUL PERKULIHN 1 (STU) Nama Mata Kuliah : Logika Matematika Kode Mata Kuliah : 0611202 Pengampu Mata Kuliah : Sukenda Semester : III (Tiga) Waktu : 3 50 menit (bobot 3 SKS) Pertemuan ke : 1 Tempat : Ruang
Lebih terperinciSilabus. Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS
Logika Informatika Silabus Pengantar Logika Informatika Logika Proposisi Logika Predikat UTS Silabus (2) Himpunan Relasi dan Fungsi Bagian Aljabar Boolean UAS Referensi Nolt, John, 1990, Schaum's Outline
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (Kelas Teori)
RENCANA PEMBELAJARAN SEMESTER (Kelas Teori) Fakultas : Teknik Industri Jurusan : Teknik Informatika Mata Kuliah & Kode : Matematika Diskrit SKS : Teori : 3 Praktik : - Semester & Waktu : Sem : 1 Waktu
Lebih terperinciRANCANGAN PEMBELAJARAN SEMESTER (RPS)
RANCANGAN PEMBELAJARAN SEMESTER (RPS) MATA KULIAH BAHASA INDONESIA (MKU6209) SEMESTER GASAL 2017 Oleh: Pipit Utami, M.Pd. NIP. 19880422 201404 2 001 PROGRAM STUDI PENDIDIKAN TEKNIK ELEKTRONIKA FAKULTAS
Lebih terperinciFAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA SILABUS TEKNIK DIGITAL
No. SIL/EKA/EKA239/22 Revisi : 00 Tgl: 21 Juni 2010 Hal 1 dari 5 MATA KULIAH : TEKNIK DIGITAL KODE MATA KULIAH : EKA 239 SEMESTER : 2 PROGRAM STUDI : PENDIDIKAN TEKNIK INFORMATIKA DOSEN PENGAMPU : UMI
Lebih terperinciDiktat 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
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (RPS)
RENCANA PEMBELAJARAN SEMESTER (RPS) MUG2A3 LOGIKA MATEMATIKA Disusun oleh: Tim Dosen Logika Matematika PROGRAM STUDI S1 ILMU KOMPUTASI FAKULTAS INFORMATIKA TELKOM UNIVERSITY LEMBAR PENGESAHAN Rencana Semester
Lebih terperinciKOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak
Komparasi Penggunaan Metode Truth Table Dan Proof By Falsification Untuk Penentuan Validitas Argumen (Yani Prihati) KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS
Lebih terperinciRefreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.
Refreshing Materi Kuliah Semester Pendek 2010/2011 Logika dan Algoritma Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA 2011 Materi 1. Logika Informatika Adalah logika dasar dalam pembuatan algoritma pada
Lebih terperinciModul 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
Lebih terperinciSISTEM DIGITAL 1. PENDAHULUAN
SISTEM DIGITAL Perkembangan teknologi dalam bidang elektronika sangat pesat, kalau beberapa tahun lalu rangkaian elektronika menggunakan komponen tabung hampa, komponen diskrit, seperti dioda, transistor,
Lebih terperinciSelamat 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.
Lebih terperinciSILABUS MATAKULIAH. Indikator Pokok Bahasan/Materi Aktifitas Pembelajaran
SILABUS MATAKULIAH Revisi : 1 Tanggal Berlaku : 3 Maret 2014 A. Identitas 1. Nama Matakuliah : A11.54206 / Algoritma dan 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot sks
Lebih terperinciSelamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro
Selamat Datang di MA 2151 Matematika Diskrit Semester I, 2012/2013 Rinovia Simanjuntak & Edy Tri Baskoro 1 Referensi Pustaka Kenneth H. Rosen, Discrete Mathematics and its Applications, 7 th edition, 2007.
Lebih terperinciRENCANA PROGRAM DAN KEGIATAN PEMBELAJARAN SEMESTER. Judul Matakuliah Logika Fuzzy. Disusun oleh: Retantyo Wardoyo
RENCANA PROGRAM DAN KEGIATAN PEMBELAJARAN SEMESTER Judul Matakuliah Logika Fuzzy Disusun oleh: Retantyo Wardoyo PROGRAM STUDI S1 ILMU KOMPUTER JURUSAN ILMU KOMPUTER DAN ELEKTRONIKA FAKULTAS MIPA, UNIVERSITAS
Lebih terperinciLogika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)
Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak
Lebih terperinciRENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A11. 54605 / Kecerdasan Buatan Revisi 2 Satuan Kredit Semester : 3 SKS Tgl revisi : Februari 2014 Jml Jam kuliah dalam seminggu
Lebih terperinciKONTRAK PEMBELAJARAN (KP) MATA KULIAH
KONTRAK PEMBELAJARAN (KP) MATA KULIAH Kode MK: TSK-710 Program Studi Sistem Komputer Fakultas Teknik Universitas Diponegoro Pengajar : Eko Didik Widianto, ST, MT Semester : 7 KONTRAK PEMBELAJARAN Nama
Lebih terperinciBerdasarkan tabel 1 diperoleh bahwa p q = q p.
PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus
Lebih terperinciLogika. 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
Lebih terperinciRENCANA PEMBELAJARAN SEMESTER (RPS)
RENCANA PEMBELAJARAN SEMESTER (RPS) MUG2A3 MATEMATIKA DISKRET Disusun oleh: Tim Dosen Matematika Diskret PROGRAM STUDI S1 TEKNIK INFORMATIKA FAKULTAS INFORMATIKA TELKOM UNIVERSITY LEMBAR PENGESAHAN Rencana
Lebih terperinciProposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
Lebih terperinciRENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)
RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A11.54304/ Sistem Digital Revisi ke : - Satuan Kredit Semester : 3 SKS Tgl revisi : - Jml Jam kuliah dalam seminggu : 3 x
Lebih terperinci: SRI ESTI TRISNO SAMI
By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 E-mail : sriestits2@gmail.com Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta.
Lebih terperinciDESKRIPSI SINGKAT MATAKULIAH
Nama Matakuliah : LOGIKA INFORMATIKA Kode / SKS : MMS 1901 / 3 Prasyarat : -- Status Matakuliah Pilihan : Pilihan DESKRIPSI SINGKAT MATAKULIAH Matakuliah Logika Informatika mempelajari teori dan konsep
Lebih terperinciSATUAN ACARA PERKULIAHAN (SAP) AKADEMI MANAJEMEN INFORMATIKA DAN KOMPUTER (AMIK) LEMBAH DEMPO
SATUAN ACARA PERKULIAHAN (SAP) AKADEMI MANAJEMEN INFORMATIKA DAN KOMPUTER (AMIK) LEMBAH DEMPO 1. Program Studi : Manajemen Informatika (MI) 2. Nama Mata Kuliah : Pemrograman Pascal 2 3. Kode Mata Kuliah
Lebih terperinci