|
|
|
|
|
|
|
|
|
Вероятностная логика
| Глоссарий терминов формализации научных задач |
|
Логика вероятностная, русский
- Логика, в которой формулы оцениваются значениями , интерпретируемыми как вероятности того, что данная формула принимает значение "истина". с правилами вывода в л.в. связываются процедуры, позволяющие вычислять вероятностную оценку истинности выводимой формулы по известным оценкам истинности для формул-посылок.
- Логика, предметом которой являются вероятностные высказывания, независимо от того, рассматривается ли вероятность как свойство отдельного высказывания
|
Вероятностная выборка, русский
Вероятностная диагностика, русский
Вероятностная модель, русский
Вероятностная оценка риска, русский
Вероятностное прогнозирование, русский
Умственные действия или операции при приеме информации, заключающиеся в предугадывании слов или словосочетаний.
Вероятностный автомат, русский
, устройство (система), автоматически изменяющее свое состояние в зависимости от последовательности предыдущих состояний и случайных входных сигналов. вероятностный автомат используют при моделировании сложных процессов, напр. систем автоматического управления движением транспорта на перекрестке двух улиц.
Вероятностный анализ безопасности, русский
Ваб
Вероятностный анализ сейсмических угроз, русский
Васу
Вероятностный метод, русский
Вероятностный метод (подход), русский
Вероятностный подход;, русский
Вероятностный процесс, русский
, то же, что случайный процесс.
Вероятностный экологический анализ, русский
Логика, русский
- Логика , железная логика
- (от греч. logos – логос) 1) способность правильно, т.е. логически, мыслить; 2) учение о тождестве и его отрицании (г. якоби), учение о последовательности и методах познания (наука логики). в качестве «элементарной формальной логики» она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям. осн. свойства понятий выражаются в логических аксиомах (см. аксиома). сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику. прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе. ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий. иногда к ней присоединяют учение о системе. логика (как наука) – лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания. основателем западноевропейской логики (как науки) является аристотель, «отец логики». слово «логика» появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях. гуманизм изгнал из логики схоластику, но обновить ее не мог. реформация взяла на вооружение логику меланхтона, контрреформация – логику суареса. поднявшись принципиально над схоластикой, развивал логику иоганнес штурм из страсбурга; более известным стал пьер раме. с 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе спинозы оно было меньше, чем у лейбница, который использовал в логике совершенствующиеся естественнонаучные методы. от лейбница и математики, а также и от неосхоластики пошла логика школы вольфа. кантовская «трансцендентальная логика» есть в действительности критическая теория познания, логика нем. идеализма (особенно логика гегеля) – спекулятивная метафизика. шопенгауэр, ницше, бергсон и сторонники философии жизни отбросили традиционную логику. в настоящее время логика распалась на множество направлений: 1) метафизическая логика (гегельянство); 2) психологическая логика (т.липпс, отчасти в.вундт); 3) теоретико-познавательная, или трансцендентальная, логика (неокантианство); 4) семантическая логика (аристотель, кюльпе, современный номинализм); 5) предметная логика (ремке, мейнонг, дриш); 6) неосхоластическая логика; 7) феноменологическая логика; 8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.
- (греч . logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. основателем логики считается аристотель. различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. см. также математическая логика.
- Раздел философии и науки, занимающийся канонами мышления и критериями достоверности суждений. логика основывается на точном определении материальных объектов, терминов и концепций, рациональной классификации, применении фундаментальных принципов, лежащих в основе наук (математики, физики, этики и пр.), и минимальном использовании аксиом и предположений. правильно практикуемая эпидемиология использует логику для вывода заключений о причинно-следственных связях1. 1 buck c. popper’s philosophy for epidemiologists. int j epidemiol, 1975; 4:159–68. см. также переписку и комментарии в последующих выпусках журнала.
- Наука о правильных способах рассуждений. в классическом варианте состоит из учения о понятиях, учения о суждениях и учения об умозаключениях. в течении долгого времени с л. связывалось учение аристотеля о силлогистических умозаключениях. силлогистика была первой дедуктивной системой, возникшей в науке. в основе л. лежит понятие аксиоматической системы. сила чистой логики, отвлекающейся от семантики предметной области, состоит в общности ее методов и положений. важно отметить, что л. есть наука о мышлении в понятиях, а не о познании мира посредством мышления о понятиях. это показывает, что в интеллектуальных системах чисто логические решатели задач не могут исчерпать весь запас средств, необходимых для воссоздания интеллектуальной деятельности. на основе л. в конце xix в. начала создаваться математическая логика, в основе которой лежит теоретико-множественные категории и понятие формальной системы.
- 1) наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания [127]; 2) ход рассуждений, умозаключений; 3) разумность, внутренняя закономерность чего-нибудь [114]. [36, 114, 127]. м 63
Логика в вычислительной технике - последовательность операций, выполняемых программно или аппаратно., русский
Логика вероятностная, русский
- Логика, в которой формулы оцениваются значениями , интерпретируемыми как вероятности того, что данная формула принимает значение "истина". с правилами вывода в л.в. связываются процедуры, позволяющие вычислять вероятностную оценку истинности выводимой формулы по известным оценкам истинности для формул-посылок.
- Логика, предметом которой являются вероятностные высказывания, независимо от того, рассматривается ли вероятность как свойство отдельного высказывания
Логика веры, русский
Вид эпистимической логики, в которой все утверждения снабжаются квантификаторами, оценивающими степень правдоподобности этих утверждений.
Логика временная, русский
Логика отношений, в которой отношения (предикаты) или специальные операторы характеризуют временные зависимости ("раньше", "будет", "одновременно" и т.д.). другим типом л.в. являются так называемые логики, в которых один из аргументов предиката есть время (состояние, ситуация).
Логика второго порядка, русский
Формальная система, в которой допускается, что кванторы общности и существования могут связывать не только индивидные переменные, но и предикатные или иные функциональные символы.
Логика высказываний, русский
, раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.
|
Глобальный максимум, русский
Исключительная лицензия, русский
Договор, по которому лицензиату (покупателю) передается исключительное право использования объекта промышленной собственности в пределах, оговоренных договором, с сохранением за лицензиаром (продавцом) права на его использование в части, не передаваемой лицензиату.
|
|
|
|
|
|
|
