Изменения

Участник:Dgerasimov/Тикеты по конспектам year2011

30 байт добавлено, 23:05, 16 декабря 2013

→‎3. Теория вычислимости

== 3. Теория вычислимости ==

# ''fixed'' [[Разрешимые (рекурсивные) языки]]

## англоязычные термины

## категории

## ссылки на википедию, русскую и английскую

# ''fixed'' [[Перечислимые языки]]

## англоязычные термины

## ссылки на википедию

## написать про классы RE, R, co-RE.

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

# ''fixed'' [[Вычислимые функции]]

## англоязычные термины

## ссылки на википедию

1679

правок