А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
Целое, целочисленный тип данных — один из самых простых примитивных типов данных в информатике. Служит для представления целых чисел, ограниченного минимальным и максимальным значением, зависящими от выделенной под число памяти.
OCaml — объектно-ориентированный язык функционального программирования общего назначения. Был разработан с учётом безопасности исполнения и надёжности программ. Поддерживает функциональную, императивную и объектно-ориентированную парадигмы программирования. Самый распространённый в практической работе диалект языка ML.
Реку́рсия — определение, описание, изображение какого-либо объекта или процесса внутри самого этого объекта или процесса, то есть ситуация, когда объект является частью самого себя. Термин «рекурсия» используется в различных специальных областях знаний — от лингвистики до логики, но наиболее широкое применение находит в математике и информатике.
Обра́тная по́льская за́пись — форма записи математических и логических выражений, в которой операнды расположены перед знаками операций. Также именуется как обратная бесскобочная запись, постфиксная нотация, бесскобочная символика Лукасевича, польская инверсная запись, ПОЛИЗ.
Рефал — один из старейших функциональных языков программирования, ориентированный на символьные вычисления: обработку символьных строк ; перевод с одного языка на другой; решение проблем, связанных с искусственным интеллектом. Соединяет в себе математическую простоту с практической направленностью на написание больших и сложных программ.
Присва́ивание — механизм в программировании, позволяющий динамически изменять связи объектов данных с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих современных языках программирования сама операция также возвращает некоторый результат. На физическом уровне результат операции присвоения состоит в проведении записи и перезаписи ячеек памяти или регистров процессора.
Логи́ческий тип да́нных, или булев тип, или булевый тип — примитивный тип данных в информатике, принимающий два возможных значения, иногда называемых истиной (true) и ложью (false). Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип данных. В некоторых языках программирования за значение истина полагается 1, за значение ложь — 0.
Переме́нная — это математический объект, который занимает некоторое множество значений и в его пределах может изменять своё значение. Переменные используются, в частности, в задании математических выражений. Понятие переменной широко используется в таких областях, как математика, естественные науки, техника и программирование. Примерами переменных могут служить: температура воздуха, параметр функции и многое другое.
Математи́ческая фо́рмула в математике, а также физике и других естественных науках — символическая запись высказывания, либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка. В более широком смысле формула — всякая чисто символьная запись, противопоставляемая в математике различным выразительным способам, имеющим геометрическую коннотацию: чертежам, графикам, диаграммам, графам и т. п.
Элемента́рная а́лгебра — самый старый раздел алгебры, в котором изучаются алгебраические выражения и уравнения над вещественными и комплексными числами.
Алгебраическим выражением называется одна или несколько алгебраических величин, связанных между собой знаками арифметических операций: сложения, вычитания, умножения и деления, а также извлечения корня и возведения в степень и знаками последовательности применения этих операций. Количество величин, входящих в алгебраическое выражение, должно быть конечным.
Математические обозначения — графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор.
Тип данных (тип) — множество значений и операций над этими значениями.
Термин переменная может означать:
- Переменная (программирование) — поименованная, либо адресуемая иным способом область памяти, адрес которой можно использовать для осуществления доступа к данным и изменять значение в ходе выполнения программы.
- Переменная величина в математике — символ, обозначающий какое-то число в алгебраическом выражении.
- Независимая и зависимая переменные в статистике.
- Переменная звезда — звезда, блеск которой изменяется со временем.
Выражение в информатике — комбинация значений, констант, переменных, операций и функций, которая может быть интерпретирована в соответствии с правилами конкретного языка. Интерпретация (выполнение) такого выражения приводит к вычислению некоторого значения.
Знак вещественного числа в арифметике позволяет отличить отрицательные числа от положительных; традиционно знак обозначается символом плюса или минуса (отрицательные) перед записью числа. Если ни плюс, ни минус не указаны, число считается положительным. Ноль как особое число не имеет знака.
Выражение в математике — одно из фундаментальных математических понятий, лежащее в основе языка математики. С помощью математических выражений записываются расчётные алгоритмы, формулируются аксиомы и теоремы математики, законы естественных наук.
