Обсуждение:Примеры неразрешимых задач: задача о выводе в полусистеме Туэ — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «: {{tick}} англоязычные термины : {{tick}} нормальные русские и английские источники : {{tick}} мне к...»)
(нет различий)

Версия 12:22, 9 декабря 2012

англоязычные термины
нормальные русские и английские источники
мне кажется, здесь должен быть значок [math]\vdash[/math], а не [math]\vDash[/math]
"Система команд" щито?
"В исчислении S(T)" — что такое S(T)?
"за конечное число тактов.(1)" ?? что за 1
"правильновычисляющую", "унивирсальный", "распознования"
S(U) какой-то. Короче, здесь надо вее внимательно вычитать, осознать и написать нормально заново. --Дмитрий Герасимов 13:22, 9 декабря 2012 (GST)