верификация

  • 161КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… …

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

  • 162ВЕРИФИЦИРУЕМОСТИ ПРИНЦИП — ( вери фикация , от лат. verus – истинный и facio – делаю) – принцип, выдвинутый логич. позитивизмом в качестве критерия научной осмысленности высказываний. В. п. был сформулирован Шликом во Всеобщей теории познания (1918), а затем Витгенштейном… …

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

  • 163Электронная цифровая подпись — Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. Статью следует исправить согласно стилистическим правилам Википедии. Электронная подпись (ЭП) информация в электронной форме, присоединенная к другой информации в электронной… …

    Википедия

  • 164Биометрия — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. См. также: Биометрические технологии У этого термина суще …

    Википедия

  • 165Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен …

    Википедия

  • 166VHDL — Появился в: 1983 Типизация данных: строгая Испытал влияние: Ada, Pascal VHDL (англ. VHSIC (Very high speed integrated circuits) Hardware Description Language) язык описания аппар …

    Википедия

  • 167CouchSurfing — Тип сеть гостеприимства Год основания 2003 Основатели Casey Fenton, Sebastien Le Tuan, Dan Hoffer, Leonardo Bassani da Silveira [1] …

    Википедия

  • 168Границы науки — Проблема демаркации (лат. demarcatio разграничение) проблема поиска критерия, по которому можно было бы отделить теории, являющеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики, и формальных наук …

    Википедия

  • 169Шалыто, Анатолий Абрамович — Анатолий Абрамович Шалыто Дата рождения: 28 мая 1948(1948 05 28) (64 года) Место рождения: Ленинград Страна …

    Википедия

  • 170Обратная семантическая трассировка — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …

    Википедия

  • 171Проверка моделей — (проверка на модели, англ. model checking)  метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… …

    Википедия

  • 172Проблема демаркации (философия науки) — Проблема демаркации (лат. demarcatio разграничение) проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики, и… …

    Википедия

  • 173Демаркация науки — Проблема демаркации (лат. demarcatio разграничение) проблема поиска критерия, по которому можно было бы отделить теории, являющеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики, и формальных наук …

    Википедия

  • 174Логический атомизм — Логический позитивизм (англ. Logical positivism)  (логический эмпиризм или неопозитивизм) является школой философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающийся на… …

    Википедия

  • 175Методика трехмерной конформной протонной лучевой терапии — В настоящее время в Медико техническом комплексе ЛЯП ОИЯИ проводятся регулярные сеансы протонной терапии онкологических и некоторых других заболеваний (около 100 пациентов в год). Для облучения новообразований, расположенных вблизи жизненно… …

    Википедия

  • 176Научность — Проблема демаркации (лат. demarcatio разграничение) проблема поиска критерия, по которому можно было бы отделить теории, являющеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики, и формальных наук …

    Википедия

  • 177Неопозитивизм — Логический позитивизм (англ. Logical positivism)  (логический эмпиризм или неопозитивизм) является школой философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающийся на… …

    Википедия

  • 178Обратная Семантическая Трассировка — (ОСТ) метод контроля качества, который позволяет обнаруживать ошибки, утечку или искажение информации при создании проектных артефактов: документации, кода и т. д. Метод наиболее ценен на ранних стадиях разработки программного обеспечения, при… …

    Википедия

  • 179Process Simulate — Тип 3D симуляция, СAPP Разработчик Siemens PLM Software Операционная система Microsoft Windows Последняя версия Tecnomatix 9 (23 июня,2009) Лицензия проприета …

    Википедия

  • 180Биометрические приборы — основаны на принципе распознавания людей на основе одной или более физических или поведенческих черт. В области информационных технологий биометрические данные используются в качестве формы управления идентификаторами доступа и контроля доступа.… …

    Википедия