Результаты поиска по запросу "computer-science"
Зачем нам нужна другая архитектура процессора для серверов, мини / мэйнфреймов и смешанных ядер? [закрыто]
Мне просто интересно, какие еще архитектуры ЦП доступны, кроме INTEL и AMD. Итак, нашелСписок архитектур ЦП в Википедии.Он классифицирует известные архитекту...
Как запустить Афину | Coq | Изабель кодирует удаленно?
Я создавал Web IDE (WIDE) для доказательства теорем в области компьютерных наук. Возможно, вы знаете, есть 3 наиболее распространенных помощника по доказател...
В чем разница между равенством и эквивалентностью?
Я прочитал несколько примеров в чтении математики и информатики, которые используют символ эквивалентности
Можно ли эффективно оценить условия лямбда-исчисления?
Недавно я написал много программ для лямбда-исчисления и хотел бы запустить некоторые из них в режиме реального времени. Тем не менее, так как трендовая функ...
Оптимизация алгоритма хакерранка
Меня спросили об этом по рейтингу хакера, и я не нашел решения, которое не исчерпало бы отведенное время. Я использовал php и выделил время было 9 секунд ......
Простое определение «семантики», как оно обычно используется в отношении языков программирования / API?
Сегодня мне пришло в голову, что, хотя я принял и не редко использую термин «семантика» при обращении к элементам языка и соглашениям об именах, у меня нет н...
Проблемы разбиения Алгоритм грубой силы
Я пытаюсь сделать псевдокод для проблемы раздела ниже в грубой форме.набор целых чисел X и целое число k (k> 1). Найти k подмножеств X так, чтобы числа в ...
Как я могу определить, является ли язык свободным от контекста или нет?
Как я могу узнать, являются ли языки контекстно-свободными или нет?