Theoretical computer science

Вики

Планирование движения — Википедия

/

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

Вики

Полугрупповое действие — Википедия

/

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

Вики

Полугрупповое действие — Википедия

/

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

Вики

Формальный язык — Википедия

/

Формальный язык Определение формального языка Формальный язык — это множество строк, определенных на некотором алфавите.  Строки могут быть конечными или

Вики

Теоретическая информатика — Википедия

/

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

Вики

Формальная проверка — Википедия

/

Формальная проверка Определение и значение формальной верификации Формальная верификация — это процесс доказательства корректности систем в соответствии с формальными спецификациями. 

Вики

Лямбда-исчисление — Википедия

/

Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые могут быть вычислены с

Вики

Машина Тьюринга — Википедия

/

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

Вики

Биологические вычисления — Википедия

/

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

Вики

Алгоритм — Википедия

/

Алгоритм Определение и классификация алгоритмов Алгоритм — это набор инструкций, которые решают конкретную задачу.  Алгоритмы могут быть классифицированы по различным

Вики

Полугрупповое действие — Википедия

/

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

Вики

Идемпотенция — Википедия

/

Идемпотентность Идемпотентность — свойство операций в математике и компьютерных науках, позволяющее их многократное применение без изменения результата.  Идемпотентность встречается в

Вики

Грубый набор — Википедия

/

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

Вики

Класс сложности — Википедия

/

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

Вики

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

/

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

Вики

Вычисление — Википедия

/

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

Вики

Бисимуляция — Википедия

/

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

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