Teori A'nın kökenleri ve uygulamaları mı? Teori B mi?

Son birkaç soruda ( q1 q2 ), mantık ve programlama dilleri ile algoritmalar ve karmaşıklık çalışmaları arasındaki ayrımı yakalamak için "Teori B" ile "Teori A" ya karşı "Teori A" tartışıldı.

Bu terminoloji benim için yeniydi ve hızlı bir web araştırması açıklayan herhangi bir açık referans ile gelmedi.

Bu terminolojinin kökenini açıklayan bir referans veya referanstan herhangi biri bilen var mı ve varsa, bu ayrımı yapmaktan elde edilecek maddi yararın amacı nedir?

İki cilde sahip olan teorik bilgisayar bilimi el kitabından geliyor : A algoritmalar ve karmaşıklık için ve B mantık ve anlambilim içindi.

Jukka, ICALP bunu öncülük etti mi? Yoksa buna cevap olarak mıydı?

Avantajlara gelince, ilgilenilen konulara ve çalışma biçimlerine göre taksonomizasyon alanlarında her zaman bir fayda olduğunu düşünüyorum. Bununla birlikte, tüm taksonomizasyonlarda olduğu gibi, sorun "ağacı yukarı ve diğer tarafa geri çekmeyi" unutursanız ortaya çıkar :).

EDIT : ICALP'in açıkça belirttiği gibi, bu bölüm , el kitabının önünde yer alan Elsevier dergisinin Teorik Bilgisayar Bilimi'nden geliyor , bu yüzden bunun daha doğru bir kaynak olduğunu düşünüyorum.

EDIT ++ : EATCS'in tarihçesinden , dergi TCS ile ilgili şu snippet'e gelir:

O zamandan beri halen Genel Yayın Yönetmeni olan M. Nivat düzenli olarak meclis ve genel kurul toplantılarına ve zaman zaman Bültene rapor vermiştir - örneğin A (otomata, cebir ve algoritmalar) ve B (mantık, semantik ve ilgili konulara karar verildi (Bülten no. 45, s.2,3, Ekim 1991);

1991'de, dergide ilk defa yaşanmaya başladığında olduğu gibi çıktı. Ancak, El Kitabı ilk kez Eylül 1990'da yayınlandı!

ICALP A ve B izini takip edin