 Мат. логика |
Здравствуйте, гость ( Вход | Регистрация )
| gepa |
 3.5.2009, 7:52
Сообщение
#1
|
|
Новичок  Группа: Пользователи Сообщений: 3 Регистрация: 18.1.2009 Город: москва Учебное заведение: ми** Вы: студент  |
Определение: всякое разрешимое множество перечислимо, обратное не верно
вопрос заключается в том почему это так, особенно почему обратное не верно заранее спасибо. |
   |
 
|
  |
Ответов
| tig81 |
3.5.2009, 8:01
Сообщение
#2
|
|
Академик Группа: Преподаватели Сообщений: 15 617 Регистрация: 15.12.2007 Город: Украина, Запорожье Учебное заведение: ЗНУ Вы: преподаватель |
А вы как думаете?
|
|
|
|
| gepa |
3.5.2009, 8:20
Сообщение
#3
|
|
Новичок Группа: Пользователи Сообщений: 3 Регистрация: 18.1.2009 Город: москва Учебное заведение: ми** Вы: студент |
Цитата(tig81 @ 3.5.2009, 8:01)  А вы как думаете? про первую часть, я думаю, что поскольку мн-во разрешимо, значит его хар-кая ф-ция вычислима, и след-но есть программа (алгоритм), которая может перечислить все эл-ты а вот в обратную сторону догадок никаких нет.. |
|
|
|
Сообщений в этой теме
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 19.4.2026, 16:06 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2026 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru