TCS hakkında fazla bilgisi olmayanlar için giriş TCS kitaplarının listesi [kapalı]

10

Giriş seviyesi TCM hakkında otomata teorisi, algoritma, karmaşıklık teorisi, vb. TCS, ancak buna maruz kalmamış mıydı?

education 
— Ken Li
kaynak
2
Bunun bir CW sorusu olması gerektiğini düşünüyorum.
— Gigili
1
Bu sorunun nasıl yönetileceği hakkında bu meta tartışmaya bakın .
— Raphael
3
cstheory.SE bir sahip gelişmiş liste çok
— uli
1
— Gilles 'SO
2
@Gigili Hayır. Eskiden CW olan kitapların listesi, ancak artık yapılmıyor. Lütfen bağlandığım blog gönderisini okuyun.
— Gilles 'SO- kötü olmayı bırak'

Yanıtlar:

9

Teknik ayrıntıları derinlemesine incelemeksizin genel bir tanıtım yapmak istiyorsanız, David Harel'in Algoritmik: Bilgi İşlem Ruhu'nu öneririm . Bundan sonra, bu benim favori listem:

  • Michael Sipser'in Hesaplama Teorisine Giriş : otomata teorisine, hesaplanabilirliğe ve karmaşıklığa en iyi giriş.
  • Algoritmalar teknik deliller daha sezgi üzerinde güçlü bir odaklanma ile algoritmalara en sezgisel giriş: S. Dasgupta, CH Papadimitriou ve UV Vazirani tarafından.
  • Jon Bentley'nin Programlama İncileri : Bu algoritmalar üzerine bir ders kitabı değil, gerçek programcıları tahriş eden gerçek sorunları çözmek için algoritma tasarım tekniklerinin nasıl kullanılacağını güzel bir şekilde gösteriyor. :-) Programlama hakkında önceden bilginiz varsa bu iyi bir başlangıç ​​olabilir.
— Dai
kaynak
DPV henüz basılı değil; genel olarak biliniyor mu?
— Raphael
Bu yanıtın puanı nedeniyle, yanıtları toplu bir yanıta ekledim . Lütfen netlik adına cevabınızı kaldırmayı düşünün.
— Raphael
@Raphael DPV birkaç yıldır basılmıştır, ancak hala online olarak mevcuttur. Amazon gibi ticari sitelere link vermemeye çalıştım.
— Dai
@ Dai: Anlıyorum. Bağlantı verdiğiniz sayfa "Bu, yakında yayınlanacak ders kitabımızın sondan bir önceki taslağı" diyor, bu yüzden kafa karışıklığım.
— Raphael
7
— Daniil
kaynak
TCS geçmişi olmayan biri için Clarke'ın kitabını biraz fazla ağır buluyorum. (Şahsen) Kitabı anlamakta zorlanan doktora öğrencilerini biliyorum.
— Dai
@Dai, muhtemelen haklısın, bunu Baier'in Model Kontrolü İlkeleri olarak değiştirdim
— Daniil
Mantık ve / veya otomata temelleri olmadan model kontrolünü anlayabilir misiniz?
— Raphael
1
Ejderha Kitabı kesinlikle iyi bir referanstır; Yine de yeterince teorik mi? (Dürüst olmak gerekirse bilmiyorum)
— Raphael
@ Raphael "İlkeleri" bir şekilde mantık (en azından bazı gerekli bilgiler) ve otomatlara giriş yapar. Oldukça büyük bir kitap, ~ 980 sayfa. Ejderha Kitabı'na gelince, derleyicilerin oldukça teorik bir alan olduğunu düşündüm, değil mi?
— Daniil
6

Algoritma analizinde gerekli olan matematik için, tek ve tek GKP'yi öneriyorum:

Graham, Knuth, Patashnik'den Beton Matematiği
(temel) algoritmada ihtiyaç duyacağınız tüm matematiğin kapsamlı, yüksek kaliteli bir uygulaması. Eğlenceli bir okuma ve zengin egzersizler (ve çözümler) içerir.

