Язы́к программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель под её управлением.
Лисп — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов. Лисп был создан Джоном Маккарти для работ по искусственному интеллекту и до сих пор остаётся одним из основных инструментальных средств в данной области. Применяется он и как средство обычного промышленного программирования, от встроенных скриптов до веб-приложений массового использования, хотя популярным его назвать нельзя.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Разработка через тестирование — техника разработки программного обеспечения, которая основывается на повторении очень коротких циклов разработки: сначала пишется тест, покрывающий желаемое изменение, затем пишется код, который позволит пройти тест, и под конец проводится рефакторинг нового кода к соответствующим стандартам. Кент Бек, считающийся изобретателем этой техники, утверждал в 2003 году, что разработка через тестирование поощряет простой дизайн и внушает уверенность.
Cisco IOS — программное обеспечение, используемое в маршрутизаторах Cisco и некоторых сетевых коммутаторах. Cisco IOS — многозадачная операционная система, выполняющая функции сетевой организации, маршрутизации, коммутации и передачи данных.
Откры́тые (нерешённые) математи́ческие пробле́мы — задачи, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве.
D (Ди) — мультипарадигмальный статически типизированный компилируемый язык программирования, созданный Уолтером Брайтом из компании Digital Mars. Начиная с 2006 года соавтором также является Андрей Александреску. D является потомком языка C++, но существенно доработан по сравнению с ним. Также он заимствует ряд концепций из языков программирования Python, Ruby, C#, Java, Eiffel.
Повторное использование кода — методология проектирования компьютерных и других систем, заключающаяся в том, что система частично либо полностью должна составляться из частей, написанных ранее компонентов и/или частей другой системы, и эти компоненты должны применяться более одного раза. Повторное использование — основная методология, которая применяется для сокращения трудозатрат при разработке сложных систем.
Проекти́рование — процесс определения архитектуры, компонентов, интерфейсов и других характеристик системы или её части. Результатом проектирования является прое́кт — целостная совокупность моделей, свойств или характеристик, описанных в форме, пригодной для реализации системы. В рамках технического регулирования проектирование рассматривается как связанный с продукцией процесс. При этом продукция рассматривается как вещь ещё не существующая физически, но существующая в юридическом смысле.
Мо́дульное программи́рование — организация программы как совокупности небольших независимых блоков, называемых модулями, структура и поведение которых подчиняются определённым правилам.
Джон Хо́ртон Ко́нвей — британский математик.
КАМАК — стандарт, определяющий организацию магистрально-модульной шины, предназначенной для связи измерительных устройств с цифровой аппаратурой обработки данных в системах сбора данных. Появился в 1970-х годах.
Cotonti представляет собой модульную систему управления содержимым и фреймворк на базе PHP и MySQL. Для конечного пользователя Cotonti является CMS со среднетиповым набором возможностей, в первую очередь предназначенной для создания онлайновых сообществ, коммерческих и персональных сайтов. Она также может быть расширена для таких ресурсов, как блоги, сайты электронной коммерции, новостные сайты, игровые кланы, корпоративные порталы и др.
Feature driven development — итеративная методология разработки программного обеспечения, одна из гибких методологий разработки (agile). FDD представляет собой попытку объединить наиболее признанные в индустрии разработки программного обеспечения методики, принимающие за основу важную для заказчика функциональность (свойства) разрабатываемого программного обеспечения. Основной целью данной методологии является разработка реального, работающего программного обеспечения систематически, в поставленные сроки.
PhpStorm — коммерческая кросс-платформенная интегрированная среда разработки для PHP. Разрабатывается компанией JetBrains на основе платформы IntelliJ IDEA.
Гипотеза о языке мышления, предложенная американским философом Джерри Фодором, утверждает, что все мысли представлены в виде языка, в котором определяются связи между простыми компонентами мысли или концептами. Согласно этой гипотезе, такой язык должен быть врожденным и универсальным для всех людей. Сам Джерри Фодор называет этот язык «ментализом». Гипотеза базируется на достижениях современной генеративной лингвистики и когнитивных наук. В частности, из лингвистики заимствовано ключевое в данной теории понятие — «синтаксис».
Архитектура системы — принципиальная организация системы, воплощенная в её элементах, их взаимоотношениях друг с другом и со средой, а также принципы, направляющие её проектирование и эволюцию.
Анализ — объединение нескольких разделов математики, исторически выросшее из классического математического анализа и охватывающее, кроме дифференциального и интегрального исчислений, входящих в классическую часть, такие разделы, как теории функций вещественной и комплексной переменной, теории дифференциальных и интегральных уравнений, вариационное исчисление, гармонический анализ, функциональный анализ, теорию динамических систем и эргодическую теорию, глобальный анализ. Нестандартный анализ находится на стыке математической логики и анализа, применяет методы теории моделей для альтернативной формализации, прежде всего, классических разделов.
Луи де Бранж де Бурсия — французско-американский математик. Заслуженный профессор математики Эдварда К. Эллиотта в Университете Пердью в Вест-Лафайетте, штат Индиана. В 1984 году доказал давнюю гипотезу Бибербаха, которая сейчас называется теоремой де Бранжа. Он утверждает, что доказал несколько важных математических гипотез, включая обобщенную гипотезу Римана. Аналитик де Бранж занимался изучением и исследованием реальных, функциональных, комплексных, гармонических (Фурье) и диофантовы анализов. Что касается конкретных методов и подходов, он является экспертом в спектральных и операторных теориях.
