Изменения

Участник:Shersh/Тикеты к 5ому терму

30 байт добавлено, 23:59, 23 декабря 2015

м

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

# Переменные и константы взять в Tex

<li> [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li>

<li> ''взяли'' [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] (0.5) </li>

# Источники информации

# Добавить см. также

# Добавить информацию по последнему замечанию из обсуждений

# Добавить см. также

<li> ''взяли'' [[Неразрешимость исчисления предикатов первого порядка]] (0.5) </li>

# Добавить см. также

# Интервики на конспекты по математической логигике

3622

правки