Saya telah menyelesaikan sebagian besar materi dalam buku Cormen Intro to Algorithms dan saya mencari buku algoritma yang mencakup materi di luar buku Corman. Apakah ada rekomendasi? CATATAN: Saya menanyakan ini pada stackoverflow tetapi tidak terlalu senang dengan jawabannya. CATATAN: Melihat...
Saya sering berinteraksi dengan orang-orang yang ingin meminta algoritma untuk masalah komputasi (atau kerumitannya), tetapi mereka tidak mengungkapkannya dengan cara yang sulit bagi kita (ilmuwan komputer) untuk memahaminya. Merujuk mereka ke buku-buku seperti CLRS tidak membantu karena...
Baru-baru ini saya menjadi sangat tertarik untuk memahami dan membuktikan aspek-aspek bahasa pemrograman (fungsional). Namun ketika saya menyelam lebih dalam, hal-hal seperti kalkulus , teori kategori, dan semantik denotasi agak sulit untuk diraih tanpa penjelasan yang tepat.λλ\lambda Saya...
Saya lulusan non-CS dan bidang studi saya tidak terkait dengan CS. Namun, sebagai bagian dari rencana yang lebih besar untuk menjadi ilmuwan komputer, saya ingin mendapatkan latar belakang yang kuat dalam ilmu komputer teoretis dan matematika yang berkaitan dengan CS. Saya melakukan banyak...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Ingin memperbaiki pos ini? Berikan jawaban terinci untuk pertanyaan ini, termasuk kutipan dan penjelasan mengapa jawaban Anda benar. Jawaban tanpa detail yang cukup dapat diedit atau dihapus. Saya ditugaskan membangun perpustakaan buku tentang algoritma untuk perusahaan...
Bisakah Anda memberi saya beberapa saran tentang buku pengantar (tapi komprehensif) yang bagus tentang Logika dan Komputasi? Beberapa topik kabur yang ada dalam pikiran saya adalah: Artihm Presburger, PA, ZF, ZFC, HOL Teori set, teori tipe Modeling Computation (Turing Machines) dalam berbagai...
Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Saya...
Saya ingin memberikan bukti untuk bagian dari program Haskell yang saya tulis sebagai bagian dari tesis saya. Namun sejauh ini, saya gagal menemukan referensi yang bagus. Buku pengantar Graham Hutton, Programming in Haskell ( Google Books ) —yang saya baca sambil mempelajari Haskell — menyentuh...
Seorang anak cerdas berusia 15 tahun yang saya kenal tertarik dengan ilmu komputer dan genetika. Saya mengatakan kepadanya bahwa bidang ini merupakan kombinasi yang sangat baik. Saya ingin memberinya buku tentang bioinformatika atau genomika komputasi. Saya mencari buku yang menyenangkan, bukan...
Saya mencari teks referensi tentang teori grafik terapan dan algoritma grafik. Apakah ada teks standar yang digunakan di sebagian besar program ilmu komputer? Jika tidak, teks apa yang paling dihormati di bidang ini? Saya memiliki Cormen et