Pertanyaan yang diberi tag «books»

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 sebagian besar komentar yang saya pikir idealnya saya ingin …

21 algorithms  reference-request  books 

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 contoh-contoh di sana biasanya memiliki cara yang cukup mudah untuk menyatakan dengan keras, …

20 algorithms  reference-request  books 

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 membaca SICP (buku yang cukup mencerahkan) tetapi saya ingin menyelami teori pemrograman …

15 reference-request  lambda-calculus  functional-programming  books 

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 penelitian dan memilih buku-buku terbaik / sangat …

14 books 

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 teori Tautan dengan kompleksitas komputasi (FMT, kompleksitas deskriptif)

11 reference-request  logic  books 

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 kecil kami (sekitar 15 orang). Anggarannya lebih dari 5k, tapi tentu saja kurang dari …

11 algorithms  reference-request  data-structures  books 

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 …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

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 seorang pengisap untuk keanggunan dan ketelitian matematika, dan sekarang saya sedang mencari …

11 algorithms  algorithm-analysis  reference-request  books 

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 beberapa teknik untuk alasan tentang …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

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 buku teks. Secara khusus, itu harus menginspirasi orang untuk …

9 education  books  bioinformatics 

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 al.

8 algorithms  graph-theory  reference-request  education  books