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
Gibt es eine algorithmische mathematische Analyse?
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 analytischen Funktionen. Es ist in Ordnung, sich auf die reale Analyse (Wiki) zu konzentrieren , die …
3
Was beinhaltet Forschung in der theoretischen Informatik?
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 legen, wie verbringen Sie Ihre Forschungszeit? Was sind die Hauptaktivitäten, …
4
Autorenbestellung in TCS-Papieren
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 Abrufen digitaler Signaturen und Kryptosysteme mit öffentlichem Schlüssel [Rivest, Shamir, Adleman] Wortprobleme, …
1
Wie bilden Datenbankaggregationen ein Monoid?
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 Bloom-Filter, HyperLogLog und CountMinSketch. Mit diesen können Sie sich diese ausgefeilten Vorgänge wie Zahlen vorstellen und sie in …
3
Vom Computer gefundene Beweise
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. Ziel dieser Frage ist es, Beweise aufzulisten, die (vollständig oder teilweise) vom …
6
Was bringt es ,
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 Dank.λλ\lambdaλλ\lambda
5
Wie finde ich ein bestimmtes Forschungsthema, auf das ich mich konzentrieren kann?
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 meisten interessiert (einschließlich anderer ähnlicher Themen wie Programmiersprachen usw.) ). Wie …
2
Exponate für ein Museum of Computing
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 Bereichen Computer, Informatik, Kommunikation und Mathematik zu …
3
Wohin wende ich mich bei der Recherche / Veröffentlichung?
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, der eine …
2
Massive Online-Zusammenarbeit zur Lösung offener Probleme in der theoretischen Informatik
In Polymath-Projekten arbeitet eine große Gruppe an einem offenen Problem. Welche Probleme scheinen in diesem Rahmen am besten zu funktionieren? Gibt es gute Kandidaten für ein Polymath-Projekt in der theoretischen Informatik? Gibt es Hindernisse, die es weniger wahrscheinlich machen, dass Polymath-Projekte in der theoretischen Informatik im Vergleich zu anderen Bereichen …
1
PhD Entwicklung; Literaturübersicht Taktik
Ich bin mir nicht sicher, ob der Bereich korrekt ist, aber hier geht es weiter. Beginn einer Promotion in Vertrauens- und Reputationsmanagement in Kommunikationsnetzwerken (viel Graphentheorie, Wahrscheinlichkeitsanalyse usw.) und viel Lesen vor mir. Kann jemand raten, wie man das akademische Lesen am besten verwaltet und was ich für Literaturrecherche / …
3
Einleitende Hinweise zur Parallelisierung, insbesondere zu Problemmustern und Algorithmen
Ich suche nach online verfügbaren Vorlesungsskripten oder anderen Ressourcen, die eine gute Einführung in die parallele Programmierung bieten, genau wie das parallele Analogon der Grundkurse in der Informatik. Mein Fokus liegt auf Folgendem: Während ich über Divide & Conquer, gierige Algorithmen, dynamische Programmierung und dergleichen sprechen kann, dh über grundlegende …
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.