智能程序助理侦破

智能程序助理侦破
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2005-04
版次: 1
ISBN: 9787801905185
定价: 25.00
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 376页
字数: 264千字
分类: 法律
9人买过
  • 刑侦半自动化丛书的适用范围:科学院软件研究所、计算机研究所及情报研究所,公安局、检察院、法院等司法机关,高校法律系、计算机系,自动化及不同语种机器翻译研究单位,国家安全部门等。
    本书论述了求解推理式必然真结论惟一的理论工具和可靠便捷的检验方法,据此设计了侦破大案要案的智能逻辑程序模式,为设计智能软件提供了惟一的理论根据,也以智能化破案的逻辑程序模式为刑侦人员指出高质量、高速度破案的科学途径和手段。 第一章选择理论工具、检验方法
    1.1T系统的语义解释
    1.2S4系统语义解释
    1.3S5系统语义解释
    1.4QT系统语义解释
    1.5QS4系统的语义解
    第二章用选定的理论工具、检验工具在案例中用
    “语义后承”、“常真”观念设计求解必然
    真结论的智能逻辑程序模式
    2.1对杀人案例求解刑侦推理的必然真结论,并检验
    2.1.1完尸案例
    2.1.2碎尸案例
    2.1.3白骨案例
    2.2对爆炸案例求解刑侦推理的必然真结论,并检验
    2.3对盗窃杀人案例求解刑侦推理的必然真结论,并检验
    2.4对抢劫行凶案例求解刑侦推理的必然真结论,并检验
    2.5对敲诈案例求解刑侦推理的必然真结论,并检验
    2.6对索贿受贿案例求解刑侦推理的必然真结论,并检验
    2.7对诬陷案例求解刑侦推理的必然真结论,并检验
    第三章为便于读者应用,展示T定理常真的检验过程
  • 内容简介:
    刑侦半自动化丛书的适用范围:科学院软件研究所、计算机研究所及情报研究所,公安局、检察院、法院等司法机关,高校法律系、计算机系,自动化及不同语种机器翻译研究单位,国家安全部门等。
    本书论述了求解推理式必然真结论惟一的理论工具和可靠便捷的检验方法,据此设计了侦破大案要案的智能逻辑程序模式,为设计智能软件提供了惟一的理论根据,也以智能化破案的逻辑程序模式为刑侦人员指出高质量、高速度破案的科学途径和手段。
  • 目录:
    第一章选择理论工具、检验方法
    1.1T系统的语义解释
    1.2S4系统语义解释
    1.3S5系统语义解释
    1.4QT系统语义解释
    1.5QS4系统的语义解
    第二章用选定的理论工具、检验工具在案例中用
    “语义后承”、“常真”观念设计求解必然
    真结论的智能逻辑程序模式
    2.1对杀人案例求解刑侦推理的必然真结论,并检验
    2.1.1完尸案例
    2.1.2碎尸案例
    2.1.3白骨案例
    2.2对爆炸案例求解刑侦推理的必然真结论,并检验
    2.3对盗窃杀人案例求解刑侦推理的必然真结论,并检验
    2.4对抢劫行凶案例求解刑侦推理的必然真结论,并检验
    2.5对敲诈案例求解刑侦推理的必然真结论,并检验
    2.6对索贿受贿案例求解刑侦推理的必然真结论,并检验
    2.7对诬陷案例求解刑侦推理的必然真结论,并检验
    第三章为便于读者应用,展示T定理常真的检验过程
查看详情
相关图书 / 更多
智能程序助理侦破
智能制造背景下供应商管理研究
石莉
智能程序助理侦破
智能系统中的情感识别建模与关键技术
魏薇 张立立 蔡庆中 李晶 崔宁 谭洪鑫
智能程序助理侦破
智能传播:技术与行业篇
李本乾,李晓静、陈梦
智能程序助理侦破
智能智造:数智化时代的转型升级之路
王春源等
智能程序助理侦破
智能汽车电子与软件:开发方法、系统集成、流程体系与项目管理 杨修文
杨修文
智能程序助理侦破
智能建造导论 刘占省
刘占省
智能程序助理侦破
智能集成算法及其优化技术在电气检监测中的应用
屈志坚、马帅军、徐娟、刘汉欣、刘畅、池瑞、刘莉
智能程序助理侦破
智能会计人才培养体系构建(智能财会丛书)
张敏 吴亭 史春玲 贾丽 叶婷婷
智能程序助理侦破
智能建造理论与实践 杨琳 吴贤国 编著
杨琳 吴贤国 编著
智能程序助理侦破
智能建造工程技术应用案例
赵研,徐哲民 编
智能程序助理侦破
智能建造与新型建筑工业化
主编:马恩成,夏绪勇
智能程序助理侦破
智能物流系统物联网应用及案例
刘同娟、马向国、胡安琪 著
您可能感兴趣 / 更多