众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不重视数值计算，与此相反，数值计算的目的则在于借助各种手段，采用插值，迭代，差分或概率估算等方法研究各类问题，它
自从C．J．Mulvey于1986年提出Quantale概念以来，Quantale理论受到了数学家和逻辑学家的关注．对它的研究涉及到非交换C-代数，环的理想理论，逻辑和计算机科学等诸多领域．Quantale自身具
摘要：深基坑工程的施工是一个循序渐进的过程，施工单位应按先设计、后施工的程序施工，并尽量做到边施工、边监测，还要遵循“分层开挖，先撑后挖，随挖随撑，对称均衡，限时限量”的原则，杜绝盲目施工和野蛮施工的现象，加强对整个深基坑施工过程的控制，保证工程顺利、安全地完成。本文探讨了高层建筑深基坑工程中施工技术及控制措施。 关键词：高层建筑深基坑施工技术控制措施 中图分类号：[TU208.3] 文献标识
随着Merton.R和Scholes.M凭借Black-Scholes期权定价模型获得了1997年的诺贝尔经济学奖，Black－Scholes期权定价理论引起了金融界的高度重视，被誉为“华尔街的第二次革命”．在Blac
摘要：城市建设与绿化发展有着十分密切的关系，一方面，城市的建设和扩张给人类环境带来了一些负面影响，为了使城市更加适合人类的居住，人们需要在建设城市的同时大力发展城市绿化；另一方面，绿化的发展给城市建设注入了新的活力，它不仅仅给城市增添了一道道风景线，使城市环境更加适合人类的居住，而且绿化本身在城市也开始成为一种新兴产业，也就是我们所说的绿化经济。 关键词：城市建设；绿化发展；作用 Abstra
摘要: 随着城市化进程的发展，基础设施建设步伐日益加快，建筑给排水工程在市政建设工程中所占的比重也越来越大。为了提高建筑给排水管道工程质量，首先要根据城市道路条件做好科学设计，本文根据实际情况，因地制宜、因时制宜, 经过充分的市场调查与经济技术比较, 做到既质量优良, 又经济合理、施工方便。 关键词: 建筑给排水；管道；结构设计 Abstract: With the development
本文主要研宄了整函数系数高阶线性微分方程解的增长性和一类二阶线性微分方程解与小函数之间的关系.全文分为四章. 第一章，简要介绍与本论文有关的一些背景知识和本论文研
算子代数理论产生于20世纪30年代，随着这一理论的迅速发展，它已成为现代数学中的一个热门分支，并与量子力学，非交换几何，线性系统和控制理论，甚至数论以及其他一些重要数学分支都有