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 benak yang diutarakan lewat kata dan ditetapkan dalam bahasa. Logika ialah salah satu cabang filsafat. Sebagai ilmu, logika dinamakan dengan logike episteme (bahasa Latin: logica scientia) atau ilmu logika (ilmu pengetahuan) yang mempelajari kemampuan untuk beranggapan secara lurus, tepat, dan teratur. Ilmu di sini mengacu pada keterampilan rasional untuk memahami dan kemampuan mengacu pada kesanggupan akal budi guna mewujudkan pengetahuan ke dalam tindakan. Kata logis yang dipergunakan tersebut dapat juga ditafsirkan dengan masuk akal.
Logika masuk ke dalam kelompok matematika murni sebab matematika ialah logika yang tersistematisasi. Matematika ialah pendekatan logika untuk metode ilmu ukur yang memakai tanda-tanda atau simbol-simbol matematik (logika simbolik). Logika tersistematisasi diluncurkan oleh dua orang dokter medis, Galenus (130-201 M) dan Sextus Empiricus (sekitar 200 M) yang mengembangkan logika dengan merealisasikan metode geometri. Puncak logika simbolik terjadi pada tahun 1910-1913 dengan terbitnya Principia Mathematica tiga jilid yang adalahkarya bareng Alfred North Whitehead (1861 - 1914) dan Bertrand Arthur William Russel (1872 - 1970).
Logika canggih yang pun dikenal dengan nama logika simbolik atau logika matematik ialah corak-corak baru logika. laksana yang ada pada:
Logika modalitas (modal logic)
Logika bernilai tidak sedikit (many-valued logic)
Sistem implikasi nonstandar (nonstandard system of implication)
Sistem kuantifikasi nonstandar (nonstandard systems of quantification)
Logika canggih tetap berpegang untuk prinsip-prinsip yang diluncurkan oleh logika tradisional, namun bertolak belakang dengan logika tradisional, logika modern melulu menggunakan firasat atau simbol-simbol matematik yang membicarakan hubungan antar firasat itu.
Logika matematika ialah cabang logika dan matematika yang berisi kajian matematis logika dan software kajian ini pada bidang-bidang beda di luar matematika. Logika matematika bersangkutan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain ialah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dipecah ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini mempunyai hasil dasar logika yang serupa.
Ilmu komputer (bahasa Inggris: Computer Science), Secara umum ditafsirkan sebagai ilmu yang mempelajari baik mengenai komputasi, perlengkapan keras (hardware) maupun perangkat empuk (software). Ilmu komputer mencakup pelbagai topik yang sehubungan dengan komputer, mulai dari analisis abstrak algoritma hingga subyek yang lebih konkret laksana bahasa pemrograman, perlengkapan lunak, termasuk perlengkapan keras. Sebagai sebuah disiplin ilmu, Ilmu Komputer lebih menekankan pada pemrograman komputer, dan rekayasa perangkat empuk (software), sedangkan teknik komputer lebih cenderung sehubungan dengan hal-hal seperti perlengkapan keras komputer (hardware). Namun, kedua istilah tersebut tidak jarang disalah artikan oleh tidak sedikit orang.
Kursus Komputer bersertifikat. Lembaga kursus Citra Telematika menyelenggarakan :
1. Aplikasi Perkantoran
2. Desain Grafis
3. Jaringan Komputer
4. Robotika
5. Pemasaran Digital
 |
| Citra Telematika - Kursus Komputer di Majalengka |
Jl. Raya Timur No. 65, Ciborelang, Jatiwangi
Kab. Majalengka
(0233) 8281236 | 085216667297
0 Komentar