Основи алгоритмізації та програмування (Циммерман О.В.)

Дави́д Ги́льберт (нем. David Hilbert; 23 янв

аря 1862 — 14 февраля 1943) — немецкий математик-универсал, внёс значительный вклад в развитие многих областей математики. В 1910—1920-е годы (после смерти Анри Пуанкаре) был признанным мировым лидером математиков. Гильберт разработал широкий спектр фундаментальных идей во многих областях математики, в том числе теорию инвариантов и аксиоматику евклидовой геометрии. Он сформулировал теорию гильбертовых пространств, одну из основ современного функционального анализа^[4].

Декларати́вное программи́рование — это парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается, что представляет собой проблема и ожидаемый результат

Английский математик и логик. Профессор математики Королевского колледжа Корка с 1849 года. Один из основателей математической логики. Буль был, вероятно, первым после Джона Валлиса математиком, обратившимся к логической проблематике. Буль не считал логику разделом математики, но находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов.На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» (1859; второе издание не завершено, материалы к нему опубликованы посмертно в 1865) и задуманный как его продолжение «Трактат о конечных разностях» (1860). Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета.

Дизъю́нкция (лат. disjunctio — разобщение), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу»

|| b,a{\displaystyle b,\;a} | b,a ORb{\displaystyle b,\;a~{\mbox{OR}}\,\,b},max(a,b).{\displaystyle ,\;\max(a,b).}

Дискре́тность (от лат. discretus — разделённый, прерывистый) — свойство, противопоставляемое непрерывности, прерывность.

Закон, выражающий дистрибутивность (распределительность) одной данной логической или математической операции относительно другой данной операции. Примером этого закона может служить закон обычной арифметики: а (b + с) = аb + ас, выражающий распределительность умножения относительно сложения.

Формула закона:

.

.