Изменения

Перейти к: навигация, поиск

Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций

1 байт добавлено, 05:31, 19 декабря 2011
м
Нет описания правки
== Литература ==
* ''Верещагин Н. К., Шень А.'' '''Лекции по математической логике и теории алгоритов. Часть 3. Вычислимые функции''' -- — М.: МЦНМО, 1999
Roman Livarsky
54
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/14895»

Навигация