| Форма представления | Тезисы и материалы конференций в российских журналах и сборниках |
| Год публикации | 2019 |
| Язык | русский |
|
Ишмухаметов Шамиль Талгатович, автор
|
| Библиографическое описание на языке оригинала |
Ишмухаметов Ш.Т. One extension of the capping minimal degree theorem / Ш.Т. Ишмухаметов// Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ, c.46 |
| Аннотация |
Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ |
| Ключевые слова |
computably enumerable, Turing degrees, meet problem |
| Название журнала |
Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ
|
| URL |
https://kpfu.ru/portal/docs/F_304738713/__Main.pdf |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=210194 |
| Файлы ресурса | |
|
|
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Ишмухаметов Шамиль Талгатович |
ru_RU |
| dc.date.accessioned |
2019-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2019-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2019 |
ru_RU |
| dc.identifier.citation |
Ишмухаметов Ш.Т. One extension of the capping minimal degree theorem / Ш.Т. Ишмухаметов// Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ, c.46 |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=210194 |
ru_RU |
| dc.description.abstract |
Сборник тезисов международной конференции «Алгебра и математическая логика: теория и приложения», г. Казань, 24–28 июня 2019, КФУ |
ru_RU |
| dc.description.abstract |
Дана схема нового доказательства теоремы, доказанной ранее американскими авторами Benedict Durrant, Andy Lewis-Pye, Keng Meng Ng and James Riley Computably enumerable Turing degrees and the meet property. |
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
computably enumerable |
ru_RU |
| dc.subject |
Turing degrees |
ru_RU |
| dc.subject |
meet problem |
ru_RU |
| dc.title |
One extension of the capping minimal degree theorem |
ru_RU |
| dc.type |
Тезисы и материалы конференций в российских журналах и сборниках |
ru_RU |
|