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