Theoretical computer science

Вики

Коиндукция

/

Коиндукция Определение и свойства F-коалгебр F-коалгебра – это пара (A, F), где A – множество, а F – функционал, отображающий […]

Вики

Биологические вычисления

/

Биоинспирированные вычисления Обзор биоинспирированных вычислений Биоинспирированные вычисления основаны на биологических принципах и вдохновлены природой.  Они включают в себя нейробиологические, эволюционные

Вики

Полугрупповое действие

/

Полугрупповое действие Определение полугруппы Полугруппа – это множество с бинарной операцией, удовлетворяющей ассоциативности и наличию нейтрального элемента.  Полугруппы могут быть

Вики

Грубый набор

/

Грубый набор Теория грубых множеств – формальная аппроксимация четкого набора в терминах пары наборов, дающих нижнюю и верхнюю аппроксимации исходного

Вики

Класс сложности

/

Класс сложности Класс сложности – набор вычислительных задач, связанных по сложности с использованием ресурсов (время и память).  Большинство классов сложности

Вики

Вычислительная задача

/

Вычислительная задача Вычислительная задача – это задача, решаемая с помощью алгоритма.  Примеры вычислительных задач: факторинг, разложение на множители, проверка на

Вики

Вычисление

/

Вычисление Вычисление – это любой тип арифметических или неарифметических вычислений, который четко определен.  Информатика – это область, которая включает в

Вики

Основы информатики

/

Основы информатики Fundamenta Informaticae – научный журнал, посвященный информатике, основан в 1977 году.  Главный редактор журнала – Дамиан Нивински.  Журнал

Вики

Бисимуляция

/

Бисимуляция Бисимуляция – это отношение между системами перехода состояний, объединяющее системы, которые ведут себя одинаково.  Две системы похожи друг на

Вики

Комбинаторная оптимизация

/

Комбинаторная оптимизация Комбинаторная оптимизация – область математической оптимизации для поиска оптимального объекта из дискретного набора.  Типичные задачи комбинаторной оптимизации: задача

Вики

Корректность (информатика)

/

Корректность (информатика) Алгоритм считается корректным по отношению к спецификации, если ведет себя так, как указано.  Функциональная корректность относится к поведению

Вики

Квазиэмпиризм в математике

/

Квазиэмпиризм в математике Квазиэмпиризм в математике привлекает внимание философов к математической практике и связям с физикой, социальными науками и вычислительной

Вики

Рекурсия (информатика)

/

Рекурсия (информатика) Рекурсия – это метод определения функции, которая вызывает саму себя.  Рекурсивные функции могут быть реализованы итеративно путем замены

Вики

Рекурсивное определение

/

Рекурсивное определение Рекурсивное определение используется в математике и информатике для определения элементов в наборе в терминах других элементов.  Примеры рекурсивно

Вики

Формальная проверка

/

Формальная проверка Формальная верификация является ключевым стимулом для формальной спецификации систем и лежит в основе формальных методов.  Это представляет собой

Вики

Машина Тьюринга

/

Машина Тьюринга Машина Тьюринга – абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году.  Машина Тьюринга состоит из ленты, головки

Вики

Квантовые вычисления

/

Квантовые вычисления Квантовые вычисления основаны на использовании квантовых состояний и операций для решения задач.  Квантовые компьютеры используют кубиты для хранения

Вики

Формальные методы

/

Формальные методы Формальные методы используются в разработке программного обеспечения и аппаратного обеспечения для проверки правильности и надежности.  Они основаны на

Прокрутить вверх