In einigen kürzlich gestellten Fragen ( q1 q2 ) wurde "Theorie A" gegen "Theorie B" diskutiert, um die Kluft zwischen dem Studium von Logik und Programmiersprachen und dem Studium von Algorithmen und Komplexität zu erfassen.
Diese Terminologie war für mich neu, und bei einer schnellen Websuche wurden keine offensichtlichen Verweise gefunden, die dies erläuterten.
Kennt jemand eine Referenz oder Referenzen, die den Ursprung dieser Terminologie erklären, und welchen, wenn überhaupt, materiellen Nutzen soll diese Unterscheidung haben?
ho.history-overview
terminology
Marc Hamann
quelle
quelle
Antworten:
Es stammt aus dem Handbuch zur theoretischen Informatik , das zwei Bände umfasste: A war für Algorithmen und Komplexität, und B war für Logik und Semantik.
Jukka, hat ICALP das früher gemacht? Oder war es eine Reaktion darauf?
Was die Vorteile angeht, so gibt es meiner Meinung nach immer einen Nutzen bei der Taxonomisierung von Bereichen, die auf interessanten Themen und Studienformen basieren. Wie bei allen Taxonomisierungen tritt das Problem jedoch auf, wenn Sie vergessen, "den Baum wieder hoch und die andere Seite runter zu gehen" :).
EDIT : Wie ICALP ausdrücklich feststellt, stammt diese Unterteilung aus der Zeitschrift Theoretical Computer Science von Elsevier , die bereits vor dem Handbuch veröffentlicht wurde. Ich denke, das ist eine genauere Quelle.
EDIT ++ : Aus der Geschichte des EATCS stammt dieser Ausschnitt über TCS, die Zeitschrift:
Das ergibt 1991, als dies zum ersten Mal in der Zeitschrift passierte. Das Handbuch wurde jedoch erstmals im September 1990 veröffentlicht!
quelle
algorithms' and
formale Methoden gleichermaßen ab." (von der ICALP 1997 Seite)ICALP Strecke A vs. B.
quelle