The Problem of Using Logic in Structural Mechanics and Electrical Engineering as Viewed by the Russian Researcher Boris Biryukov.pdfVIP
- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
The Problem of Using Logic in Structural Mechanics and Electrical Engineering as Viewed by the Russian Researcher Boris Biryukov.pdf
Available online at
ScienceDirect
Procedia Engineering 165 (2016) 1162 – 1167
15th International scientific conference “Underground Urbanisation as a Prerequisite for Sustainable Development”
The problem of using logic in structural mechanics and electrical engineering as viewed by the Russian researcher Boris Biryukov
Igor Pryadko a, Alexander Ishkov a,*
Moscow State University of Civil Engineering, Yaroslavskoye sh. 26, Moscow, 129337, Russia
Abstract The authors consider innovative materials and structures developed by Boris Biryukov, a Russian researcher, within the framework of structural mechanics and civil engineering. The authors analyze the contribution made by Boris Vladimirovich Biryukov, an outstanding Russian logician, into the development of applied logic in Russia. In 1962 – 1991, Boris Biryukov headed the methodology department of the Cybernetics Research Council at the USSR Academy of Sciences. In some of his works, Biryukov interpreted the ideas initially expressed by N.M. Gersevanov, V.I. Shestakov, P. Erenfest and other logicians and mathematicians, who applied the methods, originally developed within the framework of exact and natural sciences, to technology-related problems of the national economy. The authors prove that Boris Biryukov and his colleagues were the first scholars who drew the attention of the research community to the logic-based research performed by N.M. Gersevanov, a prominent engineer and urban developer. In his works, Biryukov proved that this founder of the Russian school of soil mechanics was the first researcher who applied the instruments of mathematical logic to civil engineering problems. In the second part of the article, the authors demonstrate the way V.I. Shestakov developed several Gersevanov’s ideas. Finally, the authors offer a sample relay contact circuit applied to the identically true formula compiled according to the rules of the logic of sentential calculus. ?TheheAAutuhothrso.rPs.uPbluisbhleisdh
您可能关注的文档
- Spin current induced by a charged tip in a quantum point contact.pdf
- Sputter deposition of Sn-doped ZnOAgSn-doped ZnO transparent contact layer for GaN LED applications.pdf
- Stability of contact discontinuity for 1-D compressible viscous micropolar fluid model.pdf
- Stability study on a novel micro structure configuration of cathode contact layer for solid oxide fuel cell stack.pdf
- Stable glycopyrronium bromide solid contact ion selective potentiometric sensors using multi-walled carbon nanotubes, polyaniline nanoparticles and polyaniline microparticles as ion-to-electron transd.pdf
- Static analysis of XML security views and query rewriting.pdf
- Statistical models of nearly complete elastic rough surface contact-comparison with numerical solutions.pdf
- Statistics of planar graphs viewed from a vertex a study via labeled trees.pdf
- Steady-state droplet evaporation Contact angle influence on the evaporation efficiency.pdf
- Strain gradient plasticity analysis of elasto-plastic contact between rough surfaces.pdf
- [吉林]2023年吉林省直中小学“强师”招聘34人笔试历年高频考点(难、易错点)附带答案详解.docx
- [台州]浙江台州市黄岩区市场监督管理局招聘编外工作人员笔试历年高频考点(难、易错点)附带答案详解.docx
- [台州]浙江台州市建设工程质量检测中心招聘编制外用工4人笔试历年高频考点(难、易错点)附带答案详解.docx
- [台州]浙江台州椒江区大陈镇综合执法队招聘笔试历年高频考点(难、易错点)附带答案详解.docx
- [合肥]2023年安徽合肥市公安局第二批招聘警务辅助人员543人笔试历年高频考点(难、易错点)附带答案详解.docx
- [吉安]2023年江西吉安市大学生乡村医生专项招聘笔试历年高频考点(难、易错点)附带答案详解.docx
- [吉安]2024年江西吉安市中心人民医院招聘卫生专业技术人才73人笔试历年高频考点(难、易错点)附带答案详解.docx
- [合肥]2023年安徽医科大学管理岗和专业技术辅助岗招聘46人笔试历年高频考点(难、易错点)附带答案详解.docx
- [吉安]江西吉安市青原区人民医院人才引进笔试历年高频考点(难、易错点)附带答案详解.docx
- [台州]浙江台州温岭市交通运输局招聘编外人员笔试历年高频考点(难、易错点)附带答案详解.docx
文档评论(0)