LOGIKA

INFORMATIKA
Semester Ganjil 2021/2022
PRODI TEKNIK INFORMATIKA
FILKOM-UNH
TUJUAN PEMBELAJARAN
Mempelajari dasar-dasar teori
logika
Dapat menyelesaikan persoalan
matematika dengan menggunakan
logika.
Mengetahui penerapan Logika
dalam pemrograman komputer

Prodi Teknik Informatika STMIK NH 2

PERKULIAHAN
 Logika Informatika : 3 sks
 Tatap muka : 16 kali pertemuan
 Teori  16 kali tatap muka, @ 90 menit
 Tugas penugasan mandiri & kelompok
 Quiz (ulangan)  min 2 kali, mendadak
 UTS  pertemuan ke 8, ujian lokal
 UAS  setelah perkuliahan berakhir, ujian
serentak

3
SISTEM PENILAIAN
 Presensi : 10% dari total kehadiran
 Tugas + Kuis : 20% dari nilai rata-rata tugas+kuis
 UTS : 30% dari nilai UTS
 UAS : 40% dari nilai UAS
 Total keseluruhan nilai 100%
 Range nilai
 0 – 44.99 = E
 45 – 55.99 = D
 56 – 67.99 = C
 68 – 79.99 = B
 80 – 100 = A

4
MATERI PERKULIAHAN (1)
BAB 1 : PENGANTAR LOGIKA
1.1 Pengertian Umum Logika
1.2 Sejarah Logika
1.3 Logika dan Ilmu Komputer

BAB 2 : LOGIKA PROPOSISIONAL

2.1 Pernyataan (Proposisi)
2.2 Penghubung Proposisi
2.3 Tabel Kebenaran
2.4 Ingkaran (Negasi) Suatu Pernyataan
2.5 Tautologi, Kontradiksi, Dan Contingent
5
MATERI PERKULIAHAN (2)
BAB 3 : EKUIVALENSI LOGIKA
3.1 Pernyataan Yang Ekuivalen
3.2 Pembuktian Ekuivalen Dengan Tabel Kebenaran
3.3 Hukum-hukum Ekuivalensi Logika
3.4 Pembuktian Ekuvalen Dengan Hukum Ekuivalensi
3.5 Penyederhanaan Logika

BAB 4 : INFERENSI LOGIKA

4.1 Argumen Valid Dan Invalid
4.2 Aturan Penarikan Kesimpulan
6
MATERI PERKULIAHAN (3)
BAB 5 : LOGIKA PREDIKAT
5.1 Pengantar Logika Predikat
5.2 Argumen Pada Logika Predikat
5.3 Aturan Penulisan Logika Predikat

BAB 6 : KALIMAT BERKUANTOR

6.1 Logika Predikat Berkuantor
6.2 Kuantor Universal
6.3 Kuantor Eksistensial
6.4 Negasi Kuantor
6.5 Kuantor Ganda
7
MATERI PERKULIAHAN (4)
BAB 7 : RESOLUSI LOGIKA
7.1 Pendahuluan
7.2 Bentuk Conjunctive Normal Form (Cnf)
7.3 Langkah Resolusi

BAB 8 : ALJABAR BOOLEAN

8.1 Fungsi Boolean
8.2 Gerbang Logika
8.3 Bentuk Kanonik
8.4 Penyederhanaan fungsi boolean
8
REFERENSI
 Pengantar Logika Informatika, Algoritma &
Pemrograman, Heri Sismoro, Andi Offset
Yogyakarta
 Logika Informatika, Suprapto, Gava Media,
 Matematika Diskrit dan Aplikasinya Dalam
Ilmu Komputer, Jong Jek Siang, Andi Offset.
 Sumber lain dari internet

9
PENGANTAR KULIAH
LOGIKA
INFORMATIKA
(PENGERTIAN UMUM, SEJARAH,
PENERAPAN)
PERTEMUAN 1
POKOK BAHASAN
 Pengertian Umum Logika
 Gambaran Umum Logika
 Hubungan Matematika, Logika, Dan Ilmu
Komputer

Prodi Teknik Informatika STMIK NH 11

1.1 PENGERTIAN UMUM LOGIKA
 FILSAFAT DAN MATEMATIKA
 Bidang pengetahuan rasional yang ada sejak
dahulu.
 Dasar pemikiran ilmu geometri dan logika.
 THALES (640-546 SM)
Ilmuwan geometri
Bapakfilosofi dan penalaran deduktif.
 PHYTAGORAS (572-497 SM)

Filosof dan ahli matematika

Dalil phytagorasnya yang terkenal yaitu
a2+b2=c2 .

Prodi Teknik Informatika STMIK NH 12

1.1 LANJUTAN.........
 PENGERTIAN LOGIKA
 Berasal dari bahasa yunani “LOGOS” yang berarti kata,
ucapan, atau alasan.
 Logika
 Merupakan metode atau teknik yang diciptakan untuk meneliti ketepatan
penalaran.
 Mengkaji prinsip-prinsip penalaran yang benar dan penarikan kesimpulan
yang absah.
 Perkembangan
 Logika tradisional/logika klasik  Pertama kali dikembangkan sekitar 300 SM
oleh ARISTOTELES
 Logika modern/logika simbolik  Dikembangkan oleh GEORGE BOOLE dan DE
MORGAN
 Menggunakan simbol-simbol logika secara intensif.

Prodi Teknik Informatika STMIK NH 13

ILMU LOGIKA
 Berhubungan dengan kalimat-kalimat (argumen) dan
hubungan yang ada diantara kalimat-kalimat tersebut.
 Tujuannya adalah memberikan aturan-aturan sehingga
