- доказательство путем анализа
- мат. proof by analysis
Большой англо-русский и русско-английский словарь. 2001.
доказательство путем анализа
Смотреть что такое "доказательство путем анализа" в других словарях:
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
Эксперт — (Expert) Содержание Содержание Требования к эксперту. Права и обязанности эксперта. Право эксперта на проявление инициативы. Отвод эксперта. Заключение эксперта как судебное доказательство. Допрос эксперта. Вознаграждения эксперта за выполненную … Энциклопедия инвестора
Введенский Александр Иванович — самый крупный представитель критической философии в России. Родился в 1856 г. Окончив тамбовскую гимназию, поступил на математический факультет Московского университета, откуда перешел в петербургский, сначала тоже на математический, а через год… … Биографический словарь
ФИЛОСОФИЯ МАТЕМАТИКИ — отрасль философии, исследующая природу математических объектов и эпистемологические проблемы математического познания. Филос. проблемы математики можно разделить на две основные группы: онтологические и эпистемологические. Абстрактный характер… … Философская энциклопедия
РАЗУМ И ВЕРА — РАЗУМ И ВЕРА фундаментальное соотношение двух способностей души человека, явившееся важнейшей философско теологической проблемой на протяжении всей истории мысли. В Античности вопросы веры обсуждались в контексте познания, для обоснования … Философская энциклопедия
Усиление интеллекта — (УИ) (англ. Intelligence amplification or Cognitive augmentation or Machine augmented intelligence) совокупность средств и методов, обеспечивающих максимально возможную продуктивность интеллекта человека; эффективное использование… … Википедия
вера и разум — ВЕРА И РАЗУМ фундаментальное соотношение двух способностей человека, явившееся важнейшей философско теологической проблемой на протяжении всего средневекового тысячелетия. В античности вопросы веры исследовались в контексте… … Энциклопедия эпистемологии и философии науки
Смертная казнь — (Poena capitis, Todesstrafe, peine de mort, capital punishment, pene di morte) тягчайшее наказание, состоящее в насильственном лишении жизни. От убийства С. казнь отличается тем, что она совершается не по произвольному усмотрению частного лица, а … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
