Als «soft-question» getaggte Fragen

Eine weiche Frage ist eine (möglicherweise subjektive) Frage zum Bereich der theoretischen Informatik und keine Frage zur theoretischen Informatik.

4
Interessante Ergebnisse in TCS, die für Programmierer ohne technischen Hintergrund leicht zu erklären sind
Angenommen, Sie treffen sich mit Programmierern, die einige professionelle Programmierkurse besucht haben (/ self thought), aber kein Mathematikstudium auf Universitätsniveau absolviert haben. Um ihnen die Schönheit von TCS zu zeigen, möchte ich einige nette Ergebnisse / offene Fragen von TCS sammeln, die leicht erklärt werden können. Ein guter Kandidat für …
6
Beratung für Graduiertenschule in Informatik
Ich suche Ratschläge und Feedback. Hintergrund: Ich bin ein Student der Mathematik, der sich für theoretische Informatik interessiert (Komplexität der Berechnungen, Graphentheorie, Kombinatorik). Ich möchte in Informatik promovieren und mich auf Theorie konzentrieren. Mein Hintergrund liegt in mathematisch intensiven Bereichen der Informatik, aber mir fehlt ein eher angewandter Hintergrund in …
3
Fühlen Sie sich nach jeder Einreichung unzufrieden
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. All das, um zu sagen, dass ich …
2
Wie genau erfasst die Lambda-Rechnung den intuitiven Begriff der Berechenbarkeit?
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, TMs existieren nicht - …
3
Verwendung von
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 die stabile Homotopietheorie) verwenden kann. Ich denke, HoTT könnte eine …
4
Wie kann man „theoretischer“ sein?
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 geschlagen. Bisher habe …
1
Wie dienen Zeitschriften der TCS-Community?
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 webbasierter Verbreitung (z. B. arxiv oder persönliche Homepages) wahrgenommen. Es gibt immer …
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.