M~2-computable real numbers

DIMITER SKORDEV; ANDREAS WEIERMANN; IVAN GEORGIEV

首页> 外文期刊>Journal of logic and computation >M~2-computable real numbers

【24h】

M~2-computable real numbers

机译：M〜2可计算的实数

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The article concerns subrecursive computability of real numbers. Certain significant real numbers are shown to be M~2 -computable, and the set of the M~2-computable real numbers is shown to be closed under the elementary functions of calculus.

机译：本文涉及实数的亚递归可计算性。某些有效实数被证明是M_2可计算的，而M_2可计算的实数的集合在微积分的基本功能下被证明是封闭的。

著录项

来源
《Journal of logic and computation》 |2012年第4期|p.899-925|共27页
作者
DIMITER SKORDEV; ANDREAS WEIERMANN; IVAN GEORGIEV;
展开▼
作者单位

Sofia University, Faculty of Mathematics and Informatics,James Bourchier Blvd. 5, 1164 Sofia, Bulgaria;

Universiteit Gent, Vakgroep Zuivere Wiskunde en Computeralgebra, Krijgslaan 281 Gebouw S22, 9000 Ghent, Belgium;

Assen Zlatarov University, Prof Yakimov Str. 1,8010 Burgas, Bulgaria;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
computable real number; computable real-valued function; subrecursive; M~2; δ_0 definable; elementary functions of calculus;

机译：可计算的实数;可计算的实值函数;亚递归M〜2;δ_0可定义;微积分的基本功能;

相似文献

外文文献
中文文献
专利

1. Becoming a Social Worker: Real Students, Real Clients, Real Growth, by Judy Smith; and Becoming a Social Worker With Older Adults: Real Students, Real Clients, Real Growth, by Judy Smith [J] . Patricia J. Kolba Journal of Gerontological Social Work . 2010,第7期

机译：成为社会工作者：真正的学生，真正的客户，真正的成长，作者：朱迪·史密斯（Judy Smith）；成为成年人的社会工作者：真正的学生，真正的客户，真正的成长，作者朱迪·史密斯（Judy Smith）
2. Is real estate private equity real estate? - Dynamic interactions between real estate private equity funds, non-real estate private equity funds, and direct real estate investments [J] . Randy I. Anderson, Sebastian Krautz, Nico B. Rottke Journal of property research . 2016,第3期

机译：房地产是私募股权房地产吗？ -房地产私募基金，非房地产私募基金和直接房地产投资之间的动态互动
3. REALIVE360: Multi-angle Virtual-reality Video-streaming Service that Gives the Viewer a Realistic Feeling of Being in a Theater [J] . Takahiko Sasahara, Masanori Emura, Takafumi Fukatani NTT Technical Review . 2021,第5期

机译：REAVIVE360：多角度虚拟现实视频流服务，使观众成为剧院的现实感觉
4. The generalized state-space description of positive realness and bounded realness [C] . He-Sheng Wang, Fan-Ren Chang . 1996

机译：正实性和有界实性的广义状态空间描述
5. Funkcionalni proizvodi na bazi cerealija i pseudocerealija sa dodatkom inkapsuliranog ekstrakta tropa cvekle =Cereal- and Pseudocereal-Based Functional Products with Encapsulated Beetroot Extract [D] . Jaki?i?, Mirjana. 2020

机译：基于谷物和假性的功能性产品，加入无能为力的人金肤金发=谷物和伪粥样族的功能产品，具有包封的甜菜根提取物
6. Virtual Reality Technologies for Research and Education in Obesity and Diabetes - Sponsored by the National Institutes of Health and Department of Defense: Turning Virtual Reality into Reality: A Checklist to Ensure Virtual Reality Studies of Eating Behavior and Physical Activity Parallel the Real World [O] . Aner Tal, Brian Wansink 2011

