Цитата:
Сообщение от Степан Капуста
Вот за это «формализовать» степень и дают...
|
Мне кажется, формализация интересна в т.ч. и сама по себе. Я вот в процессе формализации еще раз взглянул на свою работу под другим углом, а раньше смотрел только с практической точки зрения. Обнаружил интересные аналогии с релационными моделями. Значит, можно позаимствовать часть формализации от туда. :-) Но все еще интересно как можно научить себя строить модели в computer science и формализовать? Может быть есть что-нибудь на эту тему?
Добавлено через 34 секунды
Цитата:
Сообщение от kravets
Кроме того, обзор, который оказался полезным мне, присоединил (архив на самом деле rar, я zip не использую, а форум иначе не позволяет).
|
Спасибо, действительно хороший и интересный обзор!
Добавлено через 17 минут
Цитата:
Сообщение от Yura
если бы был универсальный алгоритм формализации, то досрочно бы настала эра роботов
а пока эта привилегия остается за человеком
|
На ум сразу приходит пример с ТРИЗ, хотя это и не алгоритм, а грубо говоря набор советов, и совсем не про формализацию. Что касается формализации то нужен также не алгоритм, а какая-нибудь работа (если зарубежная - еще лучше, т.к. местами может быть проще с терминами), где обучали бы формализации в computer science.