刑侦半自动化丛书的适用范围：科学院软件研究所、计算机研究所及情报研究所，公安局、检察院、法院等司法机关，高校法律系、计算机系，自动化及不同语种机器翻译研究单位，国家安全部门等。<br>    本书论述了求解推理式必然真结论惟一的理论工具和可靠便捷的检验方法，据此设计了侦破大案要案的智能逻辑程序模式，为设计智能软件提供了惟一的理论根据，也以智能化破案的逻辑程序模式为刑侦人员指出高质量、高速度破案的科学途径和手段。

第一章  选择理论工具、检验方法<br>1．1  T系统的语义解释<br>1．2  S4系统语义解释<br>1．3  S5系统语义解释<br>1．4  QT系统语义解释<br>1．5  QS4系统的语义解<br>第二章  用选定的理论工具、检验工具在案例中用<br>“语义后承”、“常真”观念设计求解必然<br>真结论的智能逻辑程序模式<br>2．1  对杀人案例求解刑侦推理的必然真结论，并检验<br>2．1．1  完尸案例<br>2．1．2  碎尸案例<br>2．1．3  白骨案例<br>2．2  对爆炸案例求解刑侦推理的必然真结论，并检验<br>2．3  对盗窃杀人案例求解刑侦推理的必然真结论，并检验<br>2．4  对抢劫行凶案例求解刑侦推理的必然真结论，并检验<br>2．5  对敲诈案例求解刑侦推理的必然真结论，并检验<br>2．6  对索贿受贿案例求解刑侦推理的必然真结论，并检验<br>2．7  对诬陷案例求解刑侦推理的必然真结论，并检验<br>第三章  为便于读者应用，展示T定理常真的检验过程