Als «books» getaggte Fragen

Anfragen für Bücher zu einem Thema. Fragen müssen objektive Antworten zulassen und klare Anforderungen oder Kriterien für die Bewertung von Antworten identifizieren.

4
Buch für Algorithmen jenseits von Cormen
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 zufrieden. ANMERKUNG: Wenn ich die meisten Kommentare …
3
Wie formuliert man ein Rechenproblem konsequent?
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 einfach und …
3
Theorie der Programmiersprache studieren
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 verstehen.λλ\lambda Ich habe SICP gelesen (ein ziemlich aufschlussreiches Buch), aber ich versuche, …
3
Theoretische CS und Mathematik - Empfehlungen zum Selbststudium
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 / wirklich guten Bücher zum Thema CS …
14 books 
3
Einführungsbuch über Logik und Berechnung
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 Verknüpfungen mit rechnerischer Komplexität (FMT, beschreibende Komplexität)
3
Algorithmusbücher zu verschiedenen Themen
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 Algorithmen für unser kleines Unternehmen (ca. 15 Personen) aufzubauen. Das Budget …
1
Verfeinerungsarten ableiten
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 …
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 
4
Was sind gängige formale Techniken, um die Richtigkeit des Funktionscodes zu beweisen?
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 einige Techniken ein, um über Programme wie …
1
Ich suche ein populärwissenschaftliches Buch über Bioinformatik oder Computational Genomics
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 Lehrbuch. Insbesondere sollte es die Menschen dazu inspirieren, …
1
Rigorose Bücher über Algorithmen
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 sein, solche Dinge zu beweisen. Daher möchte ich …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.