Учебное пособие содержит подробное обсуждение алгоритмических вещественных и комплексных чисел и функций с ограниченной сложностью вычисления рационально-значных приближений. В качестве основной вычислительной модели для определения алгоритмических чисел и функций используется машина Тьюринга....

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

В учебном пособии впервые подробно излагаются исчисления для рациональных логик, обеспечивающих сравнение логических значений утверждений.
Устанавливаются верхние оценки проверки доказуемости в этих исчислениях для пропозиционального случая. Исчисление предназначено для логического моделирования, в том числе эвристического характера, особенно для создания баз знаний, оперирующих не только неполными, но и противоречивыми знаниями ...