數(shù)理邏輯概貌

內(nèi)容概要

數(shù)理邏輯是采用數(shù)學(xué)方法來研究推理的一門科學(xué),本書通俗地介紹數(shù)理邏輯的基本內(nèi)容、主要結(jié)構(gòu)、最新的發(fā)展,以及研究工作的前沿課題。

作者簡介

莫紹揆（1917－ 2011），教授。廣西桂平人。1939年畢業(yè)于中央大學(xué)教學(xué)系。曾在中央大學(xué)、中山大學(xué)任教。1947年起，先后在瑞士蘇黎世高級工業(yè)大學(xué)和法國巴黎大學(xué)等校學(xué)習(xí)。建國后，歷任南京大學(xué)副教授、教授，中國邏輯學(xué)會副理事長。從事數(shù)理邏輯研究。在邏輯演算、多值邏加、悖論、遞歸論、集合論等方面有所建樹，提出若干新的見解。編著有《數(shù)理邏輯導(dǎo)論》、《遞歸數(shù)論》、《遞歸論》、《算法論》。

書籍目錄

一、邏輯演算
二、集合論
三、遞歸論
四、證明論
五、模型論

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    數(shù)理邏輯概貌 PDF格式下載

---