机译：用于肥胖症和糖尿病的研究和教育的虚拟现实技术-由美国国立卫生研究院和国防部赞助：将虚拟现实变为现实：确保与饮食世界平行的饮食行为和体育活动的虚拟现实研究的清单
7. 2nd International Symposium on Minimal Invasive Extracorporeal Technologies Athens, Greece, 9-11 June 2016001SAFETY IN THE EVOLVING MINIATURIZED EXTRACORPOREAL SYSTEM002THE CHALLENGE OF CLOSED CIRCUIT SYSTEM FOR ALL CARDIOPULMONARY BYPASS CASES003THE USE OF A MINIMAL INVASIVE EXTRACORPOREAL CIRCUIT FOR REWARMING PATIENTS FROM ACCIDENTAL HYPOTHERMIA: A PROSPECTIVE STUDY004WHAT ARE THE LIMITATIONS OF MINIATURIZED ADULT CARDIOPULMONARY BYPASS? OUR FINDINGS005AORTIC VALVE SURGERY AND CORONARY BYPASS SURGERY IN DIALYZED PATIENTS. MAY MINIMAL EXTRACORPOREAL CIRCULATION BE HELPFUL IN GETTING BETTER RESULTS?006IMPACT OF MINIMAL EXTRACORPOREAL CIRCULATION IN OCTOGENARIANS UNDERGOING CORONARY ARTERY BYPASS GRAFTING. HAVE WE BEEN LOOKING IN THE WRONG DIRECTION?007CORONARY ARTERY BYPASS GRAFTING ON BEATING HEART, ON CARDIOPULMONARY BYPASS OR ON MINIMAL EXTRACORPOREAL CIRCULATION008MINIMAL INVASIVE EXTRACORPOREAL CIRCULATION IMPROVES QUALITY OF LIFE AFTER CORONARY ARTERY BYPASS GRAFTING009MINIMAL INVASIVE DETERMINATIONS OF OXYGEN DELIVERY (DO2) AND CONSUMPTION (VO2) IN CARDIAC SURGERY010CONTINUOUS MONITORING OF PERFUSION INDEX AND PULSE OXIMETRY DURING WARM PULSATILE PERFUSION IN PAEDIATRICS011CEREBRAL MICROEMBOLIZATION IN PATIENTS UNDERGOING SURGICAL AORTIC VALVE REPLACEMENT ON MINIMAL INVASIVE OR CONVENTIONAL EXTRACORPOREAL CIRCULATION012ASSESSMENT OF AUTOMATED SOMATOSENSORY EVOKED POTENTIALS FOR DETECTION OF INTRAOPERATIVE POSITIONAL NEUROPRAXIA IN CARDIAC SURGERY013MINIMAL INVASIVE EXTRACORPOREAL CIRCULATION IN MINIMALLY INVASIVE AORTIC VALVE SURGERY014MINIMAL INVASIVE EXTRACORPOREAL CIRCULATION IN ENDOSCOPIC MITRAL VALVE SURGERY015AIR HANDLING CAPABILITY OF A CONVENTIONAL CARDIOPULMONARY BYPASS VERSUS MINIMIZED EXTRACORPOREAL CIRCUIT USING THE FUSION OXYGENATOR016DOES MINIMALLY INVASIVE EXTRACORPOREAL CIRCULATION AND CELL SALVAGE REDUCE INFLAMMATION AFTER CORONARY ARTERY BYPASS GRAFTING SURGERY? [O] . J. Bell, Y. Yamamoto, H. Jenni, 2016

机译：第二次国际侵入式体外技术研讨会雅典，201600年6月9日至11日演化的小型化体外系统1002封闭式电路系统挑战，所有心肺旁路案例案例零售型侵入性体外循环术中的闭塞体外循环从意外地体温过低的患者：一项潜在研究是小型化成人心肺旁路的局限性吗？我们的发现在透析患者中透露阀门手术和冠状动脉旁路手术。可能最小的体外循环有助于获得更好的结果？006 umpact在经历冠状动脉旁路接枝的术语中的最小体外循环。我们是否一直在寻找错误的方向？007Coronary动脉旁路接枝在跳动心脏上，对心肺旁路或最小的体外流量进行全文侵袭性体外循环术后冠状动脉旁路饲养后的含量造成血液递送（DO2）和消费（VO2）在心脏外科灌注指数和脉搏血管血管血管血管血管血管灌注中的灌注脉络膜微栓术期间，在进行手术主动脉瓣膜置换术中的患者中，进行最小侵入性或常规体外流通012Assement of自动躯体感应诱发潜力，用于检测心脏外科术中术中的术中神经寄生虫013minimal侵袭体外循环。侵入性主动脉瓣外科014周年内侵入体外循环在内镜二尖瓣外科015Air常规心肺旁路的处理能力与最小化的体外电路采用融合氧化含量016多侵袭体外循环和细胞销售减少冠状动脉旁路接枝手术后减少炎症吗？

M~2-computable real numbers

摘要

著录项

相似文献

相关主题

期刊订阅