Турнир

- окрестность гладкого подмногообразия Nв гладком многообразии М, расслаивающаяся над N со слоем где d = dim M-dimN. Пусть в Мвыбрана риманова метрика и рассматриваются начинающиеся в Nотрезки нормальных к Nгеодезических. Если Nкомпактно, то найдется такое что никакие два отрезка длины исходящие из разных точек N, не пересекаются. Объединение всех таких отрезков длины является открытой окрестностью Uподмногообразия N и наз. Его трубчатой окрестностью. Для некомпактного Nможно строить Т. О..

- представляющая заданную булеву функцию дизъюнктивная нормальная форма (д. Н. Ф.), к-рую нельзя упростить ни вычеркиванием буквы из нек-рой конъюнкции, ни удалением какой-либо конъюнкции. Минимальная д. Н. Ф. Получается из сокращенной д. Н. Ф. Путем удаления нек-рых конъюнкций. Этот неоднозначный, ветвящийся процесс может привести лв тупик. ..

если - алгебраич. Иррациональность, и сколь угодно мало, то существует лишь конечное число целых решений . И q>0 (ри qвзаимно просты) неравенства Эта теорема является наилучшей в своем роде - число 2 в показателе степени уменьшить нельзя. Т.-3.-Р. Т. Есть усиление теоремы Лиувилля (см. Лиувилля число). Результат Лиувилля последовательно усиливали А. Туэ [1], К. Зигель [2] и, наконец, К. Рот [3]. А. Туэ доказал, что если -алгебраич. Число степени то неравенство имеет лишь конечное число ц..

- метод в теории диофантовых приближений, созданный А. Туэ [1] в связи с проблемой приближения алгебраич. Чисел рациональными числами. Найти величину v=v(n), при к-рой для каждого алгебраич. Числа степени n неравенство (1) имеет коночное число решений в целых рациональных числах ри q, q>0,при любом и бесконечное число решений при любом А. Туэ показал, что Т. М. Основан на свойствах специального многочлена j(x, у )от двух переменных х, у с целыми коэффициентами и предположении существован..