Как продолжение темы логического проектирования. Сравнение компьютерных языков — это и сравнение логик. Автоматы, абстрактные машины, лямбда исчисление, пи-исчисление, s- и м- выражения — всё это о логических системах и языковых конструкциях. Говорят о кризисе логики. Если это нормативные…