1. 1. наречие Соотносится по значение с прилагательное : логичный. 2. предикатив Оценка чьих -либо действий, поступков как согласующихся с законами логики, основанных на них.
Нареч. к логичный.
Чем умнее и логичнее он рассуждал, тем сильнее и мучительнее становилась душевная тревога. Чехов, Палата № 6.
Он все способен понять, что выражено логично. Куприн, Мелюзга.
... такую ситуацию нам нужно еще одно свойство , называемое . в математической логике непротиворечивостью :. Определение : непротиворечивость АТД Спецификация АТД является непротиворечивой тогда и только тогда , когда ... ... ровно одно значение .: хотя бы одно (достаточная полнота ), но не более одного (непротиворечивость ). Доказательство достаточной полноты (Этот раздел и остаток этой лекции содержат дополнительный ... (Структуры данных)
... по объему порции данных , используя стандартизованные запросы В ХД необходима поддержка внутренней непротиворечивости данных Это требование следует из предыдущих пунктов , т к обилие источников данных и денормализованная ... ... могут угрожать непротиворечивости внутри . ХД , а этого допускать нельзя Для обеспечения непротиворечивости данных существуют специальные механизмы В БД их использование не требуются , т к непротиворечивость данных ... (Базы данных, знаний и хранилища данных. Big data, СУБД и SQL и noSQL)
... которой врамках .любой формальной системы , включающей арифметику натуральных чисел , еслиэтасистема .непротиворечива , нельзя доказать ее непротиворечивость ТакЛобачевский еще в1829 году вработе «Оначалах ... ... , онпоказал , чтопространство , может быть описано двумя .различными несовместимыми , новнутренне логически непротиворечивыми геометриями .Алан Тьюринг доказал в1936 году , чтопроблема остановки неразрешима .науниверсальной ... (Философия)
... , которое Гильберт предъявлял приопределении понятия «существование »; математического .объекта сводилось кдоказательству егонепротиворечивости Есливтой илииной системе окажется , чтовней .выводимо Аине-А , тотакаясистема должна быть ... ... изглавных задач математической логики , применяемых вматематике исчислений ., считается задача установления непротиворечивости , тоестьсчитается , чтоисчисление непротиворечиво ,.есливнем нельзя вывести формулу Авместе сформулой Ā. (не-А ... (введение в математику. основы)
... комплексных чисел как пары вещественных чисел была построена . Гамильтоном ( 1837 ) это доказало непротиворечивость их свойств Успешность модели комплексных чисел как векторов на плоскости подтолкнула математиков . к поискам ... ... как пар вещественных чисел была построена Гамильтоном («Теория алгебраических .пар »;, ; это доказало непротиворечивость их свойств Термины «модуль »;, «аргумент »; и «сопряженное число »; ввел в начале XIX . века ... (Алгебра)
... стороны .решения Что, ане какТребования ктребованиям :. • Корректность • Недвусмысленность • Полнота набора требований • Непротиворечивость набора требований • Проверяемость (тестопригодность ) • Трассируемость • Понимаемость Анализ требований - часть процесса ... ... иее.удорожанию Спецификация требований , содержащая пользовательские исистемные требования должна быть комплексной .инепротиворечивой Вней должны быть определены все функции системы , ине .должно быть ... (Качество и тестирование программного обеспечения. Quality Assurance.)
Комментарии
Оставить комментарий