半符號邏輯 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

半符號邏輯 pdf epub mobi 著者簡介

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

---

半符號邏輯 pdf epub mobi 圖書描述

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

半符號邏輯 2024 pdf epub mobi 電子書 下載

---

半符號邏輯 pdf epub mobi 圖書目錄

第一章邏輯及其基本規律
1.1傳統邏輯、符閤邏輯和半符號邏輯
1.2邏輯學與思維的形式結構
1.3邏輯的基本規律
第二章半符號命題演算基礎
2.1命題與連接詞
2.2自然語言半符號化
2.3命題形式
2.4論證形式和演繹推理
第三章半符號命題演算
3.1常見命題演算實例
3.2邏輯結掏分析解題法
3.3關係錶解題法
3.4其他演繹方法
第四章半符號謂詞演算
4.1概念
4.2直言命題及其半符號化
4.3關係命題及其半符號化
4.4謂詞形式
4.5有效式
4.6有效式、永真式、對當關係
4.7半符閤謂詞演算
第五章半符號化謂詞演算的應用
5.1關係謂詞
5.2謂詞邏輯演繹推理
5.3半符號謂詞與三段論的變形推理
第六章半符號邏輯的某些理論問題
6.1半符號命題邏輯係統Ls
6.2半符號謂詞邏輯係統Ks
第七章一例一議
7.1蘊涵怪論--羅素就是教皇
7.2悖論--誰給理發師颳鬍子
7.3詭辯--人有角和榖堆
7.4兩難推理--上帝是萬能的嗎
7.5模態邏輯與規範邏輯--塞翁失馬焉知非福
7.6時態邏輯與動態邏輯--阿凡提賣樹蔭
7.7模糊邏輯和多值邏輯--禿子理論
7.8博弈邏輯--田忌賽馬
附錄邏輯趣味題和邏輯難題
參考書目
· · · · · · (收起)

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-12-22

半符號邏輯 2024 pdf epub mobi 電子書 下載

半符號邏輯 2024 pdf epub mobi 電子書 下載

半符號邏輯 2024 pdf epub mobi 電子書 下載

---

喜欢 半符號邏輯 電子書 的读者还喜欢

半符號邏輯 pdf epub mobi 讀後感

圖書標籤: 邏輯學  半符號邏輯  張靄珠  復旦   

半符號邏輯 pdf epub mobi 用戶評價

半符號邏輯 2024 pdf epub mobi 電子書 下載

• 
  經典邏輯與非經典邏輯基礎 2024 pdf epub mobi 電子書 下載
• 
  Mathematical Logic 2024 pdf epub mobi 電子書 下載
• 
  當代中國邏輯學研究 2024 pdf epub mobi 電子書 下載
• 
  邏輯的遊戲 2024 pdf epub mobi 電子書 下載
• 
  Introduction to Logic and to the Methodology of the Deductive Sciences 2024 pdf epub mobi 電子書 下載
• 
  小邏輯 2024 pdf epub mobi 電子書 下載
• 
  Godel's Incompleteness Theorems 2024 pdf epub mobi 電子書 下載
• 
  With Good Reason 2024 pdf epub mobi 電子書 下載
• 
  黑格爾《邏輯學》解說 2024 pdf epub mobi 電子書 下載
• 
  蒯因 2024 pdf epub mobi 電子書 下載
• 
  墨辯發微 2024 pdf epub mobi 電子書 下載
• 
  《邏輯學》教學用書 2024 pdf epub mobi 電子書 下載
• 
  法律邏輯學導論 2024 pdf epub mobi 電子書 下載
• 
  邏輯哲學論 2024 pdf epub mobi 電子書 下載
• 
  形式邏輯原理 2024 pdf epub mobi 電子書 下載
• 
  亞裏士多德：工具論上 2024 pdf epub mobi 電子書 下載
• 
  批判性思維教程-邏輯推理與論證 2024 pdf epub mobi 電子書 下載
• 
  Basic Proof Theory 2024 pdf epub mobi 電子書 下載
• 
  中世紀邏輯、語言與意義理論 2024 pdf epub mobi 電子書 下載
• 
  邏輯學導論 2024 pdf epub mobi 電子書 下載