數(shù)理邏輯

1、離散數(shù)學(xué),計(jì)算機(jī)系陳翌佳,聯(lián)系方式,陳翌佳：yijia.chen@cs.sjtu.edu.cnbasics.sjtu.edu.cn/~chen,教材和輔導(dǎo)書(shū),,1、教材： 數(shù)理邏輯與集合論（第二版）：石純一，等 圖論與代數(shù)結(jié)構(gòu)：戴一奇，等，清華大學(xué)出版社。2、輔導(dǎo)書(shū)（數(shù)理邏輯部分）： 集論與邏輯：沈恩紹，科學(xué)出版社。 A Mathematical Introduction to Logic, H.Endert

2、on, Academic Press Logic for Applications, A. Nerode, Springer Mathematical Logic, H.-D.Ebbinghaus and J. Flum, Springer,課程說(shuō)明,講授內(nèi)容：數(shù)理邏輯集合論圖論,數(shù)理邏輯與計(jì)算機(jī)科學(xué),1946年，德國(guó)數(shù)學(xué)家Von Neumann提出計(jì)算機(jī)模型計(jì)算機(jī)模型根植于數(shù)理邏輯、圖林機(jī)與布爾代數(shù)。圖靈機(jī)：數(shù)字電子

3、計(jì)算機(jī)的抽象雛形布爾代數(shù)：設(shè)計(jì)數(shù)字電子計(jì)算機(jī)的數(shù)學(xué)工具,數(shù)理邏輯與計(jì)算機(jī)科學(xué),計(jì)算機(jī)科學(xué)的核心算法程序設(shè)計(jì)語(yǔ)言程序設(shè)計(jì)方法學(xué)計(jì)算復(fù)雜性理論均涉及到數(shù)理邏輯的知識(shí)和理論,什么是數(shù)理邏輯？,邏輯：是對(duì)人類推理過(guò)程的研究。數(shù)理邏輯：是用數(shù)學(xué)的方法對(duì)人類推理過(guò)程作研究。數(shù)學(xué)研究方法：使用符號(hào),數(shù)理邏輯史,數(shù)理邏輯前史時(shí)期—古典形式邏輯時(shí)期數(shù)理邏輯初創(chuàng)時(shí)期—邏輯代數(shù)時(shí)期數(shù)理邏輯奠基時(shí)期數(shù)理邏輯發(fā)展初期數(shù)理邏輯現(xiàn)代發(fā)展時(shí)期

4、,古典形式邏輯時(shí)期,亞里士多德 三段論斯多阿學(xué)派的命題邏輯中世紀(jì)的形式邏輯,邏輯代數(shù)時(shí)期,數(shù)理邏輯產(chǎn)生的時(shí)代背景笛卡爾霍布斯數(shù)理邏輯創(chuàng)始人—萊布尼茲(Leibniz,1646-1716)萊布尼茲的數(shù)理邏輯思想理性演算普遍語(yǔ)言邏輯代數(shù)—布爾,數(shù)理邏輯奠基時(shí)期,邏輯演算的建立和發(fā)展——Frege（1848-1925）Peano的符號(hào)體系羅素（B.Russell, 1872-1970）的邏輯演算和羅素悖論邏輯主義學(xué)派（