Стати́стика — отрасль знаний, наука, в которой излагаются общие вопросы сбора, измерения, мониторинга, анализа массовых статистических данных и их сравнение; изучение количественной стороны массовых общественных явлений в числовой форме.
Тео́рия — учение, система научного знания, описывающая и объясняющая некоторую совокупность явлений и сводящая открытые в данной области закономерные связи к единому объединяющему началу.
Систе́ма — множество элементов, находящихся в отношениях и связях друг с другом, которое образует определённую целостность, единство.
Зна́ние — осведомлённость или понимание чего-либо, что можно логически или фактически обосновать и практически проверить опытом. Согласно распространённой трактовке современной эпистемологии, знание — это реальное положение дел, обоснованное фактами и рациональными аргументами убеждение человека. Говоря о знании, чаще всего подразумевают отражение действительности в сознании человека.
Тео́рия госуда́рства и пра́ва — фундаментальная юридическая наука, изучающая сущность, наиболее общие закономерности и тенденции происхождения, развития и функционирования государства и права в их постоянном взаимодействии, формирующая общие для всех юридических наук понятия и категории. Научное исследование в теории государства и права ведётся не по отдельно взятой стране и исторической эпохе, а с ориентацией на наиболее развитые в настоящий момент формы права и государственности.
Поня́тие — отображённое в мышлении единство существенных свойств и связей предметов; мысль, выделяющая и обобщающая предметы (объекты) некоторого класса по общим и в своей совокупности специфическим для них признакам.
Позитиви́зм — философское учение и направление в методологии науки, определяющее единственным источником истинного, действительного знания эмпирические исследования и отрицающее познавательную ценность философского исследования. Основной тезис позитивизма — «Всё подлинное (позитивное) знание есть совокупный результат специальных наук».
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Редукциони́зм — методологический принцип, согласно которому сложные явления могут быть полностью объяснены с помощью законов, свойственных явлениям более простым.
Хими́ческая фо́рмула — условное обозначение химического состава и структуры соединений с помощью символов химических элементов, числовых и вспомогательных знаков. Химические формулы являются составной частью языка химии, на их основе составляются схемы и уравнения химических реакций, а также химическая классификация и номенклатура веществ. Одним из первых начал использовать их русский химик А. А. Иовский.
Теоретическая психология — раздел психологии, который можно выделить из состава психологических наук в противопоставление практическим психологическим наукам, таким как инженерная психология, психотехника, психотерапия и т. п. Чаще всего входит в состав словосочетания «Общая и теоретическая психология», либо как синоним «общей психологии».
Позна́ние, когни́ция — совокупность процессов, процедур и методов приобретения знаний об явлениях и закономерностях действительности.
Принцип или начало — 1. Основополагающая истина, закон, положение или движущая сила, лежащая (лежащий) в основе других истин, законов, положений или движущих сил. 2. Руководящее положение, основное правило, установка для какой-либо деятельности. 3. Внутренняя убежденность в чем-либо, точка зрения на что-либо, норма поведения. 4. Основная особенность устройства, действия механизма, прибора и т.п.
Физи́ческий зако́н — устойчивые повторяющиеся объективные закономерности, существующие в природе. Открытые человечеством физические законы представляют собой эмпирически установленные и выраженные в строгой словесной и/или математической формулировке устойчивые, повторяющиеся в эксперименте связи между физическими величинами в явлениях, процессах и состояниях тел и других материальных объектов в окружающем мире.
Машинное обучение — класс методов искусственного интеллекта, характерной чертой которых является не прямое решение задачи, а обучение за счёт применения решений множества сходных задач. Для построения таких методов используются средства математической статистики, численных методов, математического анализа, методов оптимизации, теории вероятностей, теории графов, различные техники работы с данными в цифровой форме.
Data mining — собирательное название, используемое для обозначения совокупности методов обнаружения в данных ранее неизвестных, нетривиальных, практически полезных и доступных интерпретации знаний, необходимых для принятия решений в различных сферах человеческой деятельности. Термин введён Григорием Пятецким-Шапиро в 1989 году.
Фундаментальная наука — область познания, подразумевающая теоретические и экспериментальные научные исследования основополагающих явлений и поиск закономерностей, руководящих ими и ответственных за форму, строение, состав, структуру и свойства, протекание процессов, обусловленных ими; — затрагивает базовые принципы большинства гуманитарных и естественнонаучных дисциплин, — служит расширению теоретических, концептуальных представлений, в частности — детерминации идео- и формообразующей сущности предмета их изучения, — мироздания как такового во всех его проявлениях, в том числе и охватывающих сферы интеллектуальные, духовные и социальные. С точки зрения гносеологии фундаментальная наука доказывает познаваемость мира, обосновывает практическую целесообразность во взаимодействии наук, различных научных методов исследования естественных и гуманитарных наук.
Формальная верификация криптографических протоколов — проверка криптографических протоколов на обеспечение требуемых свойств безопасности. Одной из составляющих такой проверки является определение стойкости протокола к атакам в предположении о надёжности криптографических примитивов, на которых он основывается. Для решения этой задачи разработан ряд подходов, основанных на различных формальных методах верификации. Общей чертой формальных методов является использование системного подхода к проблеме, позволяющего выполнять более обоснованную, точную и эффективную проверку свойств безопасности протокола.
Эмпирические данные — данные, полученные через органы чувств, в частности, путём наблюдения или эксперимента. В философии после Канта полученное таким образом знание принято называть апостериорным. Оно противопоставляется априорному, доопытному знанию, доступному через чисто умозрительное мышление.
Эмпирическая формула — математическое уравнение, полученное опытным путём, методом проб и ошибок или как приближённая формула из экспериментальных данных.
