圖書標籤: 邏輯學 數理邏輯 邏輯 邏輯與語言 缺書 模態邏輯 數學 Cognitive_Science
发表于2024-12-23
現代邏輯學講義(兩冊) pdf epub mobi txt 電子書 下載 2024
《現代邏輯學講義:數理邏輯+模態邏輯(套裝共2冊)》包括:《模態邏輯(現代邏輯學講義)》、《數理邏輯(現代邏輯學講義)》2本。
《模態邏輯》:模態邏輯是研究可以用模態語言錶述的推理形式的有效性的學問。它是哲學邏輯的基礎,作為一門課程,它是邏輯學專業的基礎課之一。本講義介紹瞭句子層次上(命題型的)模態邏輯最基本的內容。
本講義內容多,知識麵廣,定理定義錶達嚴謹,例題習題豐富,可作為高等學校邏輯學專業本科生、研究生教材使用。
《數理邏輯》:數理邏輯是研究可以用數學語言錶述的推理形式的有效性的學問。它是全部邏輯的基礎,作為一門課程,它是邏輯學專業最重要的基礎課。
數理邏輯分兩大部分:句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內容和量化邏輯的基礎——一階邏輯的基本內容。
本講義內容豐富,知識麵廣,錶達嚴謹,習題例題豐富,可作為高等學校邏輯學專業本科生、研究生教材使用。
可以一用
評分可以一用
評分可以一用
評分可以一用
評分可以一用
評分
評分
評分
評分
現代邏輯學講義(兩冊) pdf epub mobi txt 電子書 下載 2024