Обговорення користувача:VictorAnyakin/Теорія алгоритмів, теорія обчислень, теорія рекурс (02.02.2011—02.02.2011)
Найсвіжіший коментар: Bunyk у темі «Теорія алгоритмів, теорія обчислень, теорія рекурсії» 13 років тому
- Повний архів: Обговорення_користувача:VictorAnyakin/АвтоАрхів
- Обговорення: Обговорення_користувача:VictorAnyakin
Три речі, з якими я познайомився одна за одною. Питання: що є що, і як категоризувати статті? Я цілком впевнений що останні дві теорії - це одне і те ж. Але щодо перших двох - хотілось би побачити якусь діаграму вена, чи щось в тому роді... Колись мене вчили теорії алгоритмів, тепер теорії обчислень, що є майже тим же, тільки чомусь не зачіпає моделі машин...
Поки що ставлю категорію "теорія рекурсії". --Буник 03:29, 2 лютого 2011 (UTC)
І взагалі цікаво де ви вчились, бо щось дуже вже часто я проходжусь по статтях вашого авторства. --Буник 03:44, 2 лютого 2011 (UTC)
- Привіт, пропоную перейти на "ти". (: з тих статей жодна — мого авторства. Але от як їх категоризувати...
- Теорія обчислень та рекурсії, гадаю, що можна лишити як є, і вони насправді одне й те саме (судячи з іншомовних розділів).
- Теорія алгоритмів мала б якось відрізнятись від попередніх теорій та більше оповідати про дослідження алгоритмів, але вона, вочевидь, потребує доповнення
- Мені здається, що зараз категоризація така, як треба.
- А вчився я в НТУУ "КПІ"--vityok 11:56, 2 лютого 2011 (UTC)
- Сам знайшов відповідь (але дякую за те що відповіли, мені дуже важливо знати що питання варто задавати):
|
The field (en:Theory of computation) is divided into two major branches: computability theory and complexity theory, but both branches deal with formal models of computation. | 
|
- Ну, я не про ті статті конкретно, я скоріше про "рекурсивна функція" як основоположну. Крім того, ви точно вносили правки.
- Мені важко переходити на "ти" з деякими людьми. В вас мало потрібних для цього прецедентів :).
- Дивно що ви з КПІ. Я думав що в нас тільки кафедра теорії програмування займається дискретно-матлогічною стороною програмування, і далі аж до формальних методів. Бо один з небагатьох моїх друзів з КПІ якось більше вивчає автоматичне керування і аналогічні дифури.
- Дякую за увагу. :) --Буник 15:54, 2 лютого 2011 (UTC)