Penemu Logika Dasar Ilmu Komputer Modern

Pelopor Ilmu Komputer dan Penemu Dasar Komputer ModernLogika berasal dari kata Yunani kuno λόγος (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa. Logika adalah salah satu cabang filsafat. Sebagai ilmu, logika disebut dengan logike episteme (bahasa Latin: logica scientia) atau ilmu logika (ilmu pengetahuan) yang mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur. Ilmu di sini mengacu pada kemampuan rasional untuk mengetahui dan kecakapan mengacu pada kesanggupan akal budi untuk mewujudkan pengetahuan ke dalam tindakan. Kata logis yang dipergunakan tersebut bisa juga diartikan dengan masuk akal.

Logika masuk ke dalam kategori matematika murni karena matematika adalah logika yang tersistematisasi. Matematika adalah pendekatan logika kepada metode ilmu ukur yang menggunakan tanda-tanda atau simbol-simbol matematik (logika simbolik). Logika tersistematisasi dikenalkan oleh dua orang dokter medis, Galenus (130-201 M) dan Sextus Empiricus (sekitar 200 M) yang mengembangkan logika dengan menerapkan metode geometri. Puncak logika simbolik terjadi pada tahun 1910-1913 dengan terbitnya Principia Mathematica tiga jilid yang merupakan karya bersama Alfred North Whitehead (1861 - 1914) dan Bertrand Arthur William Russel (1872 - 1970).

Logika modern yang juga dikenal dengan nama logika simbolik atau logika matematik adalah corak-corak baru logika. seperti yang terdapat pada:

Logika modalitas (modal logic)
Logika bernilai banyak (many-valued logic)
Sistem implikasi nonstandar (nonstandard system of implication)
Sistem kuantifikasi nonstandar (nonstandard systems of quantification)

Logika modern tetap berpegang kepada prinsip-prinsip yang dikenalkan oleh logika tradisional, namun berbeda dengan logika tradisional, logika modern hanya menggunakan tanda-tanda atau simbol-simbol matematik yang membahas hubungan antar tanda-tanda itu.

Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa.

Ilmu komputer (bahasa Inggris: Computer Science), Secara umum diartikan sebagai ilmu yang mempelajari baik tentang komputasi, perangkat keras (hardware) maupun perangkat lunak (software). Ilmu komputer mencakup beragam topik yang berkaitan dengan komputer, mulai dari analisis abstrak algoritma sampai subyek yang lebih konkret seperti bahasa pemrograman, perangkat lunak, termasuk perangkat keras. Sebagai suatu disiplin ilmu, Ilmu Komputer lebih menekankan pada pemrograman komputer, dan rekayasa perangkat lunak (software), sementara teknik komputer lebih cenderung berkaitan dengan hal-hal seperti perangkat keras komputer (hardware). Namun, kedua istilah tersebut sering disalah artikan oleh banyak orang.