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

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

Рекомендую ссылку. Начиная с лекции 10 и далее.