Документ взят из кэша поисковой машины. Адрес оригинального документа : http://math.chem.msu.ru/Lists/BK_Body/DispForm.aspx?ID=16
Дата изменения: Unknown
Дата индексирования: Sat Apr 9 22:52:28 2016
Кодировка: UTF-8
BK_Body - MT2.10
Эмблема Домашняя страница   Документы и списки   Создать   Параметры узла   Справка   
Значок
ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА
BK_Body: MT2.10
   
Создать Создать элемент
|
Изменить Изменить элемент
|
Удалить Удалить элемент
|
Оповещать меня
|
Вернуться в список
code:
MT2.10
p:
Эффективная вычислимость. Нормальные алгоритмы Маркова. Алгоритмы Тьюринга. Вычислимость по Эрбрану-Геделю. Рекурсивно-перечислимые множества. Алгоритмические проблемы, примеры неразрешимых проблем. Вычислимая теория категорий.
нач:
Нет
баз:
Нет
угл:
Нет
Section:
MT2
Вложения:
 
 
Создано 31.05.2005 17:51 пользователем COMPLAB\lvs
Изменено 31.05.2005 17:57 пользователем COMPLAB\lvs