ТК 022 Информационные технологии

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

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

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

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

Интеллект искусственный, символический — термин для совокупности всех методов в искусственном интеллекте исследований, которые основаны на высокоуровневом «символическом» (человекочитаемом) представления проблем, логика и поиск. ​​[Глоссарий

Контролируемым обучением — задача машинного обучения  функции, который отображает ввод на вывод на основе примеров пар ввода-вывода. Он выводит функцию из помеченных обучающих данных, состоящих

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

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