Logika Informatika - Pertemuan 1 (materi)

Logika Informatika - Pertemuan 1

by Clara Hetty Primasari

Deskripsi Singkat MK

Mata kuliah ini diadakan dengan tujuan untuk mengasah kemampuan berpikir analitis dan kritis. Mahasiswa akan dilatih untuk menggunakan logika dalam memecahkan masalah. Materi yang diberikan mencakup pemahaman tentang konsep-konsep dasar logika, logika dasar pemrograman, logika digital/boolean, dan teori himpunan. Mahasiswa dilatih untuk memecahkan permasalahan logika, dan menarik konklusi yang tepat menurut aturan tertentu.

​CPMK

​MK1	Mahasiswa mampu memahami konsep logika informatika, pembentukan kalimat, tautologi, kontradiksi, ekuivalen, serta hukum logika
MK2	Mahasiswa mampu memahami, menyusun, serta mensimplifikasi peta karnaugh
MK3	Mahasiswa mampu memahami teori himpunan

Subject | Subject

Some text here about the topic of discussion

kuis: 45%

​UTS: 25%

​UAS: 30%

Bobot penilaian

​Logika / Penalaran

• ​help me explain/describe this!

Open Ended

please explain in your own words, it doesn't matter if it is false or true, JUST WRITE IT DOWN

​Dalam matakuliah ini...

​•Logika / penalaran merupakan pernyataan-pernyataan (statements) yang dapat bernilai benar (true) atau salah (false) dan menghasilkan kesimpulan dari pernyataan tersebut.

Kemampuan Menalar

kemampuan menarik konlusi yang tepat menurut aturan-aturan tertentu.

​Logika Simbolis

​Penarikan kesimpulan menggunakan metode-metode matematika dengan bantuan simbol-simbol khusus/notasi sehingga menghindarkan makna ganda dari bahasa sehari-hari.

​Logika Biner

​Logika benar dan salah yang disimbolkan dengan

–Salah = 0

–Benar = 1

Disebut dengan Logika Biner

​Logika dan Komputer

​•Arsitektur sistem komputer tersusun atas rangkaian logika 0 (false) dan 1 (true) yang kemudian dikombinasi dengan sejumlah gerbang logika

•Gerbang logika :

–AND, OR, NOT, XOR, NAND

–Dengan bantuan komponen program untuk struktur penalaran:

•IF… THEN… ELSE…, dll.

​Peranan

​•Berpikir logis digunakan pada matematika untuk:

–Membuktikan teorema-teorema

–Menguji kebenaran

–Menarik kesimpulan dari eksperimen-eksperimen

–Menyelesaikan masalah

Open Ended

Jadi menurut Anda Logika Informatika adalah....