Akses lebih cepat ketimbang browser!
45 hubungan: Abstraksi (ilmu komputer), Abstraksi (matematika), Aksioma, Akuntansi, Albert Einstein, Analisis numerik, Asuransi, Babilonia, Bahasa formal, Blaise Pascal, Carl Friedrich Gauss, Christiaan Huygens, Definisi, Ilmu alam, Ilmu kognitif, Ilmu komputer teoretis, Ilmu sosial, India, Komputer, Linguistik, Logika, Logika leksikal, Logika matematika, Matematika, Matematika Babilonia, Matematika India, Matematika Islam, Matematika Yunani, Mesir Kuno, Metode formal, Model matematika, Peluang (matematika), Pierre de Fermat, Pierre-Simon de Laplace, Rasionalisme, Riset operasi, Statistika, Struktur abstrak, Teknik listrik, Teknik sistem, Teorema, Teori ilmiah, Teori informasi, Teori komputasi, Teori permainan.
Abstraksi (ilmu komputer)
Dalam ilmu komputer, abstraksi adalah proses representasi data dan program dalam bentuk sama dengan pengertiannya (semantik), dengan menyembunyikan rincian / detail implementasi.
Baru!!: Ilmu formal dan Abstraksi (ilmu komputer) · Lihat lebih »
Abstraksi (matematika)
Abstraksi di dalam matematika adalah proses untuk memperoleh intisari konsep matematika, menghilangkan kebergantungannya pada objek-objek dunia nyata yang pada mulanya mungkin saling terkait, dan memperumumnya sehingga ia memiliki terapan-terapan yang lebih luas atau bersesuaian dengan penjelasan abstrak lain untuk gejala yang setara.
Baru!!: Ilmu formal dan Abstraksi (matematika) · Lihat lebih »
Aksioma
Aksioma Matematika yang disebut dengan postulat Aksioma, postulat atau asumsi adalah pernyataan yang berfungsi sebagai premis atau titik awal untuk alasan dan argumen lebih lanjut.
Baru!!: Ilmu formal dan Aksioma · Lihat lebih »
Akuntansi
Secara umum, akuntansi adalah suatu proses mencatat, meringkas, menggolongkan, mengolah, dan menyajikan data jualbeli, serta berbagai kegiatan yang berhubungan dengan keuangan, sehingga informasi tersebut dapat digunakan oleh seseorang yang ahli di bidangnya dan menjadi bahan untuk mengambil suatu keputusan.
Baru!!: Ilmu formal dan Akuntansi · Lihat lebih »
Albert Einstein
Albert Einstein adalah fisikawan teoretis kelahiran Jerman, secara luas diakui sebagai salah seorang ilmuwan terhebat sepanjang masa.
Baru!!: Ilmu formal dan Albert Einstein · Lihat lebih »
Analisis numerik
Loh lempung Babilonia YBC 7289br(c. 1800–1600 SM) http://www.math.ubc.ca/~cass/Euclid/ybc/ybc.html dengan anotasi (gambar oleh Bill Casselman) Analisis numerik adalah studi algoritme untuk memecahkan masalah dalam matematika kontinu (sebagaimana dibedakan dengan matematika diskret) Salah satu tulisan matematika terdini adalah loh Babilonia YBC 7289, yang memberikan hampiran numerik seksagesimal dari \sqrt, panjang diagonal dari persegi satuan.
Baru!!: Ilmu formal dan Analisis numerik · Lihat lebih »
Asuransi
Asuransi adalah pertanggungan atau perjanjian antara dua belah pihak, dimana pihak satu berkewajiban membayar iuran/kontribusi/premi.
Baru!!: Ilmu formal dan Asuransi · Lihat lebih »
Babilonia
Babilonia (Βαβυλωνία., Babilonia), lengkapnya disebut Kekaisaran Babilonia atau Negeri Babilonia, adalah negara dan daerah kebudayaan purba penutur bahasa Akkadia yang berlokasi di tengah kawasan selatan Mesopotamia (sekarang Irak dan Suriah).
Baru!!: Ilmu formal dan Babilonia · Lihat lebih »
Bahasa formal
Pada matematika, ilmu komputer dan linguistik, suatu bahasa formal terdiri dari kata-kata yang mana simbol diambil dari alfabet dan bentukan-selaras berdasarkan seperangkat kaidah tertentu.
Baru!!: Ilmu formal dan Bahasa formal · Lihat lebih »
Blaise Pascal
Blaise Pascal berasal dari Prancis.
Baru!!: Ilmu formal dan Blaise Pascal · Lihat lebih »
Carl Friedrich Gauss
Johann Carl Friedrich Gauß (juga dieja Gauss) adalah matematikawan, astronom, dan fisikawan Jerman yang memberikan beragam kontribusi; ia dipandang sebagai salah satu matematikawan terbesar sepanjang masa selain Archimedes dan Isaac Newton.
Baru!!: Ilmu formal dan Carl Friedrich Gauss · Lihat lebih »
Christiaan Huygens
Christiaan Huygens (bahasa Belanda) merupakan matematikawan dan fisikawan Belanda, dia juga seorang ilmuwan yang paling berjaya pada masanya.
Baru!!: Ilmu formal dan Christiaan Huygens · Lihat lebih »
Definisi
Definisi atau takrif merupakan suatu batasan atau arti, bisa juga dimaknai kata, frasa, atau kalimat yang mengungkapkan makna, keterangan, atau ciri utama dari orang, benda, proses, atau aktivitas.
Baru!!: Ilmu formal dan Definisi · Lihat lebih »
Ilmu alam
Tumbuh-tumbuhan merupakan salah satu objek yang dipelajari oleh ilmu alam. Ilmu pengetahuan alam (akronim: IPA) atau kerap diperpendek sebagai ilmu alam (serapan dari علومالعالم) adalah istilah yang digunakan yang merujuk pada rumpun ilmu di mana objeknya adalah benda-benda alam dengan hukum-hukum yang pasti dan umum, berlaku kapan pun dan di mana pun.
Baru!!: Ilmu formal dan Ilmu alam · Lihat lebih »
Ilmu kognitif
Miller, George A (2003). "The cognitive revolution: a historical perspective". ''Trends in Cognitive Sciences'' '''7'''. Ilmu kognitif atau dikenal juga sains kognitif adalah studi antardisiplin dan ilmiah tentang budi dan kecerdasan.
Baru!!: Ilmu formal dan Ilmu kognitif · Lihat lebih »
Ilmu komputer teoretis
Representasi artistik dari mesin Turing. Mesin Turing digunakan untuk memodelkan perangkat komputasi umum. Ilmu komputer teoretis (en: Theoretical computer science, TCS) merupakan irisan dari ilmu komputer umum dan ilmu matematika yang fokus pada teori matematis dari ilmu komputer yang mencakup teori komputasi, teori bahasa formal, kalkulus lambda, dan teori tipe.
Baru!!: Ilmu formal dan Ilmu komputer teoretis · Lihat lebih »
Ilmu sosial
Ilmu pengetahuan sosial (akronim: IPS) atau kerap diperpendek menjadi ilmu sosial (gabungan dari ilmu + sosial) adalah sekelompok disiplin akademis yang mempelajari aspek-aspek yang berhubungan dengan manusia dan lingkungan sosialnya.
Baru!!: Ilmu formal dan Ilmu sosial · Lihat lebih »
India
India, dengan nama resmi Republik India, adalah sebuah negara federal yang bersistem parlementer dengan berbentuk republik konstitusional di Asia Selatan dengan garis pantai sepanjang 7.000 km, dan bagian dari Anak Benua India.
Baru!!: Ilmu formal dan India · Lihat lebih »
Komputer
Komputer (computer) adalah perangkat elektronik yang menerima, menyimpan dan memproses data menjadi informasi secara matematis atau logis sesuai dengan serangkaian instruksi yang diprogram.
Baru!!: Ilmu formal dan Komputer · Lihat lebih »
Linguistik
Linguistik (serapan dari linguistikus) atau ilmu bahasa (gabungan dari ilmu + bahasa) adalah ilmu yang mempelajari tentang bahasa.
Baru!!: Ilmu formal dan Linguistik · Lihat lebih »
Logika
''Le Penseur'', atau "Sang Pemikir", oleh Auguste Rodin, 1902. Logika (logica) adalah ilmu yang bertujuan untuk meraih penalaran yang tepat dan sah.
Baru!!: Ilmu formal dan Logika · Lihat lebih »
Logika leksikal
Logika leksikal (atau logika istilah), yang juga dikenal sebagai logika tradisional, logika silogistik atau logika Aristotelian, adalah nama umum untuk pendekatan logika yang didasarkan pada Aristoteles dan dikembangkan para pengikut peripatetik.
Baru!!: Ilmu formal dan Logika leksikal · Lihat lebih »
Logika matematika
Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika.
Baru!!: Ilmu formal dan Logika matematika · Lihat lebih »
Matematika
Tidak ada perupaan atau penjelasan tentang wujud fisik Euklides yang dibuat selama masa hidupnya yang masih bertahan dari zaman kuno. Oleh karena itu, penggambaran Euklides di dalam karya seni bergantung pada daya khayal seniman (''lihat Euklides''). Matematika, adalah bidang ilmu, yang mencakup studi tentang topik-topik seperti bilangan (aritmetika dan teori bilangan), rumus dan struktur terkait (aljabar), bangun dan ruang tempat mereka berada (geometri), dan besaran serta perubahannya (kalkulus dan analisis).
Baru!!: Ilmu formal dan Matematika · Lihat lebih »
Matematika Babilonia
Matematika Babilonia (juga disebut sebagai matematika Asiria-Babilonia) adalah matematika yang dikembangkan atau diterapkan oleh bangsa Mesopotamia, dari masa-masa awal bangsa Sumeria awal sampai kejatuhan Babilonia pada 539 SM.
Baru!!: Ilmu formal dan Matematika Babilonia · Lihat lebih »
Matematika India
Salah satu manuskrip Bakhshali dari tahun 224–383 M. Pada abad ke-7, teorema Brahmagupta menentukan bahwa ''AF.
Baru!!: Ilmu formal dan Matematika India · Lihat lebih »
Matematika Islam
Matematika Islam merupakan suatu metode membedah Al-Qur'an menurut keilmuan matematika yang dirumuskan oleh KH Fahmi Basya.
Baru!!: Ilmu formal dan Matematika Islam · Lihat lebih »
Matematika Yunani
Ilustrasi bukti Euklides tentang Teorema Pythagoras. Matematika Yunani, istilah yang digunakan di dalam artikel ini, adalah matematika yang ditulis di dalam bahasa Yunani, dikembangkan sejak abad ke-6 SM sampai abad ke-5 M di sekitar pesisir Timur Laut Tengah.
Baru!!: Ilmu formal dan Matematika Yunani · Lihat lebih »
Mesir Kuno
Piramida Khafre (Dinasti Keempat Mesir) dan Sfinks Agung Giza (± 2500 SM). Peta Mesir Kuno, menunjukkan kota dan situs utama pada periode dinasti (3150 SM hingga 30 SM) Mesir Kuno adalah peradaban kuno di sebelah timur laut benua Afrika, yang berpusat di daerah hilir Sungai Nil, yakni kawasan yang kini menjadi wilayah negara Mesir.
Baru!!: Ilmu formal dan Mesir Kuno · Lihat lebih »
Metode formal
Metode formal, dalam ilmu komputer dan rekayasa peranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil.
Baru!!: Ilmu formal dan Metode formal · Lihat lebih »
Model matematika
Model matematika adalah deskripsi dari suatu sistem dengan menggunakan konsep dan bahasa matematika.
Baru!!: Ilmu formal dan Model matematika · Lihat lebih »
Peluang (matematika)
Peluang atau kebolehjadian (probability) adalah cara untuk mengungkapkan pengetahuan atau kepercayaan bahwa suatu kejadian akan berlaku atau telah terjadi.
Baru!!: Ilmu formal dan Peluang (matematika) · Lihat lebih »
Pierre de Fermat
Pierre de Fermat Pierre de Fermat adalah seorang matematikawan asal Prancis.
Baru!!: Ilmu formal dan Pierre de Fermat · Lihat lebih »
Pierre-Simon de Laplace
Pierre-Simon, Marquis de Laplace adalah seorang ahli matematika dan astronom Prancis yang mengemukakan teori bahwa bumi jutaan tahun yang lalu terpisah dari matahari dan secara bertahap kulit luarnya mengering dan mengeras.
Baru!!: Ilmu formal dan Pierre-Simon de Laplace · Lihat lebih »
Rasionalisme
Rasionalisme atau gerakan rasionalis adalah aliran filsafat yang menyatakan bahwa kebenaran dapat diperoleh hanya melalui hasil pembuktian, logika dan analisis terhadap fakta.
Baru!!: Ilmu formal dan Rasionalisme · Lihat lebih »
Riset operasi
Riset operasi, atau disebut riset operasional di Eropa, adalah cabang interdisiplin dari matematika terapan dan sains formal yang menggunakan model-model—seperti model matematika, statistika, dan algoritme—untuk mendapatkan nilai optimal atau nyaris optimal pada sebuah masalah yang kompleks.
Baru!!: Ilmu formal dan Riset operasi · Lihat lebih »
Statistika
Statistika adalah sebuah ilmu yang mempelajari bagaimana cara merencanakan, mengumpulkan, menganalisis, lalu menginterpretasikan, dan akhirnya mempresentasikan data.
Baru!!: Ilmu formal dan Statistika · Lihat lebih »
Struktur abstrak
Struktur abstrak adalah suatu kumpulan entitas tak terdefinisi (Inggris: undefined terms) yang didefinisikan secara umum (atau secara universal) melalui berbagai aksioma atau postulat.
Baru!!: Ilmu formal dan Struktur abstrak · Lihat lebih »
Teknik listrik
Teknik listrik atau teknik elektro (electrical engineering) adalah salah satu bidang ilmu teknik mengenai aplikasi listrik untuk memenuhi kebutuhan masyarakat.
Baru!!: Ilmu formal dan Teknik listrik · Lihat lebih »
Teknik sistem
Teknik Sistem adalah pendekatan multi-disiplin ilmu untuk menciptakan atau mengelola sistem yang besar dan rumit yang mampu memenuhi kebutuhan-kebutuhan teknis maupun bisnis.
Baru!!: Ilmu formal dan Teknik sistem · Lihat lebih »
Teorema
Teorema Pitagoras mempunyai lebih dari 370 pembuktian kebenarannya Teorema adalah sebuah pernyataan, sering dinyatakan dalam bahasa alami, yang dapat dibuktikan atas dasar asumsi yang dinyatakan secara eksplisit ataupun yang sebelumnya disetujui.
Baru!!: Ilmu formal dan Teorema · Lihat lebih »
Teori ilmiah
inti. Gambar berikut menunjukkan orbital dari suatu atom hidrogen (''s'', ''p'', ''d'') pada tiga tingkat energi berbeda (1, 2, 3). Area berwarna terang menunjukkan kerapatan probabilitas terbesar menemukan elektron. Teori ilmiah adalah suatu penjelasan mengenai aspek alam dan alam semesta yang telah diuji berulang kali dan dikuatkan sesuai dengan metode ilmiah, menggunakan protokol pengamatan, pengukuran, dan evaluasi hasil.
Baru!!: Ilmu formal dan Teori ilmiah · Lihat lebih »
Teori informasi
Fungsi entropi biner BernoulliTeori informasi (Inggris: information theory) adalah disiplin ilmu dalam bidang matematika terapan yang berkaitan dengan kuantisasi data sehingga data atau informasi itu dapat disimpan dan dikirimkan tanpa kesalahan (error) melalui suatu kanal komunikasi.
Baru!!: Ilmu formal dan Teori informasi · Lihat lebih »
Teori komputasi
Representasi artistik dari mesin Turing. Mesin Turing biasanya digunakan sebagai model teoritis untuk komputasi. Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi, menggunakan algoritma.
Baru!!: Ilmu formal dan Teori komputasi · Lihat lebih »
Teori permainan
Teori permainan adalah bagian dari ilmu matematika yang mempelajari interaksi antar agen yang bersifat rasional.
Baru!!: Ilmu formal dan Teori permainan · Lihat lebih »
