Using coalgebras and the Giry monad for interpreting game logics — a tutorial

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:jingkaiqq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
本文以个体意识到主体意识的转变为视角来探讨近代政治哲学核心理念的形成与演变,对近代政治哲学核心理念形成的现实基础和哲学基础予以思考和分析,并进一步揭示出近代主体哲学
90年代后半期,中国知识界一大批学者重提自由主义话题,欲通过对自由主义的反思、研究、倡导,在中国现代化的话语中重新审视自由思想的精神和价值,进一步反思我们的民族和国家在自
本文认为,间接沟通是克尔凯郭尔全部生活、思想、思维方式和表达方式的一个最显著的特征或风格,他的几乎全部的作品和思想本质上都是与“基督教界”深陷幻象中的人们的一种间接
计算机技术与通讯技术的迅猛发展,使得整个社会的信息化程度和社会信息的网络化程度不断提高,计算机网络已成为人类的“第二生存环境”。任何事物都有两面性,虚拟社会也一样,它往
任何一种宗教都是植根于现实生活,满足人们的现实需要而存在的,古代犹太教(包括“圣经犹太教”和“塔木德”时期的“拉比犹太教”)和禅宗(主要指“南宗禅”)便是两个注重现实生
广告艺术与社会群众间经由信息而联系,并且构成了复杂多元化的网络。这个网络渐渐地与日常生活的轨迹重迭,甚至一步步地主导了生活的行为与态度。广告艺术对于社会大众的影响绝