метод доказательства теоремы
1Метод исчерпывания — (лат. methodus exaustionibus) античный метод для исследования площади или объёма криволинейных фигур. Идею метода, в не очень ясных выражениях, высказал ещё Антифон, однако разработку и применение осуществил Евдокс Книдский. Обоснование… …
2МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… …
3Метод Лемана — Алгоритм Лемана (или алгоритм Шермана Лемана) детерминировано раскладывает данное натуральное число на множители за арифметических операций. Алгоритм был впервые предложен американским математиком Шерманом Леманом в 1974 году.[1]. Данный алгоритм …
4МЕТОД АКСИОМАТИЧЕСКИЙ — один из способов дедуктивного построения научн. теорий. В основании аксиоматически построенной теории лежат аксиомы, т. е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т. е. доказываются,… …
5Метод дедукции — Дедукция (лат. deductio выведение) метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического… …
6ИНФОРМАЦИОННО-РЕЦЕПТИВНЫЙ МЕТОД — обучения, объяснительно иллюстративный способ организации совм. деятельности учителя и учащихся, при к ром учитель сообщает готовую информацию, а уч ся воспринимают, осознают и фиксируют её в памяти. Информация сообщается в виде рассказа, лекции …
7ИНФОРМАЦИОННО-РЕЦЕПТИВНЫЙ МЕТОД обучения — объяснительно иллюстративный способ организации совм. деятельности учителя и учащихся, при к ром учитель сообщает готовую информацию, а уч ся воспринимают, осознают и фиксируют её в памяти. Информация сообщается в виде рассказа, лекции,… …
8АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …
9Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …
10ГЕОМЕТРИЧЕСКИЙ МЕТОД — ГЕОМЕТРИЧЕСКИЙ МЕТОД в философии (вернее геометрический способ mos geometricus или геометрический порядок ordo geometricum) форма наиболее экономного системного изложения философской проблематики (прообразом метода послужили “Начала” Евклида) …
