FAKULTAS TEKNIK

UNIVERSITAS NEGERI YOGYAKARTA

SILABUS LOGIKA

No. SIL/EKA/PTI 206/01 Revisi : 00 Tgl : 1 April 2008 Hal 1 dari 4

Dibuat oleh : Diperiksa oleh :

MATA KULIAH : Logika
KODE MATA KULIAH : PTI 206
SEMESTER : 1
PROGRAM STUDI : Pendidikan Teknik Informatika
DOSEN PENGAMPU : Ratna Wardani, MT







I. DESKRIPSI MATA KULIAH
Logika yang dipelajari dalam bidang Informatika disebut logika matematika karena
merupakan cabang dari ilmu matematika yang memperdalam masalah logika.
Matakuliah logika memberikan suatu metode atau cara yang sistematis dalam
berpikir (reasoning). Terdapat dua metode cara berpikir yang digunakan, yaitu
Logika Proposisi dan Logika Predikat. Dengan Logika, diharapkan dapat
mengurangi tindakan menebak dalam menghadapi dan menyelesaikan suatu
masalah sehingga masalah tersebut dapat diselesaikan dengan suatu jawaban
yang dikerjakan dengan sistematis. Cara berpikir dengan dasar logika ini dapat
dijadikan program dan dilaksanakan oleh komputer sehingga komputer dapat
melakukan kemampuan berpikir walaupun secara sederhana.


II. KOMPETENSI YANG DIKEMBANGKAN
Mahasiswa memiliki penguasaan logika berpikir dan konsep-konsep dasar logika
matematika dalam mengembangkan algoritma pemrograman.


III. INDIKATOR PENCAPAIAN KOMPETENSI
A. Aspek Kognitif dan Kecakapan Berpikir
a. Mahasiswa mampu menggunakan kaidah-kaidah dan aturan-aturan logika
matematika dalam menyelesaikan suatu permasalahan

B. Aspek Psikomotor
Mahasiswa mampu mengemukakan pendapat dan memberikan argument yang
tepat untuk menyelesaikan suatu persoalan

C. Aspek Affektif, Kecakapan Sosial dan Personal
Mahasiswa mampu bekerja dalam kelompok untuk menyelesaikan masalah
yang diberikan dalam bentuk diskusi


IV. SUMBER BACAAN
A. J ean-Paul Tremblay., 1996, Logic and Discrete Mathematics, Prentice Hall,
New J ersey
B. F. Soesianto & Djoni Dwijono, 2003, Logika Proposisional, Andi Offset,
Yogyakarta
C. F. Soesianto & Djoni Dwijono, 2003, Logika Predikatif, Andi Offset,
Yogyakarta
Ratna W, MT
Dilarang memperbanyak sebagian atau seluruh isi dokumen
tanpa ijin tertulis dari Fakultas Teknik Universitas Negeri Yogyakarta


FAKULTAS TEKNIK
UNIVERSITAS NEGERI YOGYAKARTA
SILABUS LOGIKA

No. SIL/EKA/PTI 206/01 Revisi : 00 Tgl : 1 April 2008 Hal 2 dari 4

Dibuat oleh : Diperiksa oleh :
D. Rinaldi Munir, 2003, Matematika Diskrit, Edisi Ke-2, Informatika, Bandung


V. PENILAIAN

Tabel Ringkasan Bobot Penilaian
No. J enis Penilaian Skor
Maksimum
1 Partisipasi dan Kehadiran Kuliah 5%
2 Tugas Mandiri 10%
3 Tugas Kelompok 15%
4 Ujian Tengah Semester 30%
5 Ujian Akhir Semester 40%


VI. SKEMA KERJ A

Minggu
ke
Kompetensi dasar Materi dasar Strategi
perkuliahan
Sumber/
referensi

1
Mahasiswa memahami
konsep dasar logika,
sejarah dan peranan
logika dalam bidang
informatika



Pengantar


Ceramah dan
diskusi


Ref. A


2 - 3
Mahasiswa memahami
repesentasi bilangan
biner, desimal dan
hexadesimal
Mahasiswa memahami
teknik konversi bilangan
Mahasiswa dapat
melakukan operasi-
operasi aritmatika
bilangan



Representasi
Bilangan
Konversi
bilangan
Aritmatika
bilangan


Ceramah dan
diskusi




Ref. A


4
Mahasiswa dapat
menjelaskan bentuk
formal logika dan kaidah
dasarnya
Mahasiswa dapat
menjelaskan variabel
dan konstanta
preposisional


Konsep dasar
Logika
Proposisi
Variabel dan
konstanta
preposisi


