Я потратил неделю или две на программирование простого логического решателя. Построив его, я задался вопросом, является ли язык, который он решает, полным по Тьюрингу или нет. Поэтому я закодировал небольшой набор уравнений...
вопрос задан: 4 June 2012 09:10