Список проголосовавших за комментарий "Oleg, Тео́рия алгори́тмов — наука, находящаяся на стыке <a title="Математика" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%259C%25D0%25B0%25D1%2582%25D0%25B5%25D0%25BC%25D0%25B0%25D1%2582%25D0%25B8%25D0%25BA%25D0%25B0&s=3464200490">математики</a> и <a title="Информатика" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%2598%25D0%25BD%25D1%2584%25D0%25BE%25D1%2580%25D0%25BC%25D0%25B0%25D1%2582%25D0%25B8%25D0%25BA%25D0%25B0&s=4288705856">информатики</a>, изучающая общие свойства и закономерности <a title="Алгоритм" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%2590%25D0%25BB%25D0%25B3%25D0%25BE%25D1%2580%25D0%25B8%25D1%2582%25D0%25BC&s=1987437486">алгоритмов</a> и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство <a href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%2590%25D0%25BB%25D0%25B3%25D0%25BE%25D1%2580%25D0%25B8%25D1%2582%25D0%25BC%25D0%25B8%25D1%2587%25D0%25B5%25D1%2581%25D0%25BA%25D0%25B8_%25D0%25BD%25D0%25B5%25D1%2580%25D0%25B0%25D0%25B7%25D1%2580%25D0%25B5%25D1%2588%25D0%25B8%25D0%25BC%25D0%25B0%25D1%258F_%25D0%25B7%25D0%25B0%25D0%25B4%25D0%25B0%25D1%2587%25D0%25B0&s=1179200919">алгоритмической неразрешимости</a> задач, <a title="Асимптотический анализ" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%2590%25D1%2581%25D0%25B8%25D0%25BC%25D0%25BF%25D1%2582%25D0%25BE%25D1%2582%25D0%25B8%25D1%2587%25D0%25B5%25D1%2581%25D0%25BA%25D0%25B8%25D0%25B9_%25D0%25B0%25D0%25BD%25D0%25B0%25D0%25BB%25D0%25B8%25D0%25B7&s=2286290228">асимптотический анализ</a> <a class="mw-redirect" title="Сложность алгоритма" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%25A1%25D0%25BB%25D0%25BE%25D0%25B6%25D0%25BD%25D0%25BE%25D1%2581%25D1%2582%25D1%258C_%25D0%25B0%25D0%25BB%25D0%25B3%25D0%25BE%25D1%2580%25D0%25B8%25D1%2582%25D0%25BC%25D0%25B0&s=469045154">сложности алгоритмов</a>, классификация алгоритмов в соответствии с <a title="Класс сложности" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%259A%25D0%25BB%25D0%25B0%25D1%2581%25D1%2581_%25D1%2581%25D0%25BB%25D0%25BE%25D0%25B6%25D0%25BD%25D0%25BE%25D1%2581%25D1%2582%25D0%25B8&s=543281573">классами сложности</a>, разработка критериев сравнительной оценки качества алгоритмов и т. п. Вместе с математической логикой теория алгоритмов образует теоретическую основу вычислительных наук<sup><a href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%25A2%25D0%25B5%25D0%25BE%25D1%2580%25D0%25B8%25D1%258F_%25D0%25B0%25D0%25BB%25D0%25B3%25D0%25BE%25D1%2580%25D0%25B8%25D1%2582%25D0%25BC%25D0%25BE%25D0%25B2%23cite_note-1&s=4268832476">[1]</a></sup><sup><a href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%25A2%25D0%25B5%25D0%25BE%25D1%2580%25D0%25B8%25D1%258F_%25D0%25B0%25D0%25BB%25D0%25B3%25D0%25BE%25D1%2580%25D0%25B8%25D1%2582%25D0%25BC%25D0%25BE%25D0%25B2%23cite_note-2&s=2314200108">[2]</a></sup>. <br/> <br/> Теперь довольны точностью определения?)"