Computergeometrie ist ein Bereich, den ich sehr interessant finde, und ich würde gerne ein oder zwei Monate für ein Projekt verwenden, das mich in dieses Thema einführt und mir hilft, wichtige Konzepte zu erlernen. Was ist ein guter Weg, um dies zu erreichen, und was sind die Schlüsselkonzepte, bei...
Ich bin in meinem zweiten Jahr in einem MSc, der nicht allzu viel mit TCS zu tun hat, obwohl ich es mir wünsche. Im Grunde geht es um Steuerungstheorie, Signale und Systeme, und ich habe Kurse in fortgeschrittenen Systemen (robust, nichtlinear, optimal, stochastisch), fortgeschrittener...
Entschuldigung im Voraus für diese weiche Frage, die keine geschlossene, richtige Antwort hat. Dies ist wahrscheinlich das beste Forum, um meine Frage zu stellen. Ich bin ein Doktorand im dritten Jahr in einer theoretischen Gruppe einer Top-15- Schule in den USA. Bisher habe ich mich anständig gut...
Ich bin ein Doktorand im dritten Jahr an einer "Top-20" -Universität, der sich mit feinkörniger Komplexität beschäftigt (viel Spiel mit 3-SUM, OV und den üblichen populären Härte-Vermutungen). Ich war im letzten Jahr ziemlich produktiv und habe 3 akzeptierte Papiere und zwei eingereichte Papiere....
Ich bin kein theoretischer Informatiker. Ich bin ein stabiler Homotopietheoretiker mit Kategorien. Ich habe Anwendungen der Kategorietheorie und der Topos-Theorie in der theoretischen Informatik gesehen und mich gefragt, ob man in der theoretischen Informatik ∞- Kategorien (und für mich bevorzugt...
Ich habe versucht, mich mit dem Was, Warum und Wie von Kalkulus zu beschäftigen, aber ich bin nicht in der Lage, mich mit "Warum funktioniert es?"λλ\lambda "Intuitiv" erhalte ich das Rechenmodell von Turing Machines (TM). Aber diese lgr; -Abstraktion lässt mich nur verwirrt.λλ\lambda Nehmen wir an,...
Ich habe eine Weile einen SAT-Algorithmus entwickelt und einen Punkt erreicht, an dem ich ihn gerne teilen möchte. Ich kenne nicht viele Leute in der Informatik und bin mir nicht sicher, wohin ich mich wenden soll. Ich frage mich, welche Ressourcen für jemanden mit einem Algorithmus verfügbar sind,...
Um die Vollständigkeit eines Problems zu beweisen , schrieb ich in einem Konferenzpapier den dummen Satz "Es ist klar, dass das Problem in N P liegt . Also werden wir beweisen, dass es N P -hart ist". Tatsächlich war es überhaupt nicht klar. Es scheint sogar ein offenes Problem zu sein. Für die...
Alle mir bekannten Computermuseen und Exponate scheinen nur die Geschichte der Computer zu behandeln, aber nichts zu Themen der Informatik. Sie sind an der Schaffung eines neuen Computermuseums beteiligt, das gegründet wurde, um die breite Öffentlichkeit in einer Vielzahl von Themen aus den...
Ich habe vor kurzem meinen Masterkurs begonnen. Letztes Semester habe ich Kurse aus verschiedenen Disziplinen wie Netzwerke, Softwareentwicklung, Architektur usw. besucht. Vor kurzem habe ich nach einem fortgeschrittenen Kurs in Algorithmen und Datenstrukturen einen Kurs gefunden, der mich am...
Was ist der Unterschied, wenn man Kalkül eine Algebra anstelle eines Kalküls nennt ? Ich stelle diese Frage, weil ich irgendwo die Zeile " λ- Kalkül ist kein Kalkül, sondern eine Algebra" gelesen habe (iirc, Dana Scott zugeschrieben). Was ist der Sinn? Vielen
1996 wurde ein seit langem offenes Problem von einem Computer gelöst; nämlich, dass Robbins Algebra und Boolesche Algebra gleich sind. Der Beweis wurde von einem automatisierten Theorembeweiser gefunden. Darüber hinaus enthält der bekannte Beweis des Vierfarbensatzes computergenerierte Komponenten....
Auf cs.stackexchange fragte ich nach der Algebird- Scala-Bibliothek auf Github und spekulierte darüber, warum sie möglicherweise ein abstraktes Algebra-Paket benötigen. Die Github-Seite enthält einige Hinweise: Implementierungen von Monoiden für interessante Approximationsalgorithmen wie...
Während die Faustregel lautet, dass in TCS-Artikeln die Autoren alphabetisch geordnet sind, fallen mir einige bemerkenswerte Gegenbeispiele ein, bei denen die Autoren anders geordnet sind, z. Algebraische Methoden für interaktive Beweissysteme [Lund, Fortnow, Karloff, Nisan] Eine Methode zum...
In der Vergangenheit waren Zeitschriften die Hauptmethode für die Verbreitung und Überprüfung wissenschaftlicher / mathematischer Entdeckungen. In einigen Bereichen sind sie es immer noch. In der (theoretischen) Informatik wird diese Rolle jedoch fast ausschließlich von Konferenzen und offener...
Ich versuche zu verstehen, worum es in der theoretischen Informatikforschung geht. Was machen theoretische Informatiker? Ich weiß, dass viel Zeit für das Unterrichten, die Betreuung von Doktoranden, die Beantragung von Finanzmitteln und für Abteilungsaufgaben aufgewendet wird. Wenn Sie sie beiseite...
Es gibt algorithmische Graphentheorie / Zahlentheorie / Kombinatorik / Informationstheorie / Spieltheorie. Gibt es eine algorithmische mathematische Analyse? Laut Wiki umfasst die mathematische Analyse die Theorien der Differenzierung, Integration, Messung, Grenzen, unendlichen Reihen und...
Ich bin ein Doktorand in theoretischer Informatik und insbesondere in Approximationsalgorithmen. Ich finde jetzt, dass ich mich mehr für reine Mathematik interessiere (ich kann das sagen, weil ich Mathematikkurse anscheinend mehr genossen habe als die CS-Kurse). Ich möchte fragen, ob es Bereiche in...
Ich habe mich eine Weile für verschiedene Themen wie kombinatorische Logik, Lambda-Kalkül und funktionale Programmierung interessiert und sie studiert. Im Gegensatz zur "Theorie der Berechnung", die versucht, die Frage der "Berechenbarkeit" zu beantworten, dh Dinge, die mit verschiedenen...
Ich bin ein autodidaktischer professioneller Programmierer. Ich bin ziemlich gut darin (Ruby, Unix, Clojure, Java, Objective-C), aber jetzt denke ich darüber nach, es auf die nächste Stufe zu bringen, indem ich mich vielleicht für ein Master- oder PhD-Programm in CS bewerbe. Welche Themen in...