Редактирование: История математики, 10 лекция (от 06 ноября 2008 года)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 88: | Строка 88: | ||
Лекторр хотел был вспомнить след. теорему В.: если вщять функцию, непр. на a, b и взять эпсилон, то для такой функции сущ. многочлен такой, чо молуль разности меньше эпсилон на всём отрезке. Лектор хотел бы обр. внимание на то, констр. теорема или нет. Нет, не констр., теорема не показ., как это сделать. Есть теоремы констр? Конечно. Любая функц. алг. логиуи может быть предст. в виде конъюнкции, дизъюнкции, отрицания. Есть целое напр. в матем, которое призн. только контр. теоремы. | Лекторр хотел был вспомнить след. теорему В.: если вщять функцию, непр. на a, b и взять эпсилон, то для такой функции сущ. многочлен такой, чо молуль разности меньше эпсилон на всём отрезке. Лектор хотел бы обр. внимание на то, констр. теорема или нет. Нет, не констр., теорема не показ., как это сделать. Есть теоремы констр? Конечно. Любая функц. алг. логиуи может быть предст. в виде конъюнкции, дизъюнкции, отрицания. Есть целое напр. в матем, которое призн. только контр. теоремы. | ||
- | + | {{История математики}} | |
{{Lection-stub}} | {{Lection-stub}} |