Ложь. Верификация лжи
Реферат, 14 Мая 2012
Ложь — утверждение, заведомо не соответствующее истине и высказанное в таком виде сознательно. В повседневной жизни ложью называют умышленную передачу фактической и эмоциональной информации (вербально или не вербально) с целью создания или удержания в другом человеке убеждения, которое сам передающий считает противным истине.
Феномен лжи широко исследуется в психологии и психолингвистике.
Проблема верификациии в доказательной медицине
Реферат, 23 Ноября 2011
Термин «медицина, основанная на доказательствах» или «доказательная медицина» (evidence based medicine) появился в лексиконе современных медицинских специалистов совсем недавно, однако за сравнительно небольшой период времени, основные принципы, вкладываемые в значение этого термина, составили доминирующую идеологию медицины XXI века. Возможно, это произошло потому, что современная клиническая медицина увидела в медицине «доказательной» возможный способ выхода из кризиса, в котором она находится с середины ХХ века. С помощью «доказательности» появилась возможность если не сделать медицину точной наукой, то по крайней мере, приблизить её к таковой.
Верификация прогноза
Сайт-партнер: referat.yabotanik.ru
Курсовая работа, 28 Апреля 2013
Актуальность данной темы определяется тем, что уровень прогнозирования и верифицирования прогнозов процессов общественного развития обуславливает эффективность планирования и управления экономической, социальной и других сфер жизнедеятельности общества.
Целью данной курсовой работы является рассмотрение методологии и методик прогнозирования и верификации прогнозов в социальной сфере.
Для этого необходимо решить следующие задачи: определить сущность методов прогнозирования и верифицирования в социальной сфере.
В процессе работы над курсовым проектом были использованы учебники таких авторов как И.В. Бестужев – Лада, В.И. Курбатов, В.М. Сафронова, а также научные статьи по исследуемой проблеме в периодических изданиях.
Проблема верификации
Сайт-партнер: stud24.ru
Контрольная работа, 28 Мая 2012
Итак, наука сводится к эмпирическим высказываниям и логическим выводам из этих высказываний по правилам логики. Но перед логическими позитивистами встал вопрос о способах проверки истинности эмпирических высказываний. Так возникла проблема верификации (проверки) эмпирических высказываний. Принцип верификации эмпирических высказываний сводится к сравнению этих высказываний с опытными данными. Например: высказывание "этот ключ железный" мы проверяем с помощью магнита.
Принцип верификации в позитивизме
Сайт-партнер: stud24.ru
Доклад, 03 Ноября 2012
Цель науки состоит, согласно неопозитивизму, в формировании базы эмпирических данных в виде фактов науки, которые должны быть репрезентированы языком, недопускающим двусмысленности и не выразительности. В качестве такого языка логическим эмпиризмом был предложен логико-математический понятийный аппарат, отличающийся точностью и ясностью описания изучаемых явлений. Предполагалось, что логические термины должны выражать познавательные значения наблюдений и экспериментов в предложениях, признаваемых эмпирической наукой как предложения "языка науки".
Автоматизация верификации программ
Сайт-партнер: referat.yabotanik.ru
Реферат, 20 Марта 2013
Рассмотрим формальные постановки задач анализа корректности.
Введем ограничение: будем рассматривать программы, начинающиеся оператором START (первый выполняемый оператор) и заканчивающиеся оператором STOP (последний выполняемый оператор).
Спецификацию программы Prgm будем определять путем приписывания индуктивных утверждений точкам разреза графа потоков управления программы (точкам между операторами программы).
Автоматизация верификации программ
Сайт-партнер: yaneuch.ru
Творческая работа, 01 Июня 2013
Верификация программ – метод установления правильности программ при помощи строгих средств.
При этом программа будет считаться правильной, если решит поставленную задачу.
В основе метода верификации лежит предположение о том, что существует некоторая программная документация, соответствие которой нужно доказать.
Верификация программ - трудоемкий процесс, и его целесообразно автоматизировать. Проблемы корректности программы алгоритмически неразрешимы, поэтому не следует рассчитывать на полную автоматизацию.
Верификация количественной теории денег
Сайт-партнер: myunivercity.ru
Курсовая работа, 17 Декабря 2012
Целью данной работы является изучение количественной теории денег, ее сущности и практического применения.
Основными задачами данной работы являются:
- изучение этапов развития количественной теории денег;
- изучение эволюции количественной теории денег;
- изучение современного монетаризма;
- рассмотрение верификации количественной теории денег М. Фридмана;
- изучение современных направлений количественной теории денег.