формальные доказательства
111теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… …
112Инвариант (программирование) — У этого термина существуют и другие значения, см. Инвариант. Инвариантом в программировании называется логическое выражение, истинное после каждого прохода тела цикла (после выполнения фиксированного оператора) и перед началом выполнения цикла,… …
113Список научных публикаций Альберта Эйнштейна — Альберт Эйнштейн (1879 1955) был известным специалистом по теоретической физике, который наиболее известен как разработчик общей и специальной теорий относительности. Он также внёс большой вклад в развитие статистической механики, особенно… …
114Автоматическое доказательство — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов. В силу неразрешимости даже …
115Белинский, Виссарион Григорьевич — — родился 30 мая 1811 года в недавно присоединенном к России Свеаборге, где его отец, Григорий Никифорович, служил младшим лекарем флотского экипажа. Фамилию свою Григорий Никифорович получил при поступлении в семинарию от своего учебного… …
116Рязанские, князья — вели свое происхождение от Святослава Ярославича Черниговского, получившего по завещанию отца (ум. в 1054 г.) Чернигов с Тмутараканью, Муромом и страной вятичей. Святославу Ярославичу приписывается основание в 60 х гг. XI века ряда укрепленных… …
117Арест — (от позднелат. arrestum cyдебное постановление) 1) лишение личной свободы. В СССР неприкосновенность личности граждан гарантируется Конституцией, которая установила, что никто не может быть подвергнут А. иначе, как по… …
118Логицизм — направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. е. возможности (и необходимости) определения всех исходных математических понятий (в рамках… …
119Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая …
120Модель (в науке) — Модель (франц. modèle, итал. modello, от лат. modulus мера, мерило, образец, норма), 1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого либо… …