SEJARAH LOGIKA INFORMATIKA

A.      Logika

Ø  Berasal dari bahasa Yunani à logos

Ø  Ilmu untuk berfikir dan menalar dengan benar (sehingga didapatkan kesimpulan yang absah).

Ø  Kemampuan menalar adalah kemampuan untuk menarik konklusi yang tepat dari bukti-bukti yang ada, dan menurut aturan-aturan tertentu

B.      Sejarah Perkembangan Logika

1.       Logika Klasik

Ø  Thales (624 – 548 SM) mengenalkan logika induktif

Ø  Aristoteles (384 – 332 SM) mengenalkan logika sebagai ilmu à silogisme

2.       Logika Modern

Ø  Augustus De Morgan (1806-1871), Induksi Matematika, Hukum Ekuivalensi Logika De Morgan.

Ø  George Boole(1815-1871), Aljabar Boolean

3.       Logika Matematika

Ø  Giuseppe Peano (1858-1932), logika matematika dan teori himpunan.

Ø  Emil L Post(1897-1954), Tabel Kebenaran.

Ø  Ludwig JJ Wittgenstein(1889-1951), Tabel Kebenaran.

Ø  John Venn(1834-1923), Diagram Venn.

Ø  Henry M Sheffer(1882-1964), NAND, NOR.

C.      Logika Informatika

Disiplin ilmu yang mempelajari transformasi fakta berlambang yaitu data maupun informasi pada mesin berbasis komputasi dengan penalaran sehingga didapat suatu kesimpulan.

D.      Manfaat Logika

Ø  Membantu setiap orang yang mempelajari logika untuk berpikir secara rasional, kritis, lurus, tetap tertib, dan metodis.

Ø  Meningkatkan kemampuan berpikir secara abstrak, cermat, dan objektif.

Ø  Menambah kecerdasan dan meningkatkan kemampuan berpikir secara tajam dan mandiri.

Ø  Memaksa dan mendorong orang untuk berpikir sendiri dengan menggunakan asas-asas sistematis

Ø  Meningkatkan cinta akan kebenaran dan menghindari kesalahan-kesalahan berpkir, kekeliruan serta kesesatan.

Ø  Mampu melakukan analisis terhadap suatu kejadian.

Ø  Meningkatkan citra diri seseorang karena sudah mampu berpikir rasional, kritis, lurus, metodis dan analitis

E.       Istilah-Istilah dalam Logika Informatika

Ø  Premis à pernyataan

Ø  Argumen : usaha untuk mencari kebenaran dari pernyataan berupa kesimpulan dengan berdasarkan kebenaran dari satu kumpulan pernyataan.

Ø  Validitas argumen à jika premis-premis benar maka harus diikuti dengan kesimpulan yang benar

Terimakasih sudah berkunjung ^^

POLITEKNIK NEGERI LAMPUNG

MANAJEMEN INFORMATIKA