Форум Сообщества Аналитиков

Общий раздел => Для всех => Тема начата: ktif003 от 14 Июня 2013, 06:52:47

Название: апробация алгоритма
Отправлено: ktif003 от 14 Июня 2013, 06:52:47

Здравствуйте!

Подскажите, если можно и если кто-либо что-нибудь знает (насколько сложно, какие методы) о том как выполнить апробацию без написания программы полностью, т.е. доказать её выполнимость (апробовать)? Возможно ли это математически (машина Тьюринга, частично-рекурсивные функции - не использовал, но получается чтобы выполнить доказательство посредством их - необходимо спуститься на "низкий уровень", что сравнимо с написанием программы на ассемблере)?

Название: Re: апробация алгоритма
Отправлено: Виктор Малышко от 14 Июня 2013, 09:47:34

Рекомендую ссылку (http://sp.cs.msu.ru/courses/fmsp/). Начиная с лекции 10 и далее.