находить доказательства
1Доказательства уголовные — Под уголовными Д. подразумеваются те фактические данные, которые служат основанием к заключению о том, совершено ли преступление и виновно ли в нем данное лицо. Всякая эпоха имеет свой метод обнаружения на уголовном суде материальной истины, свою …
2Доказательства вообще — Доказательство (Demonstratio) есть выведение истинности какого либо положения (на основании силлогистических законов) из других положений. Доказывать можно лишь положения (понятия могут быть определяемы, факты объясняемы и показываемы), и притом… …
3Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …
4АНТИЧНАЯ ФИЛОСОФИЯ — АНТИЧНАЯ ФИЛОСОФИЯ исторически первая форма европейской теоретической мысли, ставшая основой развития и культурным горизонтом для всех последующих форм мышления, возникавших в рамках интеллектуального пространства средневековой, новой и… …
5Искусственный интеллект (artificial intelligence) — В самом широком смысле И. и. это абстрактная теория челов., животного и машинного познания. Конечная цель ее развития создание единой теория познания. Как теорет. психология. И. и. представляет собой продолжение исследовательской программы,… …
6Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …
7МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… …
8Архимед — У этого термина существуют и другие значения, см. Архимед (значения). Архимед Αρχιμήδης …
9АРХИМЕД — (ок. 287 212 до н.э.), величайший древнегреческий математик и механик. АРХИМЕД Жизнь. Уроженец греческого города Сиракузы на острове Сицилия, Архимед был приближенным управлявшего городом царя Гиерона (и, вероятно, его родственником). Возможно,… …
10Теорема Пифагора — Теорема Пифагора  одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника. Содержание 1 …
