pengantar logika informatika

16
Pengantar Logika Informatika Teknik Informatika Universitas Trunojoyo Madura Sem. Ganjil 2012/2013 Fika Hastarita R - UTM 2012

Upload: onella

Post on 16-Mar-2016

245 views

Category:

Documents


13 download

DESCRIPTION

Pengantar Logika Informatika. Teknik Informatika Universitas Trunojoyo Madura Sem. Ganjil 2012/2013. Pembahasan. Sejarah Logika Informatika Arti Logika ‘n Logika Informatika Argumen ‘n Silogisme Manfaat Logika Informatika Operator Logika Dasar Level Bahasa Pemrograman. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

PengantarLogika Informatika

Teknik InformatikaUniversitas Trunojoyo Madura

Sem. Ganjil 2012/2013

Page 2: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Pembahasan Sejarah Logika Informatika Arti Logika ‘n Logika Informatika Argumen ‘n Silogisme Manfaat Logika Informatika Operator Logika Dasar Level Bahasa Pemrograman

Page 3: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Sejarah Logika Informatika Pioneer : “Aristoteles” Abad 4 SM Silogisme (pendapat yang dpt dibuktikan

kebenarannya)

Semua A adalah BSemua B adalah Ckonklusi : ....................

Page 4: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Perkembangan Penelitian

Page 5: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Arti Logika Bidang keilmuan: filsafat ilmu hitung/matematika

komputer/informatika Menurut Bahasa:

yunani : logike/logos ilmu/pikiran - perkataan sebagai pikiran manusia - ilmu yang mempelajari jalan pikiran

Page 6: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Arti Logika berdasar Logika Modern

Ilmu pengetahuan yang berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.

Studi tentang kriteria-kriteria untuk mengevaluasi argumen-argumen dengan menentukan mana yang valid dan tidak valid, dan membedakan antara argumen yang baik dan tidak baik.

Page 7: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Arti Logika Informatika Aturan-aturan logika yang menggunakan

kaidah-kaidah tertentu dalam informatika yang dipergunakan untuk membuktikan validitas suatu argumen.

Aturan-aturan logika yang menggunakan kaidah-kaidah tertentu dalam matematika yang dipergunakan untuk membuktikan validitas suatu argumen dalam bidang informatika.

Page 8: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Argumen usaha mencari kebenaran dari suatu

pernyataan berupa kesimpulan berdasarkan pada kebenaran dari satu kumpulan pernyataan/ premis-premis.

Page 9: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Silogisme suatu argumen yang terbentuk dari pernyataan-

pernyataan dengan salah satu atau keempat bentuk berikut:

1. Semua A adalah B. (universal affirmative) 2. Tidak A adalah B. (universal negative) 3. Beberapa A adalah B. (particular affirmative) 4. Beberapa A adalah tidak B. (particular

negative)

Huruf A dan B menggantikan kata benda, misalnya ‘manusia’, ‘cuaca’, dan sebagainya yang disebut terms of syllogism

Page 10: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Silogisme SempurnaContoh sebuah silogisme sempurna:

Premis : Semua A adalah B. Premis : Semua B adalah C. Konklusi : Semua A adalah C.

(Pada premis pertama, A sama dengan A pada kesimpulan, dan ia juga memiliki B yang sama dengan B pada premis kedua.)

Page 11: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Manfaat Logika Informatika Logika informatika digunakan dalam

semua bidang pada ilmu informatika

- pembuatan konsep/perancangan

- penulisan software/coding - cara kerja hardware

Page 12: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Operator Logika Dasar AND OR NOT

Fungsinya ...............

Page 13: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Contoh Sederhana Sistem penilaian akhir perkuliahan Perancangan untuk sub sistem

penilaian Acuan:

Page 14: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Tingkat Bahasa Pemrograman

Page 15: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Terima Kasih

Page 16: Pengantar Logika Informatika

Fika Hastarita R - UTM 2012

Ups....tugas individu Cari 2 permasalahan yang diselesaikan

dengan menggunakan program komputer dan tunjukkan sisi logika informatikanya..

Bisa dari sisi perancangannya, penulisan codingnya dan atau cara kerja hardwarenya

Pengumpulan minggu depan..thx