Походження та застосування Теорії А проти теорії Б?

У кількох останніх питаннях ( q1 q2 ) обговорювалося "Теорія А" проти "Теорія В", яка, здавалося б, охоплює розрив між вивченням логіки та мов програмування та вивченням алгоритмів та складності.

Ця термінологія була для мене новою, і швидкий пошук в Інтернеті не з'явив жодних очевидних посилань, що пояснювали б це.

Хтось знає про посилання чи посилання, які пояснюють походження цієї термінології, і яку, якщо така є, істотну користь має бути отримана від цього розрізнення?

Він походить з посібника з теоретичної інформатики , який мав два томи: A - для алгоритмів та складності, а B - для логіки та семантики.

Юкка, чи передував цьому ICALP? Або це було у відповідь на це?

Щодо переваг, я думаю, що завжди існує корисність у систематизації областей на основі тем, що цікавлять, та форм вивчення. Однак, як і у всіх таксономізаціях, проблема виникає, коли ви забудете "повернутись назад по дереву та вниз по іншій стороні" :).

EDIT : як явно зазначає ICALP, цей підрозділ походить від журналу Elsevier Theoretical Computer Science , який сам передує цьому посібнику, тому я вважаю, що це більш точне джерело.

EDIT ++ : З історії EATCS походить цей фрагмент про журнал TCS:

З цього часу М. Ніват, який досі є головним редактором, регулярно звітував перед радами та загальними зборами, а іноді й у Бюлетені - наприклад, коли розбивались на розділи А (автомати, алгебра та алгоритми) та В (логіка, семантика та пов'язані теми) було вирішено (Бюлетень № 45, ст.2,3, жовтень 1991 р.);

який дає 1991 рік, як це було вперше в журналі. Однак Довідник був вперше опублікований у вересні 1990 року!

Доріжка ICALP A проти B.