метод доказательства теоремы
61МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …
62МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… …
63ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ — уравнение вида где F заданная действительная функция точки х=(xt, ..., х п )области Dевклидова пространства Е п, и действительных переменных (и(х) неизвестная функция) с неотрицательными целочисленными индексами i1 ,..., in, k=0, ..., т, по… …
64Теорема Пифагора — Теорема Пифагора  одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника. Содержание 1 …
65Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… …
66Функция Эйлера — Не следует путать с функцией распределения простых чисел. Первая тысяча значений Функция Эйлера φ(n) мультипликативная …
67Начала Евклида — Эту страницу предлагается переименовать в Начала. Пояснение причин и обсуждение  на странице Википедия:К переименованию/29 августа 2012. Возможно, её текущее название не соответствует нормам современного русского языка и/или правилам… …
68Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …
69УСТОЙЧИВОСТЬ СОЛИТОНОВ — раздел теории устойчивости движения, изучающий эволюцию солитонов, подверженных нек рому возмущению в нач. момент времени. В зависимости от тииа возмущения и способа его описания различают неск. видов У. с. На практике обычно ограничиваются… …
70ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …
