在工程和建筑中应用逻辑的问题：对问题的历史

DOI:

评审日期

出版日期

注解: 文章分析了二十世纪两位杰出科学家的逻辑结论：Nikolai Mikhailovich Gersevanov和Viktor Ivanovich Shestakov。 强调了这两位科学家的研究对科学方法论的发展和逻辑应用领域的深化的重要性。 据作者介绍，Gersevanov和Shestakov的研究成为我国数理逻辑形成的里程碑。 因此，这项工作的对象是两位杰出研究人员工作的某些方面，其主题是这些研究人员使用形式逻辑方法。 在研究中，作者采用了一般科学的推理，归纳，类比推理的方法。 由于这部作品致力于二十世纪俄罗斯逻辑的历史，它使用了比较历史的方法，以及对来源进行回顾性分析的方法。 拟议研究的新颖之处在于，作者首次分析了Gersevanov使用的逻辑数学字母表，将其与逻辑常数真值的现代解释进行了比较。 这项工作的新颖之处在于将格尔塞瓦诺夫关于证实液压结构稳定性的逻辑着作和谢斯塔科夫在将逻辑应用于合成和分析继电器触点电路方面的逻辑发展视为我国研究动态的两个相互关联的环节。 将Gersevanov的逻辑公式与i.I.Zhegalkin进行的陈述形式化的搜索进行了比较。
文章总结了使用Gersevanov和Shestakov发展的前景。

出版日期: