Make your own free website on Tripod.com
Home
 

KODE MK
INFD 207

MATA KULIAH
Logika Matematika

SMT III
SKS 3/-

MATA KULIAH PRASYARAT
Kalkulus II

MATA KULIAH LANJUTAN
Matematika Diskrit, Statistika Dasar, Teori Bahasa dan Otomat.

TUJUAN KURIKULER MATA KULIAH

Memberikan pengetahuan dasar tentang logika yang menjadi dasar dari pemrograman komputer.

POKOK BAHASAN & SUB POKOK BAHASAN
Memperlajari tentang cara menyatakan kalimat logika, menentukan nilai kebenaran kalimat logika,
dan menentukan sifat kalimat logika dalam beberapa representasi yang umum dan mendasari, yaitu :
1. Teori Himpunan.
a. Representasi himpunan.
b. Operasi-operasi himpunan.
c. Relasi dan Fungsi.
2. Aljabar Boolean.
a. Notasi.
b. Sifat dan operasi.
c. Fungsi Boolean.
d. Penyederhanaan fungsi boolean (Metode Aljabar, peta Karnough, metode Quine Mc. Cluskey).
e. Aplikasi fungsi boolean pada rangkaian logika.
3. Kalkulus Proposisi.
a. Definisi
b. Notasi dan Operasi.
c. Nilai kebenaran.
d. Sifat proposisi
e. Penentuan validitas proposisi (tabel kebenaran & tabel jarang, pohon semantik dan metode falsifikasi).
f. Interpretasi yang diperluas.
g. Subtitusi total & Parsial.
4. Kalkulus Predikat.
a. Definisi
b. Notasi dan Operasi.
c. Interpretasi
d. Nilai kebenaran
e. Penentuan validitas (Pembuktian langsung dan tidak langsung falsifikasi).
f. Aplikasi Kalkulus Predikat.

 

 

DAFTAR PUSTAKA
1. Handali Pamuntjak, Kalkulus peubah Banyak, Penerbit ITB, 1982
2. Apostol, Calculus, Vol.2, Bleisdell, 1967.
3. Speigel, Advanced Calculus, Schaum's Outline Series, Mc Graw Hill, 1963.