P. 1
Materi Kuliah Logika Matematika 090310

Materi Kuliah Logika Matematika 090310

|Views: 436|Likes:
Dipublikasikan oleh Padang Wardoyo

More info:

Published by: Padang Wardoyo on Jun 01, 2012
Hak Cipta:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less

08/23/2014

pdf

text

original

10:17:52 AM

LOGIKA MATEMATIKA
( T09108 – 2 SKS )

Sekolah Tinggi Teknologi Ilmu Komputer

STTIKOM INSAN UNGGUL
Komplek Istana Cilegon Jl.Jend. Sudirman No. 146 Kav. 25-28 Cilegon 42414 Tel. 0254-396171 Fax. 0254-396172 E-Mail: wahyu.iu@gmail.com Website: www.sttikom-iu.ac.id

6/1/2012

1

home

back

next

10:17:52 AM

LOGIKA MATEMATIKA
( T09108 – 2 SKS )

Dosen Pengampu: H.Padang Wardoyo,ST,MM.
Tel. (0254) 389905 Hp. 081 317 357 660 E-Mail:padang.wardoyo1@yahoo.co.id

6/1/2012

2

home

back

next

10:17:52 AM
BIOGRAPHIES
H.Padang Wardoyo,ST,MM.
40 Years, Married, 3 Children Degree in Electrical Engineering , Sepuluh Nopember Institute of Technology (ITS) Surabaya ,1989 -1996 Master Degree in Magister Management, STIE IPWIJA Jakarta, 2007- 2009

2008-2009 PT. Expro Mandiri , PCI Cilegon Trainer for Competence sertification training K3 of Electric Technician.
Electrical Measurement; Protective Measures VDE 100, Classification of Electrical Load.

2008-2009 PT. Siemens Indonesia & Yayasan Werner Von Siemens BSD Tangerang Internship Training Lecturer for Swiss German University.
Electrical Measurement; Power Measurement; Protection Measures VDE 0100, & Electrical Drawing.

1996 -2007 PT. Siemens Indonesia, VTC KIEC Cilegon Factory • Telecommunication Electronics Coordinator .
Curriculum development, training moduls, lesson plans, and job sheets, to plan time schedule of training program, to control and evaluate realization of curriculum implementation.

• Senior Lecturer for Industrial-Training, Industrial-Electronics , Industrial-Instrumentation & MechatronicsTrade.
Digital Technics; Local Area Network (LAN); Basic Computer; Hidraulics; PLC Simatic S7; Analog Technics; Basic Electronic Component and Circuits; Optoelectronics; Power and Electrical Measurement ; Protection Measures VDE 0100. for customers of Industries and Educational Institution such as COM Siemens, PT. KS, PT SEAPI, PT AVEBE, PT AMI, UNJ, UNTIRTA, SGU etc.

6/1/2012

3

home

back

next

10:17:52 AM
LOGIKA MATEMATIKA RUANG KULIAH, STTIKOM-IU, KOMP. ISTANA CLG,10 Mar.- 23 Juni 2010
PERT. KEJAM KEJAM MATERI

1
Rabu,10 Mar.10 2 Rabu,17 Mar.10 3 Rabu,24 Mar.10 4 Rabu,31 Mar.10 5 Rabu,7 Apr.10

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

13.00-13.50 13.50-14.40 13.00-13.50 13.00-13.50

Pendahuluan :
Sejarah, arti, & manfaat logika; kalkulus proposisi; kakulus predikat; sistem logika.

Kalkulus Proposisi : Formula & Model Kalkulus Proposisi : Formula & Model Kalkulus Proposisi : Deduksi Kalkulus Proposisi : Resolusi & BDD Himpunan : Himpunan :
Ujian Tengah Semester (UTS)

13.50-14.40 Operator Boolean; Formula Proposisi; Interpretasi

13.50-14.40 Substitusi & ekuivalensi logika; satifiability; validity; &consequent 13.00-13.50 13.00-13.50

