Теоретическая информатика

Вики

Грубый набор

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Вычисление

/

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

Вики

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

/

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

Вики

Бисимуляция

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Теоретическая информатика

/

Теоретическая информатика Статья представляет собой список ключевых слов и фраз, связанных с теоретической информатикой.  В статье обсуждаются различные аспекты теоретической

Вики

Алгоритм

/

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

Вики

Лямбда-исчисление

/

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

Вики

Формальный язык

/

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

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