Pertanyaan yang diberi tag «books»

[ Garis Waktu ] Pertanyaan ini memiliki semangat yang sama tentang makalah apa yang harus dibaca semua orang dan video apa yang harus ditonton semua orang . Ia meminta buku-buku luar biasa di berbagai bidang ilmu komputer teoretis. Buku-buku itu bisa berorientasi matematika, tetapi Anda mungkin merasa hebat untuk seorang …

229 reference-request  soft-question  big-list  books 

Setelah posting Apa Buku Yang Harus Dibaca Semua Orang , saya perhatikan ada buku-buku terbaru yang draftnya tersedia online. Sebagai contoh, entri Algoritma Approximation dari posting di atas mengutip sebuah buku 2011 (belum dipublikasikan) berjudul Desain algoritma pendekatan . Saya pikir mengetahui karya terbaru sangat berguna bagi siapa pun yang …

99 reference-request  big-list  books 

Sementara saya telah lulus beberapa mata kuliah tentang teori probabilitas, baik di sekolah menengah dan universitas, saya kesulitan membaca makalah TCS ketika datang ke probabilitas. Tampaknya para penulis makalah TCS sangat mengenal probabilitas. Mereka secara ajaib bekerja dengan rumus probabilitas dan membuktikan teorema dengan sangat mudah; sementara saya harus bekerja …

32 reference-request  big-list  pr.probability  books 

Saya telah membaca " Semantik dengan Aplikasi " dari Nielson & Nielson , dan saya sangat menyukai subjeknya. Saya ingin memiliki satu buku lagi tentang semantik bahasa pemrograman - tetapi saya hanya bisa mendapatkan satu buku. Saya melihat-lihat buku Turbak / Gifford , tetapi terlalu panjang lebar; Saya pikir Winskel …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Saya mencari buku tentang struktur data tingkat lanjut yang melampaui apa yang dicakup dalam buku teks standar seperti Cormen, Leiserson, Rivest, dan "Pengantar Algoritma" Stein. Sebuah buku yang dapat digunakan untuk mengajar kursus tingkat pascasarjana tentang struktur data tingkat lanjut seperti Erik Demaine dan kursus Struktur Data Lanjutan André Schulz …

24 soft-question  ds.data-structures  survey  books 

Ada reputasi, bahwa dalam ilmu komputer, kita tidak memiliki buku-buku sains populer. Tentu saja itu tidak sepenuhnya benar! (Dalam semangat yang sama dari daftar Apa Books Haruskah Semua orang Baca? , Apa kertas yang harus semua orang membaca? , Apa video harus semua orang menonton? Dan terinspirasi dari favorit buku …

24 big-list  books 

Saya akan mengajar kelas sarjana standar tentang bahasa dan automata semester depan, dan lebih suka menggunakan teks gratis atau berbiaya rendah yang sah. Ada saran? Saya suka teks Sipser tetapi edisi terbaru harganya $ 196, yang sulit dikatakan dengan wajah lurus di zaman kursus gratis.

21 soft-question  teaching  books 

Saya seorang mahasiswa pascasarjana dalam matematika dengan latar belakang yang kuat dalam logika. Saya telah mengambil kursus pascasarjana selama setahun di bidang logika bersama-sama dengan program pascasarjana tentang teori model terbatas dan satu lagi tentang teori memaksa dan menetapkan. Sebagian besar teks CS tampaknya hanya mengasumsikan latar belakang yang sangat …

17 lo.logic  soft-question  big-list  books  formal-methods 

Saya seorang mahasiswa pascasarjana dalam matematika, dan ilmu komputer teoretis adalah domain yang saya tidak pernah mengerti tentang apa itu karena saya tidak dapat menemukan bacaan yang baik tentang topik tersebut. Saya ingin tahu apa sebenarnya domain ini, topik apa yang terkait, prasyarat apa yang diperlukan untuk memulai, dll. Untuk …

15 reference-request  soft-question  books 

Saya seorang insinyur perangkat lunak yang cukup mahir, tetapi saya tidak tahu banyak teori. Saya ingin belajar lebih banyak teori. Topik khusus yang saya minati adalah: kompleksitas komputasi, bahasa formal, dan teori jenis. Tetapi saya bingung bagaimana cara mulai belajar tentang bidang-bidang ini. Sumber daya apa yang akan Anda rekomendasikan …

14 soft-question  teaching  books 

Saya seorang jurusan matematika yang tertarik pada TCS. Saya ingin mempelajari sendiri algoritme, dan kompleksitasnya untuk menyelesaikan masalah teoretis kelompok seperti urutan elemen, penghitungan coset, menemukan generator, menguji apakah subset yang diberikan menghasilkan grup. Buku apa yang harus saya baca?

12 ds.algorithms  reference-request  gr.group-theory  books 

Saya baru-baru ini diingatkan tentang masalah vs. N P seperti dijelaskan oleh Stephen A. Cook di Clay Mathematics Institute.PP\mathsf{P}NPNP\mathsf{NP} Ini menarik minat saya dan saya ingin belajar lebih banyak tentang hal itu. Langkah pertama adalah mendapatkan pemahaman yang lebih dalam tentang masalah dan pemahaman tentang area secara umum. Bisakah Anda …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Saya mencari sumber daya (lebih disukai buku pegangan) tentang topik lanjutan dalam algoritma (topik di luar apa yang dicakup dalam buku teks algoritma seperti CLRS dan DPV). Jenis bahan yang dapat digunakan untuk mengajarkan topik dalam kursus algoritma seperti Erik Demaine dan kursus Algoritma Tingkat Lanjut David Karger . Sumber …

11 ds.algorithms  reference-request  survey  books 

Baru-baru ini saya telah membaca sejumlah makalah CoLT yang layak. Meskipun saya tidak bergumul dengan makalah individual (setidaknya tidak lebih dari biasanya saya bergumul dengan makalah teori lainnya), saya tidak merasa memiliki pemahaman yang luas tentang bidang ini secara keseluruhan. Apakah ada teks standar, survei, atau catatan kuliah untuk memperkenalkan …

10 reference-request  machine-learning  lg.learning  survey  books 

Saya cukup akrab dengan teori di balik VC-Dimension, tetapi saya sekarang sedang melihat kemajuan (10 tahun terakhir) dalam teori pembelajaran statistik: rata-rata (lokal) Rademacher rata-rata, Massma's Finite Class Lemma Class, Numbering Covering, Chaining, Dudley's Teorema, Pseudodimension, Dimensi Penghancuran Lemak, Nomor Pengepakan, Komposisi Rademacher, dan mungkin hasil / alat lain yang …

10 reference-request  machine-learning  lg.learning  books  vc-dimension