1. прилагательное Не отличающийся строгостью, суровостью; довольно мягкий.
... , 2 , 3 , вытекают следующие две теоремы Теорема Если и - строгие порядки (нестрогие порядки ), то пересечение также . является строгим порядком (нестрогим порядком ). Замечание Пересечение строгого ... ... более чем из одного элемента не является. линейным порядком Теорема Если отношение является строгим (нестрогим , линейным ) порядком , то и. отношение является строгим (нестрогим , линейным ) порядком Объединение порядков в общем ... (Дискретная математика. Теория множеств . Теория графов . Комбинаторика.)
... привести Scheme , Standard ML . и Caml Языки , использующие отложенные вычисления , называются нестрогими Haskell - нестрогий язык , так же как, например , Gofer и Miranda . Нестрогие языки зачастую ... ... строгие языки включают в себя средства поддержки некоторых . полезных возможностей , присущих нестрогим языкам , например бесконечных списков В поставке Standard ML присутствует специальный модуль ... (Функциональное программирование)
... - ). на выходе будет ошибка , так как в третьем элементе списка . присутствует деление на ноль При нестрогом подходе значением выражения будет 4 , поскольку для вычисления . длины списка значения ... ... вычисления заранее подсчитываются значения всех аргументов . перед вычислением самой функции При нестрогом подходе (нормальный порядок вычисления ) значения аргументов не вычисляются . до тех пор ... (Функциональное программирование)
... сложных суждений : название , союз , условное обозначение , формула ., пример Чем отличается нестрогая дизъюнкция от строгой Как отличить импликацию от эквиваленции Каким образом можно определить ... ... чего зависит истинность сложных суждений Какие значения истинности принимают конъюнкция , нестрогая и строгая дизъюнкция , импликация ., эквиваленция и отрицание в зависимости от всех наборов истинностных значений ... (Логика)
... посылках объясняется в данном случае пересечением . результатов деления в первой посылке , или, что одно и то.же , - нестрогой дизъюнкцией Следует отметить , что нестрогая дизъюнкция в разделительно-категорическом силлогизме допустима в. том случае, когда он построен ... ... постоянно занимается спортом В силлогизме нет ошибки , несмотря на то, что дизъюнкция в. первой посылке была нестрогой Таким образом , рассматриваемое правило безоговорочно действует только для утверждающе-отрицающего модуса . разделительно-категорического ... (Логика)
... посылок К числу таких правдоподобных рассуждений относятся обратная дедукция , неполная индукция ., нестрогая аналогия , выводы статистики Правдоподобные умозаключения используются при выдвижении гипотез и постулировании законоподобных ... ... тоже два варианта :. А()В, А -. В А()В, В -. А Запись -()- означает , что схема годится для любой дизъюнкции - и строгой ., и нестрогой Пример (для первого варианта , с нестрогой дизъюнкцией ): Идет дождь или. снег Дождь не ... (Логика)
Комментарии
Оставить комментарий