Silabus Mata Kuliah (8). doc
SILABUS MATA KULIAH
Mata Kuliah/Kode
: Logika Informatika
Bobot SKS/Semester : 2 SKS / Semester 1
Prasyarat
:
Standar Kompetensi :
1. Mahasiswa mampu mengidentifikasikan logika proposisional.
2. Mahasiswa mampu mengkonstruksikan operasi – operasi pembuktian pada logika proposisional
3. Mahasiswa mampu mengkonstruksikan inferensi pada logika proposisional
4. Mahasiswa mengenal logika predikat
Referensi
:
1. F. Soesianto dan Djoni Dwijono, Logika matematika untuk ilmu komputer, 2010, Penerbit ANDI
No.
(1)
1
2
Kompetensi Dasar
Indikator
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
(2)
Menafsirkan materi perkuliahan,
metode pembelajaran, teknik
penilaian.
(3)
- Mahasiswa mencatat materi
perkuliahan.
- Mahasiswa mampu menguraikan metode pembelajaran
logika informatika
- Mahasiswa dapat menguraikan
teknik penilaian
(4)
- Silabus dan RPP
(5)
- Mahasiswa berdikusi tentang materi,
metode perkuliahan, serta formula penilaian
Menyimpulkan pengertian, jenis dan
manfaat logika.
- Mahasiswa dapat menyebutkan
pengertian logika.
- Mahasiswa dapat membangun
argument dan menelaah validitas argumen.
- Mahasiswa mampu menguraikan jenis logika.
- Argumen
- Validitas Argumen
- Jenis – jenis logika
- Mahasiswa menyusun argumen serta
menelusuri validitas argumen yang
dibuat.
- Mahasiswa menyebutkan jenis – jenis
logika.
Sumber
Belajar/Media/
Alat
(6)
- Silabus dan
RPP
- Buku Logika
Matematika
untuk Ilmu
Komputer
Alokasi Waktu
Penilaian
(7)
1x50 menit
(8)
-
1 x 50 menit
-
No.
Kompetensi Dasar
Indikator
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
Sumber
Belajar/Media/
Alat
- Komputer
dan contoh
logika
Alokasi Waktu
Penilaian
1 x 50 menit
lisan
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Membuat skema dari proposisi maje- Buku dan
muk
lembar kerja
mahasiswa
- Memecah proposisi majemuk kedalam
fpe
2 x 50 menit
Tulisan
3
Menyusun logika formal dan
validitas argumen lanjutan
- Mahasiswa mampu menjelaskan - Argumen lanjutan
bentuk logika formal serta
- Proposisi
kaidah dasar logika
- Bentuk silogisme
- Mahasiswa dapat menyusun silogisme sebagai bentuk argument yang valid.
- Membuat logika proposisi
- Membedakan argument dengan logika
proposisi
- Membuat silogisme
4
Menjelaskan konsep tabel kebenaran
- Membuat tabel kebenaran dan mengoperasikan ekspresi
- Menggunakan operator logika dalam
tabel kebenaran
5
Menyusun proposisi majemuk
- Mahasiswa dapat menggunakan - Tabel kebenaran
aturan tabel kebenaran.
- Operator logika
- Mahasiswa mampu menerapkan
Konjungsi
operator logika dalam tabel
Disjungsi
kebenaran
Negasi
- Mahasiswa dapat menggunakan
Implikasi
kebalikan dari operator logika
Biimplikasi
dalam aturan tabel kebenaran
- Kebalikan operator logika
Nand
Nor
Xor
- Mahasiswa mampu menjelaskan - Ekspresi logika
pengertian proposisi majemuk
- Skema
- Mahasiswa menguraikan man- Analisis proposisi majefaat skema
muk
- Mahasiswa dapat menyusun
- Aturan pengurutan
urutan operasi operator logika
- Mahasiswa mampu memecah
proposisi majemuk kedalam
fully parenthesized expressions
6
Menerapkan tautology dalam logika
proposisi
- Mahasiswa dapat menilai ekspresi logika melalui tabel kebenaran
- Mahasiswa mampu membuktikan validitas argument dengan
tabel kebenaran
- Mahasiswa mampu mengidentifikasi validitas argument yang
tautology, kontradiksi dan contigent
-
Sumber
Belajar/Media/
Alat
Evaluasi validitas argument - Membuktikan validitas ekspresi logika - Buku dan
apakah tautology, kontradiksi atau
lembar kerja
Tautology
contigent.
mahasiswa
Kontradiksi
- Membedakan implikasi logis dan
Contigent
ekuivalensi logis.
Pemanfaatan tautology
7
Mengenal konsep ekuivalensi logis
- Mahasiswa mampu membuktikan ekuivalensi logis.
- Mahasiswa mampu membuktikan sifat komutatif dan atau
asosiatif dari ekuivalensi logis.
- Mahasiswa menghafal hukum –
hukum logika
-
Ekuivalensi logis
Komutatif
Asosiatif
Hukum – hukum logika
8
Menerapkan penyederhanaan
ekspresi logika
- Mahasiswa mampu menggunakan hukum logika untuk
menyederhanakan ekspresi
logika
- Operasi penyederhanaan
- Mereduksi implikasi dan
biimplikasi.
- Operasi dasar logika
No.
Kompetensi Dasar
Indikator
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
Alokasi Waktu
Penilaian
2 x 50 menit
Tulisan
- Membutikan ekuivalensi logis dari 2
buah atau lebih ekspresi logika.
- Membuktikan sifat komutatif dan
asosiatif dari ekuivalensi logis.
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Menyederhanakan ekspresi logika
menggunakan hukum logika
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
No.
Kompetensi Dasar
Sumber
Belajar/Media/
Alat
- Mahasiswa mampu menggu- Konsistensi ekspresi logika - Menggunakan strategi pembalikan un- - Buku dan
nakan strategi pembalikan untuk - Operasi strategi pembatuk mengetahui konsistensi ekspresi.
lembar kerja
membuktikan konsistensi eklikan
- Menggunakan teknik model untuk
mahasiswa
spresi
- Model dan countermodel
mengevaluasi konsistensi ekspresi
- Mahasiswa mampu menggunakan strategi pembalikan untuk
membuktikan validitas argumen
- Mahasiswa mampu menggunakan teknik model
Indikator
9
Menerapkan strategi pembalikan
untuk mengetahui konsistensi
ekspresi
10
Menggunakan tablo semantic sebagai - Mahasiswa mampu menggualternatif pembuktian konsistensi
nakan tablo semantic untuk
membutikan konsistensi ekspresi.
- Mahasiswa mampu menggunakan strategi pembalikan pada
tablo semantic
11
Mengenal dasar logika predikat
12
Menjelaskan komponen sintaktik
logika predikat.
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
Alokasi Waktu
Penilaian
2 x 50 menit
Tulisan
- Tablo semantic
- Aturan – aturan tablo semantic
- Tablo semantic pada himpunan ekspresi
- Tablo semantic pada argument
- Menggunakan tablo semantic untuk
mengevaluasi konsistensi ekspresi
- Menggunakan strategi pembalikan
pada tablo semantic.
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Mahasiswa mengenal logika
predikat sebagai pengembangan
dari logika proposisi
- Mahasiswa dapat menghafal istilah dalam logika predikat
- Argument pada logika
predikat
- Membuat logika predikat dan argument pada logika predikat
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Mahasiswa mampu mencontohkan komponen siktatik pada
logika predikat.
- Mahasiswa mengenal istilah
dalam logika predikat
- Mahasiswa mengenal konsep
universe of discource
- Komponen sinktaktik
- Konsep universe of discourse.
- Predikat
- Fungsi proposisional
- Variabel dan instansiasi
- menggunakan komponen siktatik
dalam logika predikat.
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
No.
13
Kompetensi Dasar
Mengenal kuantor pada logika
predikat
Indikator
- Mahasiswa mampu menjelaskan
kuantor universal dan eksistensial
- Mahasiswa mampu menggunakan kuantor universal dan eksistensial
- Mahasiswa menguasai teknik
predikat n-ary obyek.
- Mahasiswa mampu menjelaskan
konsep variabel terikat dan bebas pada kuantor
Pokok Materi
-
Kuantor universal
Kuantor eksistensial
Predikat n-ary obyek
Penafsiran kuantor dan
kuantor ganda
- Operasi dan hubungan antar kuantor
- Variabel terikat dan bebas
Pengalaman Belajar/Kegiatan Belajar
- Menggunakan kuantor universal
- Menggunakan kuantor eksistensial
- Menggunakan predikat n-ary pada
pbyek
Sumber
Belajar/Media/
Alat
- Buku dan
lembar kerja
mahasiswa
Alokasi Waktu
Penilaian
2 x 50 menit
Tulisan
Mata Kuliah/Kode
: Logika Informatika
Bobot SKS/Semester : 2 SKS / Semester 1
Prasyarat
:
Standar Kompetensi :
1. Mahasiswa mampu mengidentifikasikan logika proposisional.
2. Mahasiswa mampu mengkonstruksikan operasi – operasi pembuktian pada logika proposisional
3. Mahasiswa mampu mengkonstruksikan inferensi pada logika proposisional
4. Mahasiswa mengenal logika predikat
Referensi
:
1. F. Soesianto dan Djoni Dwijono, Logika matematika untuk ilmu komputer, 2010, Penerbit ANDI
No.
(1)
1
2
Kompetensi Dasar
Indikator
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
(2)
Menafsirkan materi perkuliahan,
metode pembelajaran, teknik
penilaian.
(3)
- Mahasiswa mencatat materi
perkuliahan.
- Mahasiswa mampu menguraikan metode pembelajaran
logika informatika
- Mahasiswa dapat menguraikan
teknik penilaian
(4)
- Silabus dan RPP
(5)
- Mahasiswa berdikusi tentang materi,
metode perkuliahan, serta formula penilaian
Menyimpulkan pengertian, jenis dan
manfaat logika.
- Mahasiswa dapat menyebutkan
pengertian logika.
- Mahasiswa dapat membangun
argument dan menelaah validitas argumen.
- Mahasiswa mampu menguraikan jenis logika.
- Argumen
- Validitas Argumen
- Jenis – jenis logika
- Mahasiswa menyusun argumen serta
menelusuri validitas argumen yang
dibuat.
- Mahasiswa menyebutkan jenis – jenis
logika.
Sumber
Belajar/Media/
Alat
(6)
- Silabus dan
RPP
- Buku Logika
Matematika
untuk Ilmu
Komputer
Alokasi Waktu
Penilaian
(7)
1x50 menit
(8)
-
1 x 50 menit
-
No.
Kompetensi Dasar
Indikator
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
Sumber
Belajar/Media/
Alat
- Komputer
dan contoh
logika
Alokasi Waktu
Penilaian
1 x 50 menit
lisan
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Membuat skema dari proposisi maje- Buku dan
muk
lembar kerja
mahasiswa
- Memecah proposisi majemuk kedalam
fpe
2 x 50 menit
Tulisan
3
Menyusun logika formal dan
validitas argumen lanjutan
- Mahasiswa mampu menjelaskan - Argumen lanjutan
bentuk logika formal serta
- Proposisi
kaidah dasar logika
- Bentuk silogisme
- Mahasiswa dapat menyusun silogisme sebagai bentuk argument yang valid.
- Membuat logika proposisi
- Membedakan argument dengan logika
proposisi
- Membuat silogisme
4
Menjelaskan konsep tabel kebenaran
- Membuat tabel kebenaran dan mengoperasikan ekspresi
- Menggunakan operator logika dalam
tabel kebenaran
5
Menyusun proposisi majemuk
- Mahasiswa dapat menggunakan - Tabel kebenaran
aturan tabel kebenaran.
- Operator logika
- Mahasiswa mampu menerapkan
Konjungsi
operator logika dalam tabel
Disjungsi
kebenaran
Negasi
- Mahasiswa dapat menggunakan
Implikasi
kebalikan dari operator logika
Biimplikasi
dalam aturan tabel kebenaran
- Kebalikan operator logika
Nand
Nor
Xor
- Mahasiswa mampu menjelaskan - Ekspresi logika
pengertian proposisi majemuk
- Skema
- Mahasiswa menguraikan man- Analisis proposisi majefaat skema
muk
- Mahasiswa dapat menyusun
- Aturan pengurutan
urutan operasi operator logika
- Mahasiswa mampu memecah
proposisi majemuk kedalam
fully parenthesized expressions
6
Menerapkan tautology dalam logika
proposisi
- Mahasiswa dapat menilai ekspresi logika melalui tabel kebenaran
- Mahasiswa mampu membuktikan validitas argument dengan
tabel kebenaran
- Mahasiswa mampu mengidentifikasi validitas argument yang
tautology, kontradiksi dan contigent
-
Sumber
Belajar/Media/
Alat
Evaluasi validitas argument - Membuktikan validitas ekspresi logika - Buku dan
apakah tautology, kontradiksi atau
lembar kerja
Tautology
contigent.
mahasiswa
Kontradiksi
- Membedakan implikasi logis dan
Contigent
ekuivalensi logis.
Pemanfaatan tautology
7
Mengenal konsep ekuivalensi logis
- Mahasiswa mampu membuktikan ekuivalensi logis.
- Mahasiswa mampu membuktikan sifat komutatif dan atau
asosiatif dari ekuivalensi logis.
- Mahasiswa menghafal hukum –
hukum logika
-
Ekuivalensi logis
Komutatif
Asosiatif
Hukum – hukum logika
8
Menerapkan penyederhanaan
ekspresi logika
- Mahasiswa mampu menggunakan hukum logika untuk
menyederhanakan ekspresi
logika
- Operasi penyederhanaan
- Mereduksi implikasi dan
biimplikasi.
- Operasi dasar logika
No.
Kompetensi Dasar
Indikator
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
Alokasi Waktu
Penilaian
2 x 50 menit
Tulisan
- Membutikan ekuivalensi logis dari 2
buah atau lebih ekspresi logika.
- Membuktikan sifat komutatif dan
asosiatif dari ekuivalensi logis.
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Menyederhanakan ekspresi logika
menggunakan hukum logika
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
No.
Kompetensi Dasar
Sumber
Belajar/Media/
Alat
- Mahasiswa mampu menggu- Konsistensi ekspresi logika - Menggunakan strategi pembalikan un- - Buku dan
nakan strategi pembalikan untuk - Operasi strategi pembatuk mengetahui konsistensi ekspresi.
lembar kerja
membuktikan konsistensi eklikan
- Menggunakan teknik model untuk
mahasiswa
spresi
- Model dan countermodel
mengevaluasi konsistensi ekspresi
- Mahasiswa mampu menggunakan strategi pembalikan untuk
membuktikan validitas argumen
- Mahasiswa mampu menggunakan teknik model
Indikator
9
Menerapkan strategi pembalikan
untuk mengetahui konsistensi
ekspresi
10
Menggunakan tablo semantic sebagai - Mahasiswa mampu menggualternatif pembuktian konsistensi
nakan tablo semantic untuk
membutikan konsistensi ekspresi.
- Mahasiswa mampu menggunakan strategi pembalikan pada
tablo semantic
11
Mengenal dasar logika predikat
12
Menjelaskan komponen sintaktik
logika predikat.
Pokok Materi
Pengalaman Belajar/Kegiatan Belajar
Alokasi Waktu
Penilaian
2 x 50 menit
Tulisan
- Tablo semantic
- Aturan – aturan tablo semantic
- Tablo semantic pada himpunan ekspresi
- Tablo semantic pada argument
- Menggunakan tablo semantic untuk
mengevaluasi konsistensi ekspresi
- Menggunakan strategi pembalikan
pada tablo semantic.
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Mahasiswa mengenal logika
predikat sebagai pengembangan
dari logika proposisi
- Mahasiswa dapat menghafal istilah dalam logika predikat
- Argument pada logika
predikat
- Membuat logika predikat dan argument pada logika predikat
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
- Mahasiswa mampu mencontohkan komponen siktatik pada
logika predikat.
- Mahasiswa mengenal istilah
dalam logika predikat
- Mahasiswa mengenal konsep
universe of discource
- Komponen sinktaktik
- Konsep universe of discourse.
- Predikat
- Fungsi proposisional
- Variabel dan instansiasi
- menggunakan komponen siktatik
dalam logika predikat.
- Buku dan
lembar kerja
mahasiswa
2 x 50 menit
Tulisan
No.
13
Kompetensi Dasar
Mengenal kuantor pada logika
predikat
Indikator
- Mahasiswa mampu menjelaskan
kuantor universal dan eksistensial
- Mahasiswa mampu menggunakan kuantor universal dan eksistensial
- Mahasiswa menguasai teknik
predikat n-ary obyek.
- Mahasiswa mampu menjelaskan
konsep variabel terikat dan bebas pada kuantor
Pokok Materi
-
Kuantor universal
Kuantor eksistensial
Predikat n-ary obyek
Penafsiran kuantor dan
kuantor ganda
- Operasi dan hubungan antar kuantor
- Variabel terikat dan bebas
Pengalaman Belajar/Kegiatan Belajar
- Menggunakan kuantor universal
- Menggunakan kuantor eksistensial
- Menggunakan predikat n-ary pada
pbyek
Sumber
Belajar/Media/
Alat
- Buku dan
lembar kerja
mahasiswa
Alokasi Waktu
Penilaian
2 x 50 menit
Tulisan