Изменения

Теория формальных языков

160 байт добавлено, 19:13, 16 октября 2013

→‎Примеры неразрешимых задач: ну а чо

*[[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]

*[[Неразрешимость исчисления предикатов первого порядка]]

*[[Неразрешимость проблемы существования решения диофантова уравления в целых числах]]

*[[Теорема Райса-Шапиро]]

1679

правок