咨询与决策 南宁市2011-2012年度哲学社会科学重点课题研究成果选
南宁市社会科学院编著2013 年出版415 页ISBN:9787555101031
本书是针对南宁市委、市政府2011~2012年关注的重大问题和社会热点问题,围绕南宁市城市生活垃圾分类处理问题、南宁市深化中国东盟农业合作的对策研究、南宁市统筹城乡发展中建设用地、南宁新兴产业园建设投融...
(美)THOMAS A.SUDKAMP著2008 年出版392 页ISBN:9787111226345
本书介绍了形式语言、自动机、可计算性、计算复杂性等内容。
鲁德(Rood,H.J.)著;怡始译1989 年出版362 页ISBN:7302001588
本书著者原题无汉译名:本书介绍了计算机数据处理与程序设计中逻辑分析及设计的常用方法。
周祯祥著2014 年出版203 页ISBN:9787218086965
这几个在逻辑史上享有盛名的逻辑学家,在设计有关模态逻辑的讨论中都各有建树,而且,竟然都被称作是实用主义者。这是不是意味着,实用主义哲学,尤其是古典意义上的实用主义哲学和模态逻辑的建构有某种关联呢?正式.....
李馥娟编著2007 年出版287 页ISBN:9787302153511
本书针对计算机网络编写的实验教程。
高志敏,杨柳,戴劲著2014 年出版115 页ISBN:9787562265665
本书首先从逻辑思考角度论述了个体风险决策及从建立数学模型角度对其进行优化,其次从逻辑思考角度对个体风险决策所涉及的归纳合理性问题进行分析和探讨,再次,详细论述了公共政策下的决策类型及其思维方式,最后...
咨询与决策 南宁市2017年度哲学社会科学重点课题研究成果选
南宁市社会科学院编著2018 年出版291 页ISBN:9787219108123
书稿收录了部分南宁市2017年度哲学社会科学重点课题研究成果,涉及南宁市公办幼儿园建设和管理问题研究、公共体育服务供给问题研究、国有企业供给侧改革发展路径研究、创建食品安全城市研究、房地产市场平稳...