@LAWU

Mengingat kembali pendakian ke gunung Lawu ❲3.265 mdpl❳ sekitar tahun 2011 bersama salah seorang sahabat terbaikku ❲sahabat terbaik bagi banyak orang❳, Ungguh Tri Setiyadi ❲jaket biru❳ dan dua temannya ❲saya lupa namanya❳. Kami sudah lama berteman. sedari kelas 1 SMA ❲waktu itu masih kelas 1, 2, 3, bukan X, XI dan XII❳ kami sudah terbiasa pergi bersama dengan teman-teman yang lain, mulai dari sekedar camping di Lawe ❲Banjarnegara❳, Sumber ❲camping spot favorit di kala SMA, letaknya di kaki gunung Pawinihan, Banjarnegara❳ hingga mendaki gunung.

Nampang di depan warung mendekati puncak Lawu

LOGIKA - PENARIKAN KESIMPULAN (POWERPOINT)

Logika matematika adalah subtema matematika yang mengeksplorasi aplikasi logika formal untuk matematika. Logika matematika sering dibagi ke dalam bidang teori himpunan, teori model, teori rekursi, dan teori pembuktian.

Teori logika dikembangkan di banyak kebudayaan dalam sejarah, termasuk China, India, Yunani dan dunia Islam. Di Eropa abad ke-18, upaya untuk memperlakukan operasi logika formal dengan cara simbolis atau aljabar telah dilakukan oleh matematikawan filosofis termasuk Leibniz dan Lambert, namun pekerjaan mereka tetap terisolasi dan tidak diketahui.