Post on 08-Apr-2019
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 herisismoro@gmail.com | herisismoro@amikom.ac.id
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