— Raphael
kaynak
Bu kitabı okumaya çalıştım, ama hoşuma gitmedi, çünkü hepsi çok ... beceriksiz ve kümelenmiş hissediyordu. Orada matematiğin güzelliğini hissetmedim. Bunu Sipsers'ın otomata teorisinin ana hatları veya Smullyan'ın mantık veya hatta Dummit & Foote'nun Soyut Cebiri ile ilgili kitapları ile karşılaştırın. Belki bu sadece benim, tho.
— Daniil
Ben ikinci Daniil. Teorisyenler için mükemmel araçlardan oluşan bir koleksiyon . Ancak yeni başlayanlar için eğlenceli olmak çok kuru ve teknik. Kendi ruhları olduğu için yukarıda bahsettiğim kitapları gerçekten çok seviyorum. Sanki biri sana hikayeler anlatıyor, ilginç hikayeler okuyor.
— Dai
Ne yazık ki, yapısal indüksiyon, koindüksiyon, alan teorisi ve Teori B-tarzı TCS için gerekli olan her şeyi kapsamaz.
— Dave Clarke
@DaveClarke: Doğru. Herhangi bir matematik-matematik kitabının bunlardan herhangi birini içermesini beklediğimden emin değilim. Ama sonra, GKP'nin bir cs-matematik kitabı olması gerekiyordu. Hiçbir mantık içermiyor, bu yüzden biraz yeniden ifade etmeliyim.
— Raphael
2
@DaveClarke lütfen bize Theory B matematiği ile ilgili bazı kitaplar önerebilir misiniz?
— Daniil
5

Algoritmalar 4. Baskı R. Sedgewick

Algoritma Analizine Giriş P. Flajolet, R. Sedgewick

Otomata Teorisi, Diller ve Hesaplamaya Giriş JE Hopcroft, JD Ullman, (R. Motwani)
1979 birinci baskısında 2001 ikinci baskısında eksik olan daha teorik sonuçlar vardır. Henüz üçüncü Ed'e bakmadım.

Biçimsel dil teorisine giriş MA Harrison
1978 yılından beri, ama yine de listede görmek istiyorum.

Logicomix: Doğruluk için Destansı Bir Arama A. Doxiadis, CH Papadimitriou
Çünkü tamamen harika!

Yine 1979
Garey ve Johnson'un Bilgisayarları ve Süreksizliği : NP-Tamlık Teorisi Kılavuzu

Listede TAoCP olmasını isterdim ama korkarım ki Don Knuth'un titiz yaklaşımı “tanıtım” olarak kabul edilebilecek bir şey değil. Ne yazık ki ...

— uli
kaynak
Logicomix kesinlikle bir mücevher, diğerleri değil demiyorum.
— Dave Clarke
Logicomix'in Mantıkçıları "çılgın" bir insan olarak gösterme şeklini gerçekten sevmiyorum. Doğru şekilde açıklandığında mantıktaki fikirler çok yeryüzüne ve basittir ve gerçekten de o kadar da çılgın değildir.
— Dai
1
@Dai Gödel, Wittgenstein, Nash, vb. Gibi sıra dışı insanların hayatlarına bir göz atın.
— uli
Bunlardan hangileri gerçekten acemiye dayanıklı?
— Raphael
@ Raphael IMHO hepsini, aksi takdirde onları buraya göndermezdim. Bazılarının dik bir öğrenme eğrisi olabilir ama bence sorun değil.
— uli
4

TCS alanında tamamen yeniyseniz, Sipser'in Hesaplama Teorisine Giriş kesinlikle başlamanız için en iyi kitaptır. Diğer tanıtım kitaplarını okudum ve bence hiçbiri Sipser'in konuyu getirme yoluna yaklaşmıyor.

Diğer, daha spesifik, iyi teorik kitaplar:

— Codd
kaynak
Yukarıda daha önce bahsedilmişti.
— Dave Clarke
@DaveClarke Şimdi düzenlememle yaptığım gibi listeye daha fazla kaynak eklemeyi planlıyordum, ama yine de Sipser'in kitabının ne kadar harika olduğunu vurgulamak istedim ! :-)
— codd
1
Pierce'ın kitabı bir mücevher. Keşke benim doktora (tip) yaptığım zaman olmuştu.
— Dave Clarke
@DaveClarke Şu anda danışmanımın tavsiyesi ile lisans tezim için kullanıyorum ve bundan da çok etkilendim!
— Cod
1
Referansınız için teşekkürler, bugün daha sonra bakacağım. KUL'da profesör olduğunuzu görüyorum, gelecek yıl Secure Software (Veilige yazılımı) okumak için geliyorum. Dünya ne kadar küçük.
— codd
3

