ⓘ Формальные науки ..

Формальные науки

Формальные науки - совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики. Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. вавилонская математика, 1600 г. до н. э. древнеегипетская математика и 1000 г. до н. э. древнеиндийская математика, задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в матема ...

Криптография

Криптография - наука о методах обеспечения конфиденциальности, целостности данных, аутентификации. Изначально криптография изучала методы шифрования информации - обратимого преобразования открытого исходного текста на основе секретного алгоритма или ключа в шифрованный текст шифротекст. Традиционная криптография образует раздел симметричных криптосистем, в которых зашифровывание и расшифровывание проводится с использованием одного и того же секретного ключа. Помимо этого раздела современная криптография включает в себя асимметричные криптосистемы, системы электронной цифровой подписи ЭЦП, ...

Системология

Системология - теория сложных систем; фундаментальная инженерная наука, устанавливающая общие законы потенциальной эффективности сложных материальных систем как технической, так и биологической природы.

Точные науки

Точные науки - отрасли науки, в которых изучают количественно точные закономерности и используются строгие методы проверки гипотез, основанные на воспроизводимых экспериментах и строгих логических рассуждениях. К точным наукам принято относить математику, физику, химию, информатику, а также некоторые разделы биологии. Все формальные науки - точные, при этом естественные науки, будучи в значительной части своих разделов точными, формальными не являются. Точные науки могут быть как фундаментальными, так и прикладными. Точные науки, как правило, противопоставляют гуманитарным наукам и обществ ...

Axiom schema

Схема аксиом - это формула в метаязыке аксиоматической схемы, в которой появляются один или несколько переменных. Эти переменные, которые являются металингвистическими конструкциями, обозначают любой термин или подформулу системы, которые могут или не могут требоваться для выполнения определенных условий. Часто такие условия требуют, чтобы определенные переменные были свободными переменными или чтобы определенные переменные не появлялись в подформуле или термине.