Theoretische Informatik soft-question

7

Dies ist eine Frage im Geiste dieser, auf die ich geantwortet habe, dass es wichtig ist, zu verfolgen, was Sie getan haben, warum Sie es getan haben und was nicht funktioniert. Ich persönlich benutze Notebooks für diesen Zweck, aber es hat einige Nachteile: Erstens brauche ich viel Speicherfläche, zweitens kann …

16 soft-question research-practice

9

Gibt es ein Buch über die philosophischen Implikationen der theoretischen Informatik?

Ich finde einige Bücher über Computer, aber alle handeln von Technologie. Ich möchte etwas mehr mit der Theorie zu tun haben.

15 reference-request soft-question philosophy

2

(Wie) Können wir NP-Probleme in Abwesenheit des Turing-Berechnungsmodells entdecken / analysieren?

Wie kann man aus rein abstrakten mathematischen / rechnerischen Gesichtspunkten überhaupt Probleme wie 3 - SAT, Teilmenge Summe, Handlungsreisender usw. Entdecken oder über sie nachdenken? Wären wir überhaupt in der Lage, sie nur unter funktionalen Gesichtspunkten sinnvoll zu beurteilen? Wäre es überhaupt möglich? Ich habe diese Frage nur von einem …

15 soft-question lambda-calculus turing-machines functional-programming np

2

Wo kann man mehr über theoretische Informatik erfahren?

Ich bin ein Doktorand in Mathematik, und theoretische Informatik ist ein Bereich, von dem ich nie verstanden habe, worum es geht, weil ich keine gute Lektüre zu diesem Thema finden konnte. Ich möchte wissen, worum es in dieser Domain eigentlich geht, um welche Themen es sich handelt, welche Voraussetzungen erforderlich …

15 reference-request soft-question books

1

Warum war Schönfinkels Arbeit, „gebundene Variablen“ in der Logik zu eliminieren, so entscheidend?

AFAIK, Der erste Beweis für die Verwendung von Funktionen höherer Ordnung geht auf Schönfinkels Arbeit von 1924 zurück: "Auf den Bausteinen der mathematischen Logik" - wo man Funktionen als Argumente an andere Funktionen übergeben durfte. Das scheint interessant zu sein. Jedoch scheint alles, was ich über seine Arbeit gelesen habe …

15 lo.logic soft-question ho.history-overview intuition function

5

Beispiele für Pedanterie in TCS

Larry Wasserman hat kürzlich einen Beitrag verfasst, in dem er über die "P-Value-Polizei" spricht. Er macht einen interessanten Punkt (alles Hervorheben von mir) (die Prämisse in Kursivschrift, die ich hinzugefügt habe, und seine Antwort darunter): Die häufigste Beschwerde ist, dass Physiker und Journalisten die Bedeutung eines p-Wertes falsch erklären. Wenn …

15 ds.algorithms soft-question big-list

1

Aufrechterhaltung der Reihenfolge in einer Liste in

Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt einen Zeiger auf das neue Element zurück …

15 ds.data-structures soft-question pl.programming-languages graph-theory tree cc.complexity-theory pcp co.combinatorics cg.comp-geom pr.probability vc-dimension cc.complexity-theory complexity-classes relativization soft-question advice-request career soft-question research-practice paper-review journals co.combinatorics cc.complexity-theory complexity-classes pr.probability average-case-complexity cc.complexity-theory lo.logic descriptive-complexity finite-model-theory ds.algorithms cc.complexity-theory approximation-hardness csp pcp cc.complexity-theory circuit-complexity

1

Algorithmen Design und Komplexität - Wie kann man so denken?

Meine Frage ist allgemein: Wie fange ich an, in Bezug auf Algorithmusdesign und Komplexität zu denken? Ich werde einen Graduate Course in Algorithm Design belegen. Ich hatte mich früher angemeldet, ließ es aber später wieder fallen, weil ich nicht mithalten konnte. Ich muss diesen Kurs als Voraussetzung nehmen. Gibt es …

15 cc.complexity-theory ds.algorithms soft-question advice-request research-practice

10

Intraktabilität von NP-vollständigen Problemen als physikalisches Prinzip?

Ich bin immer fasziniert von dem Mangel an numerischen Beweisen aus der experimentellen Mathematik für oder gegen die P vs NP-Frage. Während die Riemann-Hypothese einige Belege aus der numerischen Verifikation enthält, sind mir keine ähnlichen Belege für die P-gegen-NP-Frage bekannt. Außerdem sind mir keine direkten Konsequenzen für die physische Welt …

15 cc.complexity-theory soft-question big-picture experimental

2

Proof Assistant-Einsatz in der Komplexitätstheorieforschung?

Verwenden Algorithmen- oder Komplexitätsforscher in Anbetracht der auf einer Konferenz wie STOC behandelten Themen aktiv COQ oder Isabelle? Wenn ja, wie setzen sie es in ihrer Forschung ein? Ich gehe davon aus, dass die meisten Leute solche Tools nicht verwenden würden, da die Proofs zu niedrig wären. Verwendet jemand diese …

14 cc.complexity-theory approximation-algorithms soft-question proof-assistants

4

Ressourcen zum Selbststudium der theoretischen Informatik für Programmierer

Ich bin ein ziemlich erfahrener Softwareentwickler, aber ich kenne nicht viel Theorie. Ich möchte mehr Theorie lernen. Bestimmte Themen, die mich interessieren, sind: Komplexität der Berechnungen, formale Sprachen und Typentheorie. Aber ich bin ratlos, wie ich anfangen soll, über diese Felder zu lernen. Welche Ressourcen würden Sie jemandem empfehlen, der …

14 soft-question teaching books

2

Ressourcen für Mathematiker, die mehr Informatik lernen möchten

Hintergrund : Ich beende mein Masterstudium in Mathematik und werde im August in Logik promovieren. Je mehr Logik ich studiere, desto mehr theoretische Informatik ist mir ausgesetzt, z. B. Rekursionstheorie, Lambda-Kalkül, aber die zugrunde liegende CS wird unter den Teppich gekehrt. Meine Hauptinteressengebiete - Mengen- und Kategorietheorie - haben auch …

14 reference-request soft-question

6

Ideen für Quantum-Computing-Projekte

Ich bin Student der Informatik und plane gerade mein Abschlussprojekt. Ich brauche einige Ideen im Bereich des Quantencomputers. irgendeine Hilfe?

14 quantum-computing soft-question

1

Warum brauchte Martin-Löf eine intuitionistische Typentheorie?

Ich habe über Intuitionistische Typentheorie (ITT) gelesen und es macht Sinn. Aber ich habe Mühe zu verstehen, warum es überhaupt geschaffen wurde. Intuitionistic Logic (IL) und Simply- Typed -calculus (STLC) und die Typentheorie im Allgemeinen gehen der Existenz von Martin-Löf selbst voraus! Es scheint, dass man in STLC alles machen …

13 lo.logic soft-question type-theory big-picture ho.history-overview

1

Karriere für theoretische Informatiker

Was sind die typischen Karrieren für theoretische Informatiker (Absolventen der theoretischen Informatik)? Welche Branchen und Institutionen suchen theoretische Informatikkenntnisse? Welche Karrieren sehen theoretische Informatiker typischerweise?

13 soft-question career

Als «soft-question» getaggte Fragen