TCS'nin Teori B bölümünü kapsayan bazı iyi kitaplar:

  • CS içinde Mantık : Bilgisayar Bilimleri Mantık: Sistemler hakkında Modelleme ve Muhakeme By Michael Huth ve Mark Ryan.
    Bilgisayar biliminde mantığın çeşitli kullanımlarının geniş kapsamı. Yaklaşık 3. sınıf lisans düzeyi.

  • Lambda hesabı : Lambda hesabı ve birleştiricileri. Giriş J. Roger Hindley ve Jonathan P. Seldin tarafından.
    Programlama dillerinin temellerinde temel bir bileşen olan lambda hesabını tanıtır. Yaklaşık 3. sınıf lisans düzeyi.

  • Domain teorisine içinde Kurşun : Kafesler için giriş ve Sipariş (2 ed.) Davey, BA ve Priestley HA Cambridge University Press tarafından. (2002).
    Özellikle semantikle çalışmayı planlıyorsanız çok kullanışlı bir konuyu kapsar. Diğer konulardan biraz daha matematikseldir, ancak erken bölümler kesinlikle ileri düzeydedir.

  • Anlambilim : Uygulamalarla Anlambilim : Hanne Riis Nielson ve Flemming Nielson'dan bir Meze .
    Programlama dili semantiğine gerçekten güzel bir giriş. Belirli bir biçimciliğin derinliklerine inmek yerine, geniş bir sunum yapar ve genellikle anlambilimle ilgili diğer kitaplarda dikkate alınmayan uygulamaları içerir. Muhtemelen 2. sınıf lisans öğrencileri için yararlı olabilir.

— Dave Clarke
kaynak
İtibarla bile bunlardan hiçbirini bilmiyorum, bu yüzden iyi olup olmadıklarını söyleyemem (bunun için sözünüzü almaya eğilimli olmama rağmen). : /
— Raphael
1
Her kitabın bir açıklamasını ekledim. Hepsi iyi.
— Dave Clarke
3

Bu, en az beş puan alan cevaplardan kitaplar içeren toplu bir yanıttır. Lütfen içeriğini sohbette tartışın .

Algoritmalar ve Veri Yapıları

  • Cormen, Leiserson, Rivest, Stein tarafından Algoritmalara Giriş (3. baskı 2009)
    Temel algoritmaların ve veri yapılarının kapsamlı bir tedavisi ve çok derin kazmadan analizleri.
  • Dasgupta tarafından algoritmalar , Papadimitriou, Vazirani (2006)
    Teknik kanıtlardan daha güçlü bir sezgiye odaklanan algoritmalara en sezgisel giriş.

Hesaplanabilirlik ve Karmaşıklık

  • Sipser tarafından Hesaplama Teorisine Giriş (2. baskı 2005)
    Otomata teorisi, hesaplanabilirlik ve karmaşıklığa en iyi giriş.

Biçimsel Diller ve Otomatlar

Uygulamalı Teori

  • Model Kontrol Prensipleri Baier, Katoen (2008) Model kontrolüne
    kapsamlı bir giriş olarak kullanılabilecek muazzam kitap.
  • Jon Bentley tarafından Programlama İncileri (2nd ed 1999)
    Algoritmalar üzerine bir ders kitabı değil, gerçek problemleri çözmek için algoritma tasarım tekniklerinin nasıl kullanılacağını güzel bir şekilde gösteriyor. Programlama hakkında önceden bilginiz varsa iyi bir başlangıç ​​olabilir.
— Raphael
kaynak
Bu soruya cevap vermiyor veya eğer isteniyorsa, iyi bir cevap değil. Yani TCS'yi başlatan birinin bu kitapların hepsini okuması gerekiyor mu? Değilse, nasıl seçerlerdi? Kuralınıza göre, bu cevabın yüzlerce kitap
— Gilles 'SO- kötü olmayı bırak'
@Raphael Bir başkasından kendi cevabını kaldırmasını istemek kibar mısın? Genellikle askerin kendisi, kendi soru metnini değiştirerek en sevdiği cevapları bir araya getirme işini yapabilir, ancak hiç kimsenin başka bir kişiyi kendi cevabını oluşturmak için kendi mesajını silmeye zorladığını görmedim. Bu cs stackexchange bu narsisistik davranışlarla garipleşiyor.
— Dai
@Raphael: CW yapmak, birisinden kendi cevabını silmesini istemiyor. Sanki bir kitap / anket kağıdı yazacağımı söylemek (ücretsiz olarak çevrimiçi yayınlayacağım), bu yüzden etrafta dolaşıyorum ve makalelerini karışıklıktan kaçınmak için kendi kağıtlarını almasını istediğim tüm yazarlardan istiyorum.
— Dai
@ Raphael CC lisanslarında çalışmamın sonunda başka biri tarafından kaldırılmasını talep edeceğini söyleyen bir yer görmüyorum. SE ile ne tür bir fanteziniz olduğunu bilmiyorum, ama kesinlikle Wikipedia değil. Bu web sitesini "denetlemek" için çok çalıştığınızı biliyorum, ancak lütfen bir başkasının konuşma ve gizlilik özgürlüğüne de saygı gösterin ve yukarı / aşağı oyların geri kalanıyla ilgilenmesine izin verin. Sanırım cs SE'nin hedefi yeni başlayanlar için cstheory SE'den daha kolay bir forum sağlamaktır, ancak burada önerdiğiniz mikro yönetim düzeyi bunu çok daha kötü hale getirdi.
— Dai
— Raphael
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.