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

Вики

Вычислимость в Европе

/

Вычислимость в Европе Организация ACiE ACiE объединяет специалистов в области вычислимости из разных дисциплин.  Цель – расширить понимание и оценить

Вики

Дерево-автомат

/

Древовидный автомат Основы древовидных автоматов Древовидный автомат – это конечный автомат с деревом состояний, где каждый узел представляет состояние.  Древовидные

Вики

Дерево (теория автоматов)

/

Дерево (теория автоматов) Определение дерева в теории автоматов Дерево – это древовидная структура, представленная в виде последовательностей натуральных чисел.  Дерево

Вики

Постотбор

/

Последующий выбор Основы теории вероятностей Последующий выбор изменяет вероятность события от  Пиар  ⁡  [  F  ]  к  |  E  . 

Вики

Автоматизированное рассуждение

/

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

Вики

Квантовая теория сложности

/

Теория квантовой сложности Основы квантовых вычислений Квантовые вычисления используют квантовые состояния для выполнения вычислений.  Квантовые компьютеры могут выполнять задачи, которые

Вики

Интерактивные вычисления

/

Интерактивные вычисления Основы интерактивных вычислений Интерактивные вычисления – это математическая модель, которая включает взаимодействие ввода-вывода во время вычислений.  Используются различные

Вики

Естественные вычисления

/

Естественные вычисления Основы естественных вычислений Естественные вычисления – это изучение вычислительных процессов в природе, которые не требуют использования электронных компонентов. 

Вики

Экстрактор (математика)

/

Экстрактор (математика) Определение экстрактора Экстрактор – это двудольный граф с определенными свойствами.  Каждый узел слева имеет определенное количество соседей справа. 

Вики

Квантовый алгоритм

/

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

Вики

Премия Кнута

/

Премия Кнута История и значение премии Кнута Премия Кнута присуждается за вклад в основы компьютерных наук с 1996 года.  Названа

Вики

Спинтроника

/

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

Вики

Кривинский автомат

/

Кривошипная машина Определение и применение машины Кривина Машина Кривина – это абстрактная машина для вычисления нормальных форм в лямбда-исчислении.  Она

Вики

Планирование движения

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Коиндукция

/

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

Вики

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

/

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

Вики

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

/

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

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