Показать сообщение отдельно
Старый 13.10.2009, 14:56   #7
Варвара
Full Member
 
Аватар для Варвара
 
Регистрация: 04.02.2009
Сообщений: 166
По умолчанию

Riper, в том-то и проблема, что я не сводила задачу, а через машины Тьюринга доказывала. В итоге там два листа формул почти без текста. В стиле: а вот этот кусок МТ соответствует вот такому куску моей модели. Короче это доказательство сделать нереально, потому что оно и в диссертации уже максимально краткое. Метод названия не имеет, и книжку с его описанием найти никак не могу (видела только в учебниках, а ссылаться на учебники не разрешает научрук)... Эх... Буду пытаться сформулировать одним предложением...

Спасибо за советы!
---------
Ты прав, все истины просты, и открываются когда-то.
А правды нет. О ней мечты доверь наивности Сократа. (с)
Варвара вне форума   Ответить с цитированием
Реклама