Комбинатор с фиксированной точкой
Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой — это функция, возвращающая фиксированную […]
Вики
Mathematics of computing
Вики
Теория модели актера
Теория модели актора Основы модели актера Модель актера описывает параллельные вычисления с использованием акторов и сообщений. Актор — это сущность,
Вики
Комбинатор с фиксированной точкой
Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой — это комбинатор, который возвращает
Вики
Постусловие
Постусловие Определение постусловия в программировании Постусловие — это условие, которое должно быть истинным после выполнения кода. Постусловия часто используются для
Вики
Рекурсивно перечислимый язык
Рекурсивно перечислимый язык Формальный язык называется рекурсивно перечислимым, если он представляет собой рекурсивно перечислимое подмножество во множестве всех возможных слов
Вики
Computational statistics — Wikipedia
Вычислительная статистика Вычислительная статистика — наука на стыке статистики и информатики, относящаяся к статистическим методам с использованием вычислительных методов. Это
Вики
Спектральный анализ методом наименьших квадратов
Спектральный анализ методом наименьших квадратов Метод наименьших квадратов (МНК) используется для спектрального анализа временных рядов. МНК позволяет анализировать неполные записи
Вики
Анализ Фурье
Анализ Фурье Преобразование Фурье и дискретное преобразование Фурье (DFT) являются важными преобразованиями в математике и обработке сигналов. Преобразование Фурье используется