Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Рекурсивные, рекурсивно перечислимые множества
СообщениеДобавлено: 05 июн 2017, 17:37 
Не в сети
Начинающий
Зарегистрирован:
05 июн 2017, 17:12
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Добрый день! Помогите, пожалуйста, решить задачи по теории алгоритмов
Изображение

Есть вот такая подсказка, но как к этому прийти?
Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Рекурсивные, рекурсивно перечислимые множества
СообщениеДобавлено: 05 июн 2017, 21:46 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
st16math писал(а):
Есть вот такая подсказка, но как к этому прийти?
Вы уверены, что вас интересует, как можно было догадаться до этих подсказок, а не как их использовать для решения задач?

Мне кажется, в подсказке к задаче 22 опечатка: она должна начинаться с "Пусть [math]A=\rho_g[/math], где [math]g[/math] — примитивно рекурсивная функция".

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 2 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Доказать, что предикат Trm(x) - рекурсивно исчисляемый

в форуме Задачи со школьных и студенческих олимпиад

theproudswan

0

217

19 май 2021, 21:05

Рекурсивные функции

в форуме Дискретная математика, Теория множеств и Логика

Stasya7

1

303

11 ноя 2015, 22:50

Рекурсивные уравнения.

в форуме Дискретная математика, Теория множеств и Логика

Merry98

1

269

02 янв 2018, 11:13

Частично рекурсивные функции

в форуме Дискретная математика, Теория множеств и Логика

chopperis

1

121

17 янв 2022, 11:16

Частично рекурсивные функции

в форуме Дискретная математика, Теория множеств и Логика

chopperis

1

98

17 янв 2022, 11:13

Примитивно и частично рекурсивные функции

в форуме Дискретная математика, Теория множеств и Логика

galinat

7

238

29 ноя 2019, 16:36

Вычислимые (частично рекурсивные) и невычислимые функции.

в форуме Дискретная математика, Теория множеств и Логика

Godov

0

180

30 апр 2021, 23:09

Мат. Логика Выразить функцию через примитивно рекурсивные

в форуме Дискретная математика, Теория множеств и Логика

PFanthem

1

245

06 июн 2016, 13:22

Счётность множества всех подмножеств счетного множества

в форуме Дискретная математика, Теория множеств и Логика

Uebermarginal

4

111

08 фев 2024, 19:56

Найти для множества А образ множества Г(А)

в форуме Дискретная математика, Теория множеств и Логика

Vedon4ick

0

185

10 апр 2023, 01:16


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved