Sebanyak 172 item atau buku ditemukan

Computation and Reasoning

A Type Theory for Computer Science

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science.

Moderasi Beragama dalam Bingkai Kebinekaan

Buku ini hadir sebagai upaya memberikan sumbangsih pemikiran, di mana intensitas interaksi masyarakat Indonesia dengan berbagai paham/ aliran/ idiologi ataupun pemikiran yang datang dari luar yang semakin kompleks. Dibutuhkan pondasi yang kuat agar mampu menjamin keutuhan Negara Kesatuan Repuplik Indonesia yang sangat heterogen dalam hal suku, agama, ras dan atargolongan (SARA). Paham keberagamaan yang moderat yakni sikap moderasi beragama yang dikenal dengan istilah Islam wasathiyah menjadi salah satu pondasi penting bagi utuhnya NKRI. Islam wasathiyah sangat diperlukan dan perlu disosialisasikan lebih awal khususnya kepada lembaga pendidikan nasional maupun lembaga pendidikan keagamaan.

Buku ini hadir sebagai upaya memberikan sumbangsih pemikiran, di mana intensitas interaksi masyarakat Indonesia dengan berbagai paham/ aliran/ idiologi ataupun pemikiran yang datang dari luar yang semakin kompleks.