Виды алгоритмов. Алгоритмы и структуры данных.
«Лекции по математической логике и теории алгоритмов» Юрий Анатольевич Белов, Валерий Анатольевич Соколов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы...