Логическая база
Cтраница 1
 |
Схема логической базы данных. [1] |
Разработанные логические базы облегчают процесс программирования при формировании выходных документов. Время выдачи документов колеблется от 5 мин до 1 ч 45 мин в зависимости от количества данных, необходимых для их заполнения, и структуры. [2]
Убедитесь в том, что логическая база соответствует тому, чего вы пытаетесь добиться. [3]
Реализация этой установки приводит к изменению логической базы теории. Вводится понятие энтропии вопроса, выступающей в качестве меры трудности ( недостатка информации) ее положительного решения ( ср. На этой логической базе вводится понятие о величине информации, которую содержит суждение А по отношению к вопросу ( проблеме) Я при наличии данных Г; эта величина определяется тем, насколько доказательство или допущение истинности А уменьшает энтропию соответствующей проблемы. При этом оказывается, что величина информации в суждении - решении данной проблемы Я - представляет собой сумму величин информационного вклада в это решение всех тех суждений, с помощью которых оно было получено. [4]
На основе перечисленных физических структур возможно создание разнообразных логических баз. В частности, было построено 6 логических баз данных, используемых прикладными программами системы. [5]
Но математики, придерживающиеся мнения об удовлетворительности теоретико-множественной логической базы математического анализа, обычно игнорируют такого рода сюрпризы теории множеств и подчеркивают действенность всей теории в целом, многочисленность и разнообразие тех теорем классического математического анализа, которые фактически оказываются полезными при решении задач, выдвигаемых естествознанием и практической деятельностью людей. [6]
 |
Схема восстановления целостности базы данных в случае ее нарушения. [7] |
На внешнем уровне для поддержания целостности АБД определяет логические базы и сегменты, чувствительные для ПП, разрешенные виды обработки для каждого сегмента. [8]
Пользователями ЯОД логического уровня являются проектировщики или администраторы логической базы данных и проблемные программисты, разрабатывающие программы решения плановых задач. Пользователи-прикладники при этом взаимодействуют лишь с определенной, доступной им частью базы данных - так называемой подсхемой или подмножеством базы данных. [9]
Из истории науки известно, что традиционный ( классический) математический анализ длительное время разрабатывался на весьма неотчетливой логической базе. Несмотря на это и несмотря на возникавшие иногда парадоксы, созданные математические аппараты в ii е-лом оказались весьма работоспособными - они дали возможность решить огромное количество проблем механики, физики и астрономии и привели к колоссальному прогрессу в разработке теоретических основ этих наук. Это обстоятельство оттесните на задний план вопросы, связанные с уточнением основных понятий и логической базы в целом, - в центре внимания оказались разнообразные соотношения, выражаемые посредством формул, и применения этих соотношений в естествознании и в задачах прикладного характера. [10]
В результате использования различных логических подходов возникают разные меры количества содержания суждения ( высказывания, текста, сооб-шения) в языке с данной логической базой, и каждая из этих мер соответствует ( во всяком случае должна соответствовать) какой-то стороне человеческой интуиции содержания знания и его количества, не эксплицируя, однако, эту интуицию полностью. [11]
Каждая теория семантической информации, явно или неявно, всегда приурочена к определенной логике. Но и в пределах последней возможны вариации логической базы семантико-информационной теории. Например, в теории Карнапа - Бар-Хиллела такой базой служит прикладное исчисление высказываний ограниченной силы. Ограниченность эта состоит в том, что в теории фигурируют постоянные элементарные ( атомарные) высказывания, возникающие в результате применения заданных в конечном числе постоянных - но произвольных и независимых друг от друга - предикатов к индивидам конечной предметной области. Тондл, учитывает уже возможную зависимость друг от друга атомарных высказываний, а построение Я. Хинтик-ки упрощает логическую базу теории, сводя ее к пропозициональной логике с конечным числом произвольных постоянных высказываний. [12]
В результате таких описаний между сегментами баз данных предусматриваются указатели. Аппарат указателей позволяет логически объединить сегменты различных баз в новую логическую базу. [13]
Однако до последнего времени главные усилия математиков были направлены на создание строгой логической базы для выработанных ранее методов, расширение множества объектов, к которым эти методы применимы, изучение качественной природы математических объектов. Гораздо меньше внимания уделялось разработке методов доведения математических исследований до числового результата, а это зачастую является интересной, трудной и чрезвычайно важной для практики задачей. [14]
Какая-нибудь величина 21 в классической термодинамике, однозначно определяемая значениями энергии Е и объема V данной системы, в статистической теории будет иметь в различных состояниях, совместимых с данными Е и V, весьма различные значения. А между тем статистическая теория, если она претендует на роль логической базы термодинамических принципов, должна, конечно, давать для такой величины совершенно однозначное определение, совпадающее с тем, какое дает ей классическая термодинамика. [15]
Страницы: 1 2