13.50-14.40 Pembuktian Deduktif; Sistem Gentzen (G); Sistem Hilbert (H) 13.50-14.40 Resolusi; Binary Decision Diagram (BDD); Algoritma BDD; Kompleksitas, Quiz 1 (Q1) 13.00-13.50 13.00-13.50 13.00-13.50 13.50-14.40 13.50-14.40 Himpunan Finite&Infinite; Operator Himpunan; Ordered sets. 13.50-14.40 Relasi; Fungsi; Kardinalitas, Quiz 2 (Q2)

6 Rabu,14 Apr.10 7 Rabu,21 Apr.10 8 Rabu,28 Apr.10

6/1/2012

4

home

back

next

10:17:52 AM
PERT.KEJAM KEJAM MATERI

9
Rabu,5 Mei 10 10 Rabu,12 Mei 10 11 Rabu,19 Mei 10 12 Rabu,26 Mei 10 13 Rabu,2 Juni 10 14 Rabu,9 Juni 10 15 Rabu,16 Juni 10 16 Rabu,23 Juni 10

17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32

13.00-13.50 Kalkulus Predikat : Formula & Model Relasi dan formula predikat, logika equivalen dan substitusi, model 13.50-14.40 finite & Infinite, Decideability. 13.00-13.50 Kalkulus Predikat : Deduksi Sistem Gentzen (G); Sistem Hilbert (H), Implementasi, Teori 13.50-14.40 Complete dan Decidable. 13.00-13.50 Kalkulus Predikat : Resolusi 13.50-14.40 Fungsi dan istilah, bentuk clausal, teorema dan model herbrand. 13.00-13.50 Kalkulus Predikat : Resolusi ; Quiz 3 (Q3) 13.50-14.40 Resolusi ground, substitusi, unifikasi dan resolusi umum. 13.00-13.50 Semantik dan Verifikasi program 13.50-14.40 Semantik bahasa pemrograman, sistem deduksi HL, verifikasi dan sintesis program. 13.00-13.50 Pemrograman Logika 13.50-14.40 Aturan dan batasan pemrograman logika, contoh pada prolog. 13.00-13.50 Pemrograman Logika; Quiz 4 (Q4) 13.50-14.40 13.00-13.50 13.50-14.40 Studi Kasus 1 : A Traffic Signal, Notasi Z, Studi Kasus 2 : Semantic Tableaux.

Ujian Akhir Semester (UAS)
5
home back next

6/1/2012

10:17:52 AM

Daftar Referensi/Literatur:
1. Ben Ari, Mordechai, (2006), Mathematical Logic for Computer Science, Springer, New York. 2. Cori, Rene, Daniel Lascar and Donald Pelletier, (2000), Mathematical Logic: A course With Exercise, Oxford University Press. 3. Manna, Zohar & R.Waldinger,(1993), Deductive Foundation Of Computer Programing, Addison Wesley. 4. Suryadi,D.(1989), Aljabar Logika dan Himpunan, Jakarta, Gunadarma.
6/1/2012 6
home back next

10:17:53 AM

Sistem Penilaian:
1. Kehadiran – 14 session. (10 point)
2. Tugas/Quis (Q1, Q2, Q3, Q4).(40 point )

3. UjianTengah Semester (UTS). (20point)
4. Ujian Akhir Semester (UAS).(30point)

6/1/2012

7

home

back

next

10:17:53 AM

Tujuan Perkuliahan:
1. 2. 3. 4. 5. Memahami sejarah, arti, & pentingnya logika. Memahami konsep dasar kalkulus proposisi. Memahami konsep dasar himpunan. Memahami konsep dasar kalkulus predikat. Memahami konsep dasar semanic & verifikasi program. 6. Memahami paradigma pemrograman logika.

6/1/2012

8

home

back

next

You're Reading a Free Preview

Mengunduh
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->