Ceramah dan
diskusi



Ref. A
Ref. B

5
Mahasiswa dapat
menjelaskan aturan
table kebenaran pada







Ratna W, MT
Dilarang memperbanyak sebagian atau seluruh isi dokumen
tanpa ijin tertulis dari Fakultas Teknik Universitas Negeri Yogyakarta


FAKULTAS TEKNIK
UNIVERSITAS NEGERI YOGYAKARTA
SILABUS LOGIKA

No. SIL/EKA/PTI 206/01 Revisi : 00 Tgl : 1 April 2008 Hal 3 dari 4

Dibuat oleh : Diperiksa oleh :
setiap logical
connectives ( Konjungsi,
disjungsi, Negasi,
implikasi, Ekuivalensi)
Mahasiswa dapat
menjelaskan aturan
tabel kebenaran yang
merupakan kebalikan
(Nand, Nor dan Exor)


Tabel
Kebenaran
Logical
connectives


Ceramah dan
diskusi


Ref. A
Ref. B

6
Mahasiswa dapat
melakukan evaluasi
ekspresi logika dengan
tabel kebenaran
Mahasiswa dapat
membuktikan suatu
argument dengantabel
kebenaran yang
menghasilkan tautology
Mahasiswa dapat
mengevaluasi validitas
argument yang bukan
tautologi (kontradiksi dan
contingent)







Tautologi
Kontradiksi
Contingent




Ceramah dan
diskusi







Ref. A
Ref. B

7
Mahasiswa dapat
menunjukkan
ekuivalensi dua ekspresi
logis dengan tabel
kebenaran
Mahasiswa dapat
menjelaskan hukum-
hukum dalam logika
yang diperoleh dari
ekuivalensi berbagai
ekspresi logika





Ekuivalensi
logis


Ceramah dan
diskusi




Ref. A
Ref. B

8
Mahasiswa dapat
menjelaskan operasi
penyederhanaan
menggunakan hokum
logika
Mahasiswa dapat
menjelaskan teknik
pembalikan untuk
membuktikan validitas
suatu argumen





Simplifikasi
Falsifikasi


Ceramah dan
diskusi




Ref. A
Ref. B
9 Ujian Tengah Semester Mengerjakan
soal
Pertemu
an 1 - 8
10
Mahasiswa dapat
menjelaskan komponen
Logika
predikatif



Ratna W, MT
Dilarang memperbanyak sebagian atau seluruh isi dokumen
tanpa ijin tertulis dari Fakultas Teknik Universitas Negeri Yogyakarta


FAKULTAS TEKNIK
UNIVERSITAS NEGERI YOGYAKARTA
SILABUS LOGIKA

No. SIL/EKA/PTI 206/01 Revisi : 00 Tgl : 1 April 2008 Hal 4 dari 4

Dibuat oleh : Diperiksa oleh :
sintaktik logika predikatif
seperti Semesta
pembicaraan, predikat,
variabel dan kuantor

Interpretasi
Validity
Ceramah dan
diskusi
Ref. A
Ref. C
11
Mahasiswa dapat
menjelaskan aturan-
aturan derivasi dalam
logika predikatif

Derivasi
Ekuivalensi
logika
Ceramah dan
diskusi

Ref. A
Ref. C

12 - 13
Mahasiswa dapat
menggunakan himpunan
sebagai salah satu
model dalam
penyelesaian masalah
Mahasiswa dapat
menjelaskan operasi-
operasi antar himpunan
Mahasiswa dapat
menggunakan hukum
dan kesamaan aljabar
dalam himpunan




Himpunan dan
Operasi
Himpunan
Tuple,
Sequences
dan PowerSets




Ceramah dan
diskusi





Ref. A
Ref. D

14
Mahasiswa dapat
menjelaskan relasi dan
representasinya
Mahasiswa dapat
menjelasakan operasi-
operasi atas suatu relasi


Relasi
Komposisi
Relasi
Properti Relasi

Ceramah dan
diskusi


Ref. A
Ref. D

15 - 16
Mahasiswa dapat
menjelaskan fungsi,
notasi dan representasi
suatu fungsi
Mahasiswa dapat
menjelaskan operasi-
operasi dlam fungsi
Mahasiswa dapat
menjelaskan invers
fungsi dan
persyaratannya




Fungsi
Operasi
terhadap fungsi
Invers fungsi




Ceramah dan
diskusi




Ref. A
Ref. D




Ratna W, MT
Dilarang memperbanyak sebagian atau seluruh isi dokumen
tanpa ijin tertulis dari Fakultas Teknik Universitas Negeri Yogyakarta