доказательство общей правильности

  • 1доказательство общей правильности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN total correctness, proof of …

    Справочник технического переводчика

  • 2ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …

    Философская энциклопедия

  • 3ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …

    Философская энциклопедия

  • 4ВОЛЯ — [греч. θέλημα, θέλησις; лат. voluntas, velle], сила, неотъемлемо присущая природе разумного существа, благодаря к рой оно стремится достигнуть желаемого. В Свящ. Писании понятие В. имело следующие основные смыслы: В. Божия, выражающаяся в… …

    Православная энциклопедия

  • 5Теория волн Эллиотта — (Elliott Wave Theory) Теория волн Эллиотта это математическая теория об изменении поведения общества или финансовых рынков Все о волновой теории Эллиотта: видео, книги, статьи о теории волн, информация о советниках и индикаторах волн Эллиотта… …

    Энциклопедия инвестора

  • 6Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …

    Медицинская энциклопедия

  • 7оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств …

    Словарь-справочник терминов нормативно-технической документации

  • 8показатель — 3.7 показатель (indicator): Мера измерения, дающая качественную или количественную оценку определенных атрибутов, выведенную на основе аналитической модели, разработанной для определенных информационных потребностей. Источник …

    Словарь-справочник терминов нормативно-технической документации

  • 9ЛОГИЧЕСКИЕ ОШИБКИ — нарушения к. л. законов или правил логики. Если ошибка допущена неумышленно, она называется паралогизмом; если же правила логики нарушают умышленно с целью доказать недоказуемое или ввести кого то в заблуждение, то это софизм. Л.о. следует… …

    Философская энциклопедия

  • 10ЗЛО — [греч. ἡ κακία, τὸ κακόν, πονηρός, τὸ αἰσχρόν, τὸ φαῦλον; лат. malum], характеристика падшего мира, связанная со способностью разумных существ, одаренных свободой воли, уклоняться от Бога; онтологическая и моральная категория, противоположность… …

    Православная энциклопедия