W kilku ostatnich pytaniach ( q1 q2 ) omawiano „Teorię A” vs. „Teorię B”, najwyraźniej w celu uchwycenia podziału między nauką logiki i języków programowania a badaniem algorytmów i złożoności.
Ta terminologia była dla mnie nowa, a szybkie wyszukiwanie w Internecie nie przyniosło żadnych oczywistych referencji.
Czy ktoś wie o referencji lub referencjach, które wyjaśniają pochodzenie tej terminologii i jakie ewentualne korzyści materialne można uzyskać z takiego rozróżnienia?
ho.history-overview
terminology
Marc Hamann
źródło
źródło
Odpowiedzi:
Pochodzi z podręcznika z informatyki teoretycznej , który miał dwa tomy: A dotyczył algorytmów i złożoności, a B - logiki i semantyki.
Jukka, czy ICALP było wcześniej? A może było to odpowiedzią?
Jeśli chodzi o korzyści, myślę, że zawsze istnieje pewna użyteczność w obszarach taksonomizacji na podstawie interesujących tematów i form studiów. Jednak, podobnie jak w przypadku wszystkich taksonomizacji, problem pojawia się wtedy, gdy zapomnisz „wrócić do drzewa i z drugiej strony” :).
EDYCJA : jak wyraźnie stwierdza ICALP, ten podział pochodzi z czasopisma Elsevier Theoretical Computer Science , który sam poprzedza podręcznik, więc uważam, że jest to dokładniejsze źródło.
EDIT ++ : Z historii EATCS pochodzi ten fragment o TCS, czasopiśmie:
co daje 1991 rok, kiedy to zaczęło się po raz pierwszy w czasopiśmie. Podręcznik został jednak opublikowany po raz pierwszy we wrześniu 1990 roku!
źródło
algorithms' and
„ metody równorzędne ”z metodami formalnymi.” (ze strony ICALP 1997)Ścieżka ICALP A vs. B.
źródło