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