当前位置:首页 > TAG信息列表 > 形式
形式
-
形式语义学的稳定论域理论
陈仪香著2003 年出版205 页ISBN:7030112644本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法,建立稳定论域的逻辑表示以及格表示等。
-
电子商务网络协议的形式化分析理论与应用
谢晓尧著2008 年出版146 页ISBN:7030200322本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括:电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
-
汉语智慧 新诗形式批评
姜耕玉著2005 年出版325 页ISBN:7810899058本书通过一些实践活动让小学生温故知新,倡导小学生自主学习,在自己动脑筋的基础上提高阅读写作能力,提高综合素养,提高数学思维和空间拓展能力,感悟生活、自主探究,增加社会实践。从而使小学生在快乐中学习,在学习...
-
词语与世界:社会学分析形式的探索
(英)迈克尔·马尔凯著2007 年出版342 页ISBN:7100050790本书主要研究探讨科学词语以及科学解释的问题。作为书中探讨的重点,作者较深入地探讨了科学中的重点和创新问题。