半符號邏輯

...作者介紹張靄珠，復旦大學國際關係與公共事務學院教授，上海市檢察官培訓中心客座教授。 1962年畢業於復旦大學數學系．曾從事計算機總體設計、系統工程總體設計、自動跟蹤系統數模設計；時態邏輯研究、高等教育管理研究及教學等工作。 曾任某工程總體設計組組長、復旦大學計算機科學系副系主任、法學院副院長和復旦大學副教務長等職務。

內容介紹

該書是作者在多年教學、科研的基礎上探索構建的一種新的邏輯推理體系――半符號化推理演繹體系．該體系集形式邏輯（傳統邏輯）和數理邏輯（符號邏輯）二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，藉助數理邏輯的符號演算體系進行邏輯推理。這是教學科研中的創新。全書共分7章，20餘萬字。可作為高校相關專業的教材，也可作為MPA、MBA等考前參考書以及自學用書。...

作者介紹

張靄珠，復旦大學國際關係與公共事務學院教授，上海市檢察官培訓中心客座教授。1962年畢業於復旦大學數學系．曾從事計算機總體設計、系統工程總體設計、自動跟蹤系統數模設計；時態邏輯研究、高等教育管理研究及教學等工作。主編或參與撰寫《定量分析方法》、《離散數學》、《獅城舌戰》、《謀略之戰》等教材和專著。曾任某工程總體設計組組長、復旦大學計算機科學系副系主任、法學院副院長和復旦大學副教務長等職務。