80 likes | 479 Views
LOGIKA INFORMATIKA. Yenni Astuti , S.T., M.Eng . Teknik Informatika STTA 2013. Silabus. Logika Proposisional Logika Predikat Rangkaian Logika Kombinasional Referensi : Logika Informatika , Gava Media, Suprapto. Kontrak Kuliah. Kehadiran : 20% Tugas : 30% UTS : 25% UAS : 25%.
E N D
LOGIKA INFORMATIKA YenniAstuti, S.T., M.Eng. TeknikInformatika STTA 2013
Silabus • LogikaProposisional • LogikaPredikat • RangkaianLogikaKombinasional • Referensi: LogikaInformatika, Gava Media, Suprapto
KontrakKuliah • Kehadiran : 20% • Tugas : 30% • UTS : 25% • UAS : 25%
Logika • Logika Logos (Yunani): sabda, pikiran, ilmu • Etimologis Logikaadl. Ilmuttgpikiran/ ilmumenalar • Logika: ilmupengetahuan & kecakapanberpikirlurus/ tepat
LogikaProposisional • Proposisional: Setiappernyataan yang hanyamemilikisatunilaibenaratausalah • Contoh: Gajah berbadanbesardibandingsemut TRUE • Contoh: Ada kehidupan di bulanatautidakadakehidupan di bulan TRUE
LogikaProposisional • Indonesia mempunyaipenduduklebihbesardariCinaatau Indonesia mempunyaipenduduklebihkecilatausamadenganCina. TRUE • Sekarangtahun 2011 Sebelumnyatahun2010 FALSE • y > 5 bukanproposisional
P or (not P) TRUE: Valid • not (P and (not P)) or Q • Not ([x<0] dan (not[x<0]) or y>0 • P and (not P) FALSE: Contradictory • (p or q) or not (p or q)
Blog: yennistuff.wordpress.com • Email: yenni.stta@gmail.com