Theoretical computer science

Вики

Псевдослучайность

/

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

Вики

Алгоритмическая техника

/

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

Вики

Алгоритмическая разработка

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Постотбор

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Премия Кнута

/

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

Вики

Спинтроника

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

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