Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan...
Apakah ada cara alami atau terkenal untuk menghubungkan atau menautkan kelompok matematika dan bahasa formal CS atau konsep inti CS lainnya misalnya mesin Turing? Saya mencari referensi / aplikasi. Namun perhatikan bahwa saya mengetahui tautan antara semigroup dan bahasa CS (yaitu via finata...
Dalam membaca beberapa blog tentang kompleksitas komputasi (misalnya di sini ) saya berasimilasi gagasan bahwa memutuskan apakah dua kelompok isomorfik lebih mudah daripada menguji dua grafik untuk isomorfisme. Sebagai contoh, pada halaman lain dikatakan bahwa graf isomorfisme adalah masalah yang...