orang dapat menentukan apakah suatu kalimat bernilai
benar.
 Kalimat yang dipelajari bersifat umum,
 Aturan-aturan yang berlaku di dalamnya haruslah bersifat
umum
 Menitik beratkan dalam bentuk sintaks-sintaks daripada
arti dari kalimat itu sendiri
 Dasar pemikiran logika klasik adalah logika benar dan
salah yang disebut LOGIKA BINER
 Benar=True=1

 Salah=False=0

Prodi Teknik Informatika STMIK NH 14

1.2 GAMBARAN UMUM LOGIKA
Logika dibagi menjadi 2
1. Logika Pasti
 Logika Pernyataan
 Logika Predikat
 Logika Hubungan
 Logika Himpunan
2. Logika Samar
 Logika Fuzzy

Prodi Teknik Informatika STMIK NH 15

LOGIKA PASTI
 Logika Pernyataan
 Membicarakan tentang pernyataan tunggal dan kata
hubungnya sehingga didapat kalimat majemuk yang
berupa kalimat deklaratif.
 Logika Predikat
 Menelaah variabel dalam suatu kalimat, kuantifikasi
dan validitas sebuah argumen
 Logika Hubungan
 Mempelajari hubungan antara pernyataan, relasi
simetri, refleksif, antisimtris,
 Logika Himpunan
 Membicarakan tentang unsur-unsur himpunan dan
hukum-hukum yang berlaku di dalamnya
Prodi Teknik Informatika STMIK NH 16
LOGIKA SAMAR/LOGIKA FUZZY
 Pertama kali diperkenalkan pada tahun 1965 oleh Lotfi A
Zadeh dari Universitas California Berkeley
 Logika Samar memiliki nilai kebenaran bukan bersifat crisp
(tegas) 0 dan 1 saja tetapi berada diantaranya
(multivariabel)
 Digunakan untuk merumuskan pengetahuan dan
pengalaman manusia yang mengakomodasi ketidakpastian
ke dalam bentuk matematis
 Pada aplikasinya dalam bidang komputer, logika fuzzy
diimplementasikan untuk memenuhi kebutuhan manusia
akan sistem komputer yang dapat merepresentasikan cara
berpikir manusia.
 Logika samar banyak diterapkan dalam kecerdasan buatan,
mesin pintar atau sistem cerdas dan alat-alat elektronika

Prodi Teknik Informatika STMIK NH 17

LOGIKA SIMBOLIS
 Dipelopori oleh Leibniz, De Morgan, dan Boole
 Ilmu tentang penyimpulan yang sah (absah)
 Dikembangkan menggunakan metode matematika
 Menggunakan simbol-simbol khusus sehingga
memungkinkan seseorang menghindari makna ganda dari
bahasa sehari-hari.
 Simbol digunakan untuk mempelajari secara rinci
bagaimana akal harus bekerja dan bercirikan teknis,
matematis, dan ilmiah.
 Simbol matematika untuk mewakili bahasa dalam bentuk
pernyataan yang bernilai benar atau salah.
 Menjadi dasar logika formal yang semata-mata menelaah
bentuk dan bukan isi/arti dari apa yang dibicarakan.

Prodi Teknik Informatika STMIK NH 18

1.3 HUBUNGAN LOGIKA,
MATEMATIKA, DAN ILMU KOMPUTER
 RUDOLF CARNAP (1931)
 Konsep matematika dapat diturunkan dari konsep-konsep logika
dengan melalui batasan-batasan yang jelas.
 Dalil-dalil matematika dapat diturunkan dari aksioma-aksioma logika
dengan perantara deduksi logis secara murni.
 BETRAND RUSSEL
 Arsitektur sistem komputer tersusun atas rangkaian logika 1 (true) dan
0 (false) yang dikombinasikan dengan sejumlah gerbang logika AND.
OR, NOT, XOR, dan NAND.
 Program komputer berjalan di atas struktur penalaran yang baik dari
suatu solusi terhadap suatu permasalahan dengan bantuan komponen
program
 IF…THEN…ELSE,
 FOR…TO…DO,
 WHILE,
 CASE…OF.Prodi Teknik Informatika STMIK NH 19
TUGAS RINGKASAN LITERATUR
 Cari literatur di internet yang membahas tentang
sejarah perkembangan logika matematika dalam ilmu
komputer
 Gunakan search engine Google Cendekia atau Google
Scholar di link berikut https://scholar.google.com/
 Gunakan salah satu keyword / kata kunci : history of
mathematical logic atau history+logic + mathematics.
 Carilah minimal 3 literatur dan buatkan resumenya
dalam bahasa indonesia, minimal 2 halaman A4
dengan spasi 1.
 Di akhir ringkasan, tuliskan link ‘Sumber Referensi’,
alamat internet dimana literatur tersebut diperoleh.
 Tugas dikerjakan berkelompok: 3 orang/kelompok

Prodi Teknik Informatika STMIK NH 20

BUKA GOOGLE
SCHOLAR/CENDEKIA

Prodi Teknik Informatika STMIK NH 21

MASUKKAN KATA PENCARIAN

Prodi Teknik Informatika STMIK NH 22

KATA KUNCI LAIN
 History of computer logic
 History of mathematic logic in computer
 History of inference in computer using logic
 History of predicate calculus in computer
logic
 Mathematics logic in predicate calculus
 History of propotional calculus in logic
 History of resolution in logical inference
 dsb

Prodi Teknik Informatika STMIK NH 23

HASIL

Prodi Teknik Informatika STMIK NH 24

AMBIL 3 JURNAL SEBAGAI
REFERENSI

Contoh
judul
jurnal

Prodi Teknik Informatika STMIK NH 25

FORMAT RINGKASAN

Prodi Teknik Informatika STMIK NH 26

 selesai

Prodi Teknik Informatika STMIK NH 27