Model matematika
Apabila fenomena fisik yang dibuat model matematikanya adalah fenomena kontinyu (jadi mengandung unsur-unsur tak terhingga, misalnya fenomena cahaya yang merupakan bentuk tenaga dengan satuan terkecil disebut "foton"), model matematika yang dihasilkan adalah model pendekatan.
Suatu model matematika sebagai pendekatan terhadap suatu fenomena (alami atau buatan) hanya mencakup sebanyak hingga pengamatan atau hanya mencakup daerah yang terbatas dari fenomena tersebut (yg tak terbatas) atau hanya bersifat diskrit, walaupun model tersebut masih dianggap sebagai bentuk yang sangat ideal dan yg sangat mendekati fenomena fisik aslinya.
Pada masa lalu, cabang-cabang matematika yg mempelajari fenomena fisik kontinyu (gelombang, panas, elastisitas suatu material, gerak cairan, dsb) mendominasi cabang-cabang matematika yang bisa diterapkan pada berbagai fenomena fisik seperti yang biasa dipelajari dalam fisika dan kimia. Sebagai akibatnya, cabang-cabang matematika ini digolongkan dalam kelompok matematika terapan atau matematika fisika.
Tetapi sejak berkembangnya ilmu-ilmu komputer, penerapan cabang-cabang matematika yg mempelajari fenomena-fenomena yang bukan sekadar diskrit, bahkan berhingga, berkembang dengan cepat. Sebagai contoh, konsep lapangan hingga (Inggris: "finite fields") yang dulu dianggap sebagai cabang murni dari ilmu aljabar merupakan salah satu tulang punggung penting dalam coding theory.
Demikian pula, teori ukuran (Inggris: "measure theory") semakin banyak penerapannya, khususnya dalam teori fraktal dan kaitannya dengan teori chaos. Tentu saja para matematikawan masih bisa mempelajari aspek-aspek dari teori fraktal dan chaos tanpa harus mendalami teori ukuran.
Untuk fenomena fisik yang berhingga, model matematikanya (misalnya model dan perumusan matematis untuk sinyal, decoder dan encoder kode Reed-Muller), yang dibuat bukan lagi model pendekatan, tetapi sudah merupakan model eksak.
Pada beberapa cabang-cabang matematika tertentu, istilah 'model matematika' bisa dipersempit dan sebagai akibatnya, definisi atau pengertian (yang khusus) dari kata 'model matematika' dalam suatu cabang matematika bisa berbeda dengan arti kata yang sama di cabang matematika yang lain.
Di bawah ini diberikan gambaran umum satu kelompok model-model matematika dalam suatu cabang matematika yang besar dan luas, walaupun biasanya masih tergolong dalam kelompok matematika terapan.
Seringkali para insinyur atau engineer menganilisis suatu sistem dari suatu fenomena (alam atau buatan) dengan tujuan agar sistem tersebut terkontrol atau bisa dioptimalkan kinerjanya dengan membuat model matematikanya.
Dalam analisis, para insinyur dan engineer dapat membuat model deskripsi dari sistem sebagai perkiraan (hipotesis) bagaimana sistem bisa bekerja, atau bagaimana kejadian yang akan datang bisa memengaruhi sistem. Demikian pula, dalam pengkontrolan terhadap suatu sistem, para insinyur dan engineer bisa mencoba beberapa cara mengontrol melalui simulasi.
Sebuah model matematika dalam optimisasi dan kontrol biasanya menggambarkan suatu sistem sebagai kombinasi dari sekumpulan peubah ("variables") dan sekumpulan persamaan yang menyatakan hubungan antara peubah-peubah tersebut. Nilai-nilai dari peubah bisa apa saja; berupa bilangan-bilangan alami ("real") atau bulat, Boolean atau berupa barisan angka-angka dan karakter ("strings").
Peubah-peubah tersebut menyajikan beberapa sifat dari sistem, misalnya nilai luaran ("output") dari hasil pengukuran, data waktu, alat hitung, banyaknya suatu kejadian muncul atau terulang, dsb. Model matematika yang sesungguhnya di sini adalah sekumpulan fungsi-fungsi yang menyatakan hubungan antara beberapa peubah-peubah yang berbeda.
Untuk referensi lebih rinci (tentang building blocks, tujuan dan kendala-kendala, jenis-jenis peubah, dsb, dari model ini, dipersilahkan membaca di
Dalam matematika, Teori Model adalah ilmu yang menyajikan konsep-konsep matematis melalui konsep himpunan, atau ilmu tentang model-model yang mendukung suatu sistem matematis.
Teori Model diawali dengan asumsi keberadaan objek-objek matematika (misalnya keberadaan semua bilangan) dan kemudian mencari dan menganilisis keberadaan operasi-operasi, relasi-relasi atau aksioma-aksioma yang melekat pada masing-masing objek atau pada kumpulan objek-objek tersebut.
Independensi dua hukum matematis - yang lebih dikenal dengan nama "axiom of choice" dan "continuum hypothesis" - dari aksioma-aksioma teori himpunan (dibuktikan oleh Paul Cohen dan Kurt Gödel) adalah dua hasil terkenal yang diperoleh dari Teori Model.
Telah dibuktikan bahwa "axiom of choice" dan negasinya konsisten dengan aksioma-aksioma Zermelo-Fraenkel dalam teori himpunan dan hasil yang sama juga dipenuhi oleh "continuum hypothesis". In adalah contoh penerapan metode Teori Model pada aksioma-aksioma teori himpunan.
Sebuah contoh dari teori model bisa disajikan oleh himpunan semua bilangan alami R bersama-sama himpunsn semua relasi dan/atau fungsi-fungsi, misalnya { ×, +, −, ., 0, 1 }.
Pernyataan yang dilambangkan dengan
adalah benar untuk y € R, sebab kita bisa mendapatkan akar 2 sebagai solusinya. Tetapi pernyataan yg sama bernilai salah apabila y diharuskan bilangan rasional.
Pernyataan yang agak mirip
bernilai salah apabila y diharuskan bernilai real, tetapi pernyataan tersebut bernilai benar apabila y dibolehkan bernilai kompleks.
Jadi nilai benar atau salah suatu pernyataan dalam pembicaraan tentang sembarang unsur y dari suatu himpunan, tergantung pada himpunan yang memuat y tersebut. Himpunan ini disebut himpunan semesta atau semesta pembicaraan dari pernyataan tersebut.
Sumber utama: *Model Theory