Processing math: 100%


Minggu, 02 November 2014

Posted by Hadimaster On 01.47
Saya akan sedikit bercerita mengenai diri saya sebagai mahasiswa matematika yang mengambil konsentrasi Aljabar. Sebagai informasi, di prodi saya konsentrasi dibagi menjadi 4, yaitu konsentrasi analisis, aljabar, statistika dan terapan dengan terapan-nya di bidang komputer. Dulu saya sempet bingung mau ambil yang mana dari 4 konsentrasi itu. Konsentrasi Analisis Awalnya saya sempet tergoda untuk mengambil konsentrasi analisis, karena kesannya...
Posted by Hadimaster On 00.32
Duh, dah lama juga blog ini 'mati suri'. Sudah beberapa bulan blog ini sempat tidak aktif dikarenakan kesibukan baru saya, yaitu mengajar sebagai guru bimbel. Belum lagi saya juga harus sibuk mengurus skripsi sekarang walaupun belum ngontrak buat bimbingan skripsi :D. Selain itu tentunya ada alasan lain mengapa belakangan ini saya sangat malas menulis, yatu ketidakmampuan blog ini untuk menulis menggunakan Latex. Apa itu Latex? Kalian bisa melihat...

Sabtu, 12 April 2014

Posted by Hadimaster On 01.30
In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. Logic in Computer Science / Federated Logic Conference 26th International Conference on Computer Aided Verification (CAV) 27th IEEE Computer Security Foundations Symposium...

Jumat, 31 Januari 2014

Posted by Hadimaster On 05.16
Ketika kita berhadapan dengan sebuah pernyataan, yang muncul di benak kita adalah: Apakah pernyataan ini benar atau tidak? Bagaimana caranya kita bisa membedakan bahwa suatu pernyataan itu salah dan mengapa suatu pernyataan itu dianggap benar? Dalam logika, 'Benar' dan 'Salah' memiliki istilah yang didefinisikan. Artinya, jika sesuatu itu dikatakan 'Benar', maka jelas ia memiliki syarat-syarat yang mendukung sehingga kita dapat berfikir bahwa...