Matriks

Matriks adalah suatu kumpulan besaran (variabel dan konstanta) yang dapat dirujuk melalui indeknya, yang menyatakan posisinya dalam representasi umum yang digunakan, yaitu sebuah tabel persegipanjang. Matriks merupakan suatu cara visualisasi variabel yang merupakan kumpulan dari angka-angka atau variabel lain, misalnya vektor. Dengan representasi matriks, perhitungan dapat dilakukan dengan lebih terstruktur. Pemanfaatannya misalnya dalam menjelaskan persamaan linier, transformasi koordinat, dan lainnya. Matriks seperti halnya variabel biasa dapat dimanipulasi, seperti dikalikan, dijumlah, dikurangkan dan didekomposisikan.



Penjumlahan dan pengurangan matriks

Ruang vektor

Ruang vektor adalah struktur matematika yang dibentuk oleh sekumpulan vektor, yaitu objek yang dapat dijumlahkan dan dikalikan dengan suatu bilangan, yang dinamakan skalar. Skalar sering adalah bilangan riil, tapi kita juga dapat merumuskan ruang vektor dengan perkalian skalar dengan bilangan kompleks, bilangan rasional, atau bahkan medan. Operasi penjumlahan dan perkalian vektor mesti memenuhi persyaratan tertentu yang dinamakan aksioma. Contoh ruang vektor adalah vektor Euklides yang sering digunakan untuk melambangkan besaran fisika seperti gaya. Dua gaya dengan jenis sama dapat dijumlahkan untuk menghasilkan gaya ketiga, dan perkalian vektor gaya dengan bilangan riil adalah vektor gaya lain. Vektor yang melambangkan perpindahan pada bidang atau pada ruang tiga dimensi juga membentuk ruang vektor.

Ruang vektor merupakan subjek dari aljabar linear, dan dipahami dengan baik dari sudut pandang ini, karena ruang vektor dicirikan oleh dimensinya, yang menspesifikasikan banyaknya arah independen dalam ruang. Teori ruang vektor juga ditingkatkan dengan memperkenalkan struktur tambahan, seperti norma atau hasilkali dalam. Ruang seperti ini muncul dengan alamiah dalam analisis matematika, dalam bentuk ruang fungsi berdimensi takhingga, dengan vektornya adalah fungsi.

Secara historis, gagasan awal yang berbuah pada konsep ruang vektor dapat dilacak dari geometri analitik abad ke-17, matriks, sistem persamaan linear, dan vektor Euklides. Pembahasan modern yang lebih abstrak pertama kali dirumuskan oleh Giuseppe Peano pada akhir abad ke-19, yang meliput objek lebih umum daripada ruang Euklides, namun kebanyakan teori tersebut dapat dipandang sebagai perluasan gagasan geometri klasik seperti garis, bidang, dan analognya yang berdimensi lebih tinggi.

Logika Matematika

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. dalam pembelajaran logika matematika dipelajari tentang :

1. Pernyataan (kalimat tertutup) adalah suatu kalimat yang mempunyai nilai benar saja atau salah saja tidak sekaligus bernilai benar dan salah dan kalimat terbuka adalah suatu kalimat yang belum dapat ditentukan nilai kebenarannya ( benar atau salah).
2. Pernyataan berkuantor adalah pernyataan yang memuat ukuran kuantitas dan jumlah seperti semua, setiap, tanpa kecuali, ada, beberapa dan sebagainya.
3. Pernyataan majemuk adalah suatu pernyataan yang dibentuk dari beberapa pernyataan tunggal dengan menggunakan kata hubung logika, seperti dan, atau, jika ....maka...., ....jika dan hanya jika....