Als «books» getaggte Fragen

Ich habe den größten Teil des Materials in Cormens Intro to Algorithms-Buch fertiggestellt und suche nach einem Algorithmus-Buch, das Material über Cormans Buch hinaus abdeckt. Gibt es irgendwelche Empfehlungen? HINWEIS: Ich habe dies beim Stackoverflow gefragt, war aber mit der Antwort nicht allzu...

Ich interagiere oft mit Leuten, die nach einem Algorithmus für ein Rechenproblem (oder dessen Komplexität) fragen möchten, aber sie drücken ihn nicht so aus, dass wir (Informatiker) ihn verstehen. Es ist nicht hilfreich, sie auf Bücher wie CLRS zu verweisen, da die Beispiele dort in der Regel recht...

In letzter Zeit habe ich großes Interesse daran, Aspekte von (funktionalen) Programmiersprachen zu verstehen und zu beweisen. Wenn ich jedoch tiefer in die Materie eintauche, sind Dinge wie Berechnung, Kategorietheorie und Denotationssemantik ohne angemessene Erklärung etwas schwierig zu...

Ich bin ein Nicht-CS-Absolvent und mein Studienfach ist nicht mit CS verbunden. Als Teil eines größeren Plans, Informatiker zu werden, möchte ich jedoch solide Kenntnisse in theoretischer Informatik und Mathematik in Bezug auf CS erwerben. Ich habe viel recherchiert und die folgenden besten /...

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: 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 =>...

Möchten Sie diesen Beitrag verbessern? Geben Sie detaillierte Antworten auf diese Frage, einschließlich Zitaten und einer Erklärung, warum Ihre Antwort richtig ist. Antworten ohne ausreichende Details können bearbeitet oder gelöscht werden. Ich wurde beauftragt, eine Bibliothek mit Büchern über...

Können Sie mir einige Vorschläge für ein gutes einführendes (aber umfassendes) Buch über Logik und Berechnung geben? Einige unscharfe Themen, an die ich denke, sind: Presburger Artihm., PA, ZF, ZFC, HOL Mengenlehre, Typentheorie Modellierungsberechnung (Turingmaschinen) in verschiedenen Theorien...

Geschlossen . Diese Frage basiert auf Meinungen . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie durch Bearbeiten dieses Beitrags mit Fakten und Zitaten beantwortet werden kann . Geschlossen vor 4 Jahren . Ich bin ein Trottel...

Ich möchte Beweise für Teile eines Haskell-Programms liefern, das ich im Rahmen meiner Abschlussarbeit schreibe. Bisher habe ich jedoch kein gutes Nachschlagewerk gefunden. Graham Huttons Einführungsbuch Programming in Haskell ( Google Books ), das ich beim Lernen von Haskell gelesen habe, geht auf...

Ein intelligenter 15-Jähriger, den ich kenne, interessiert sich sowohl für Informatik als auch für Genetik. Ich sagte ihr, dass diese Felder eine hervorragende Kombination bilden. Ich möchte ihr ein Buch über Bioinformatik oder Computational Genomics geben. Ich suche ein lustiges Buch, kein...

Ich suche einen Referenztext zur angewandten Graphentheorie und zu Graphalgorithmen. Gibt es einen Standardtext, der in den meisten Informatikprogrammen verwendet wird? Wenn nicht, was sind die angesehensten Texte auf diesem Gebiet? Ich habe Cormen et

Ich habe meinen Algorithmusunterricht sehr genossen, aber ich hatte das Gefühl, dass es an Genauigkeit mangelte. Die meiste Zeit konnte ich intuitiv verstehen, warum die vorgestellten Algorithmen funktionierten und warum sie die vorgestellte zeitliche Komplexität hatten, aber ich möchte in der Lage...