формальные доказательства
41АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …
42ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …
43Логика в информатике — Логика в информатике  это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте. Логика очень эффективна в этих областях[1]. Содержание 1 Область применения …
44Юридическая аргументация — (нормативная, правовая аргументация) один из основных методов в юридической практике; система способов убеждения, которым присущи рациональный характер, социальная и диалогическая обусловленность, вербальная форма выражения. Содержание 1 Понятие… …
45Страхование — I Теория С. Страховая политика. История страхования. История страхования в России. Синдикатное соглашение страховых от огня обществ. Виды страхования. Страхование от огня. Страхование от градобития. Страхование скота. Транспортное страхование.… …
46Россия. Русское право: Русское гражданское право — Вступление. Русское гражданское право как в своем историческом развитии, так и современном состоянии в противоположность римскому и новому западноевропейскому характеризуется неопределенностью форм гражданско правовых отношений отдельных и… …
47ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… …
48ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …
49Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …
50Конструктивные способы определения вещественного числа — При конструктивном подходе к определению вещественного числа вещественные числа строят, исходя из рациональных, которые считают заданными. Во всех трёх нижеизложенных способах за основу берутся рациональные числа и конструируются новые объекты,… …
