KFU. Card publication. ТЬЮРИНГОВА ВЫЧИСЛИМОСТЬ: СТРУКТУРНАЯ ТЕОРИЯ

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ТЬЮРИНГОВА ВЫЧИСЛИМОСТЬ: СТРУКТУРНАЯ ТЕОРИЯ

Form of presentation

Articles in Russian journals and collections

Year of publication

2019

Язык

русский

Authors, employees of KFU

Arslanov Marat Mirzaevich, author

Yamaleev Mars Mansurovich, author

Bibliographic description in the original language

Arslanov M.M., Yamaleev M.M. TYuRINGOVA VYChISLIMOST: STRUKTURNAYa TEORIYa// Trudy seminara kafedry algebry i matematicheskoy logiki Kazanskogo (Privolzhskogo) federalnogo universiteta, Itogi nauki i tekhn. Ser. Sovrem. mat. i ee pril. Temat. obz., 157, VINITI RAN, M., 2018, S. 8–41

Annotation

Приведен обзор основных достижений коллектива под руководством М.М. Арсланова по теории вычислимости

Keywords

вычислимость; тьюринговая сводимость; степени неразрешимости; определимость

The name of the journal

ВИНИТИ

URL

http://mi.mathnet.ru/book1755

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=195575&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Arslanov Marat Mirzaevich	ru_RU
dc.contributor.author	Yamaleev Mars Mansurovich	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	Арсланов М.М., Ямалеев М.М. ТЬЮРИНГОВА ВЫЧИСЛИМОСТЬ: СТРУКТУРНАЯ ТЕОРИЯ// Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, С. 8–41	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=195575&p_lang=2	ru_RU
dc.description.abstract	ВИНИТИ	ru_RU
dc.description.abstract	Приведен обзор основных достижений коллектива под руководством М.М. Арсланова по теории вычислимости	ru_RU
dc.language.iso	ru	ru_RU
dc.subject		ru_RU
dc.title	ТЬЮРИНГОВА ВЫЧИСЛИМОСТЬ: СТРУКТУРНАЯ ТЕОРИЯ	ru_RU
dc.type	Articles in Russian journals and collections	ru_RU