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

А

• Алгоритмы ‎ ( 59 С, 135 П)

С

• Теория вычислительного обучения ‎ ( 22 С)

И

• Эволюционные вычисления ‎ ( 4 C, 26 P)

Ф

• Формальные языки ‎ ( 13 C, 202 P)
• Формальные методы ‎ ( 18 C, 102 P)

Г

• Теория графов ‎ ( 27 C, 124 P)

я

• Теория информации ‎ ( 17 C, 202 P)

л

• Логика в информатике ‎ ( 20 С, 101 Б)

М

• Математические теоремы в теоретической информатике ‎ ( 1 С, 6 Б)
• Математика вычислений ‎ ( 6 С, 8 Б)

Н

• Естественные вычисления ‎ ( 3 П)

П

• Проблемы по информатике ‎ ( 2 С, 6 Б)
• Псевдослучайность ‎ ( 1 С, 17 П)
• Преследование–уклонение ‎ ( 1 C, 15 P)

вопрос

• Квантовые вычисления ‎ ( 3 C, 84 P)
• Квантовая информатика ‎ ( 8 C, 173 P)

Р

• Системы переписывания ‎ ( 5 C, 35 P)

Т

• Конференции по теоретической информатике ‎ ( 39 П)
• Журналы по теоретической информатике ‎ ( 2 C, 4 P)
• Компьютерщики-теоретики ‎ ( 3 C, 205 P)
• Теория вычислений ‎ ( 8 C, 92 P)

С

• Незавершенные статьи по теоретической информатике ‎ ( 1 С, 79 Б)

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

А

• Премия ACM за докторскую диссертацию
• АСМ СИГАКТ
• Алгоритм
• Алгоритмическая инженерия
• Алгоритмическая логика
• Алгоритмическая методика
• Алгоритмическая прозрачность
• Окружающее исчисление
• Анализ булевых функций
• Ангельский недетерминизм
• API-исчисление
• Автоматизированное рассуждение

Б

• Биграф
• Биологические вычисления
• Формализм Бёрда – Меертенса
• Бисимуляция
• Модель моста
• Британский коллоквиум по теоретической информатике
• Британский коллоквиум по логике

С

• Расчет пространства
• Категорическая логика
• Хаос-вычисления
• Химический компьютер
• Проблема со значением цепи
• Теорема Кобэма
• Коиндукция
• Комбинаторная оптимизация
• Комп.теория
• Класс сложности
• Функция сложности
• Вычислимость в Европе
• Вычисление
• Вычислительная неприводимость
• Вычислительная задача
• Конкуренция (квантовые вычисления)
• Настраиваемая модульность
• Корекурсия
• Корректность (информатика)

Д

• Демонический недетерминизм
• Номер описания
• Разъединение
• Подход грубого набора, основанный на доминировании
• Системы динамических приложений, управляемых данными

И

• Лекции Эрдеша
• Устойчивость к ошибкам (обучение PAC)
• Европейская ассоциация теоретической информатики
• Точное покрытие
• Лемма о смешивании экспандера
• Экстрактор (математика)

Ф

• Премия за лекцию Флажоле
• Официальный язык
• Формальные методы
• Формальная проверка
• Французский институт исследований в области компьютерных наук и автоматизации
• Теорема о полной занятости
• Основы информатики

Г

• Глоссарий квантовых вычислений
• Премия Гёделя
• Теория грамматических систем
• Гранулярные вычисления

ЧАС

• Проблема скрытой подгруппы
• Система типов Хиндли – Милнера
• Ярлыки концентратора

я

• Идемпотентность
• Косвенная ссылка на самого себя
• Институт (информатика)
• Теория институциональной модели
• Интерактивные вычисления

Дж

• Журнал автоматов, языков и комбинаторики

К

• Программный помощник, основанный на знаниях
• Премия Кнута
• Алгоритм Кнута Simpath
• Кривая машина

л

• Лямбда-исчисление
• Язык спецификации временного упорядочения
• Обучение дополненному алгоритму
• Спектральный анализ методом наименьших квадратов
• Проблема предка уровня
• ЛогП-машина
• Самый низкий общий предок
• Лулу сглаживание

М

• Машинное обучение в физике
• Гипотеза многообразия
• Медведевская сводимость
• Массив Монге
• Планирование движения
• сводимость Мучника

Н

• Естественные вычисления
• Модель обнаружения соседей
• Неудобные призы
• Номинальные методы
• Номинальные термины (информатика)

ТО

• Обучение Оккама

П

• Язык шаблонов (формальные языки)
• БУМАГА
• Π-исчисление
• Постотбор
• Вероятностное бисимуляция
• Проконечное слово
• Теория обещаний
• Тестирование недвижимости
• Псевдослучайность

вопрос

• Квантовый алгоритм
• Квантовая емкость
• Квантовая теория сложности
• Квантовые вычисления
• Квантовая цифровая подпись
• Квантовое машинное обучение
• Квазиэмпиризм в математике

Р

• Ранговый алфавит
• Рекурсия (информатика)
• Рекурсивное определение
• Код Рида – Мюллера
• Обычный числовой предикат
• Представление теоремы
• Грубый набор

С

• Свойства безопасности и живучести
• Метафора научного сообщества
• Теорема Сельмана
• Семантическое пространство-время
• Полугрупповое действие
• Моделирование (информатика)
• Выборочное пространство с малым смещением
• Спинтроника
• Летняя школа Марктобердорф
• Солнце – много солнца

Т

• Опоздание (по расписанию)
• Теория вычислительных систем
• Пороговая теорема
• Транскриптор
• Дерево (теория автоматов)
• Древовидный автомат
• Датчик дерева
• Машина Тьюринга

В

• Неограниченный алгоритм

В

• Самое слабое предварительное условие