日韩精品 中文字幕 动漫,91亚洲午夜一区,在线不卡日本v一区v二区丶,久久九九国产精品自在现拍





		



注冊  |  登錄讀書好，好讀書，讀好書！






        
讀書網(wǎng)-DuShu.com

        
         
                
      	
                
                	
                    
                    
                

                
            
        

        

               

				
				
				
       
        




















	當(dāng)前位置： 首頁出版圖書人文社科哲學(xué)邏輯學(xué)（論理學(xué)）現(xiàn)代邏輯導(dǎo)引

	



    
    

    
現(xiàn)代邏輯導(dǎo)引

    

	
現(xiàn)代邏輯導(dǎo)引
	
	

	

	

	
定　價(jià)：￥29.80

	

			
					

						作　者：
						楊長福 編著
					

					

						出版社：
						重慶大學(xué)出版社
					

					

						叢編項(xiàng)：
						
					

					

						標(biāo)　簽：
						邏輯學(xué)
					

				
	
	

    
	
	

	

			
					

						ISBN：
						9787562460824
						出版時(shí)間：
						2011-05-01	
                        包裝：
						平裝					
					
					
					
					
						開本：
						16開
						頁數(shù)：
						240
						字?jǐn)?shù)：
						 
					
					
				

        

   

    
    
    
	
	
	
	
內(nèi)容簡介

	

	
　　邏輯是保證人類正確思維的根本。本書作者在自己學(xué)習(xí)和研究的基礎(chǔ)上比較系統(tǒng)地介紹了現(xiàn)代邏輯學(xué)的基本內(nèi)容。主要包括四個(gè)部分：第一部分簡略地介紹了傳統(tǒng)邏輯學(xué)的基本內(nèi)容，主要包括對邏輯學(xué)學(xué)科的基本介紹和命題邏輯的基本內(nèi)容；第二部分介紹了數(shù)理邏輯的基本內(nèi)容，主要包括命題演算、謂詞邏輯和謂詞演算；第三部分介紹了模態(tài)邏輯的基本內(nèi)容，主要包括對模態(tài)邏輯學(xué)的性質(zhì)、模態(tài)命題演算的基本內(nèi)容的介紹；第四部分是對現(xiàn)代邏輯的現(xiàn)代發(fā)展情況的一些簡略的介紹，主要包括時(shí)態(tài)邏輯、認(rèn)知邏輯、自然語言邏輯的基本內(nèi)容。本書既可供專門的邏輯學(xué)工作者閱讀和使用，也可供哲學(xué)、語言學(xué)、人工智能、計(jì)算機(jī)科學(xué)等方面的工作者閱讀和使用，還可供對現(xiàn)代邏輯學(xué)感興趣的讀者自學(xué)使用。
	
	
	
   
	
	
	
作者簡介

	

	
暫缺《現(xiàn)代邏輯導(dǎo)引》作者簡介
	
	
	
	
	
	
圖書目錄

	

	
緒論
  A．1　邏輯學(xué)的對象和性質(zhì)
  A．2　邏輯思維的基本規(guī)律
  A．3　邏輯思想與學(xué)習(xí)邏輯的方法
1　命題邏輯
  1．1　詞項(xiàng)與命題
  1．2　簡單命題及其推理
  1．3　復(fù)合命題及其推理
  練習(xí)題
2　命題演算
　2．1　命題演算概述
　2．2　命題演算系統(tǒng)LP
　2．3　命題演算系統(tǒng)LP的可靠性和完全性
　練習(xí)題
3　謂詞邏輯
　3．1　謂詞和量詞
　3．2　形式語言
　3．3　命題的量化形式結(jié)構(gòu)
　3．4　謂詞邏輯推理的規(guī)則
　練習(xí)題
4　謂詞演算 
  4．1　謂詞演算
  4．2　演繹定理
  4．3　謂詞演算的可靠性與完全性
　練習(xí)題
5　模態(tài)邏輯
　5．1　模態(tài)邏輯概述
　5．2　可能世界語義學(xué)
　5．3　框架、模型和有效性
　練習(xí)題
6　模態(tài)命題演算
  6．1　形式語言LPM
  6．2　K，D和T系統(tǒng)
  6．3  S4，S5和B系統(tǒng)
  6．4　模態(tài)系統(tǒng)的可靠性與完全性
  練習(xí)題
7　現(xiàn)代邏輯的現(xiàn)代發(fā)展
  7．1  時(shí)態(tài)邏輯
  7．2　認(rèn)知邏輯
  7．3  自然語言邏輯
參考文獻(xiàn)
后記
	
	

	

    
       
    
	
	

   

   

   

    
   

   
本目錄推薦







掃描二維碼










    

        

            
        

        
Copyright ? 讀書網(wǎng) rgspecialties.com 2005-2020, All Rights Reserved.

        
鄂ICP備15019699號  鄂公網(wǎng)安備 42010302001612號