Цитата:
Сообщение от IvanSpbRu
Если Вы боитесь примеров такого уровня сложности - то зачем Вам нужны математические модели в принципе? Серьезно
|
Дело не в боюсь/не боюсь. Просто хотелось бы посмотреть примеры из своей области. Предложенная вами книга безусловно полезна, но судя по беглому просмотру около 80% там примеры. В моей области модели не менее сложные. Но что более важно, сложность там другого рода. Например, дифференциальные уравнения там отсутствуют как класс (ну разве что только в приложениях). Но зато теория множеств и т.п. используются в полную силу. Вот бы и хотелось найти книжку про модели в computer science и как их правильно строить.
Добавлено через 5 минут
Цитата:
Сообщение от kravets
Математические модели в области анализа компьютерных программ аналитикой не будут. Теория автоматов (Вы даже не представляете, что можно делать, если отойти от классики), сети Петри (все-таки описательная штука), специфические разделы теории графов. Ну и почитайте Липаева и Шалыто.
|
Не могли бы вы назвать на какие книги этих авторов обратить внимание в первую очередь?
Интересут что-то из разряда работ Dana Scott. Но может быть кто-нибудь посоветует что-то популярнее и интереснее?
PS: Про теорию автоматов немного представляю. Тот же model checking, например. Но меня больше интересует то, как самому научиться строить грамотные модели.