LOGIKA INFORMATIKA - mti.amikom.ac.idmti.amikom.ac.id/gudang/2013/02/0_Pengantar.pdfMateri Kuliah Logika Informatika NoNo MateriMateri Pokok BahasanPokok Bahasan 1 Logika Proposisional

LOGIKA INFORMATIKALOGIKA INFORMATIKALOGIKA INFORMATIKALOGIKA INFORMATIKA

OVERVIEWOVERVIEW

Heri Sismoro, M.Kom.

STMIK Amikom Yogyakarta

STMIK AMIKOM YOGYAKARTA

Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208

Website: www.amikom.ac.id

BiodataHeri Sismoro, S.Kom., M.Kom.

TTL Pemalang, 23 Mei 1974

JK Laki-laki

Agama Islam

Alamat Email [email protected] | [email protected]

Pendidikan SD (1987) | SMP (1990) | SMA (1993) di Pemalang Jawa Tengah

S1 Ilmu Komputer UGM Yogyakarta (2000)

S2 Magister Ilmu Komputer UGM Yogyakarta (2007)

Pekerjaan Sekarang 1. Dosen STMIK AMIKOM Yogyakarta (2000 – sekarang)

2. Kabag P3M STMIK Amikom Yogyakara (2005 – sekarang)

3. Direktur Pemasaran CV. iTrace Yogyakarta

Materi KuliahMateri Kuliah

Logika InformatikaLogika Informatika

NoNo MateriMateri Pokok BahasanPokok Bahasan

1 Logika Proposisional � Pernyataan (Proposition)

� Kalimat (Sentences)

� Notasi (Notation)� Notasi (Notation)

� Interpretasi (Interpretation)

2 Logika Proposisional � Aturan Semantik (Sematic Rule)

� Tabel Kebenaran (Truth Table)

� Properties of Sentences

� Inferensi Logika

� Quantifier Sentences

NoNo MateriMateri Pokok BahasanPokok Bahasan

33 Logika KombinasionalLogika Kombinasional �� Logika BinerLogika Biner

�� Logika GerbangLogika Gerbang

�� Aljabar BooleanAljabar Boolean

�� Identitas Dasar Aljabar BooleanIdentitas Dasar Aljabar BooleanIdentitas Dasar Aljabar BooleanIdentitas Dasar Aljabar Boolean

�� Manipulasi AljabarManipulasi Aljabar

44 Logika KombinasionalLogika Kombinasional �� Minterm dan MaxtermMinterm dan Maxterm

�� Sum of Product dan Product of SumSum of Product dan Product of Sum

�� Penyederhanaan dengan KPenyederhanaan dengan K--MapMap

NoNo MateriMateri Pokok BahasanPokok Bahasan

55 AlgoritmaAlgoritma �� Pengantar AlgoritmaPengantar Algoritma

�� Penyajian AlgoritmaPenyajian Algoritma

66 AlgoritmaAlgoritma �� Struktur Dasar AlgoritmaStruktur Dasar Algoritma66 AlgoritmaAlgoritma �� Struktur Dasar AlgoritmaStruktur Dasar Algoritma

�� Sequence StructureSequence Structure

�� Selection StructureSelection Structure

�� Repetition StructureRepetition Structure

Referensi

Pengantar Logika Informatika Algoritma, dan Pemrograman Komputer| penerbit Andi Offset, 2005 |

Referensi Lainnya: Buku / materi internet