中文字幕人妻无码一夲道,免费a级毛片18禁小说,亚洲视频无码乱码

內(nèi)容簡介

　　《大學邏輯導論》設置了上、下兩篇。上篇為傳統(tǒng)邏輯；下篇為現(xiàn)代邏輯。傳統(tǒng)邏輯是指導由亞里士多德創(chuàng)立的、一直延續(xù)到19世紀現(xiàn)代邏輯出現(xiàn)前的形式邏輯。現(xiàn)代邏輯是指19世紀中以后發(fā)展起來的現(xiàn)代形式邏輯。傳統(tǒng)邏輯與現(xiàn)代邏輯有聯(lián)系，這不僅指后者是前者的發(fā)展，也指兩者對象與內(nèi)容的相關(guān)。傳統(tǒng)邏輯又與現(xiàn)代邏輯有別。它們的重要區(qū)別是；傳統(tǒng)邏輯主要運用自然語言，也有一些公理方法的因素；現(xiàn)代邏輯使用的則是符號語言，運用了形式化的公理方法和某些數(shù)學方，前者由于運用自然語言，有某些缺陷，但同日常的經(jīng)驗思維有一定的親和力；后者由于使用符號語言和數(shù)學方法，所以較這前者更為精確，研究的內(nèi)容也更為寬泛和深刻，在現(xiàn)代科技、特別是計算機科學中的有所應用。可以說，在不同歷史和文化背景下產(chǎn)生的傳統(tǒng)邏輯與現(xiàn)代邏輯，既有區(qū)別的一面，也有相聯(lián)與互補的一面?！洞髮W邏輯導論》設置的內(nèi)容，符合邏輯科學自身發(fā)展的實際進程和規(guī)律，可以幫助學生全面、深入地掌握邏輯學的基本知識，有利于培養(yǎng)學生的邏輯思維能力。

作者簡介

　　作者DeanLeffingwell是RationalSoftware公司副總裁、Rational大學常務理事，負責方法學研究和客戶培訓。DonWidrig是技術(shù)型作家和顧問。

圖書目錄

序
前言
上篇
第一章緒論
第一節(jié) 什么是邏輯學
第二節(jié) 邏輯不的性質(zhì)和作用
第三節(jié) 邏輯簡史
習題
第二章概念
第一節(jié) 概念的概述
第二節(jié) 概念的種類
第三節(jié) 概念間的關(guān)系
第四節(jié) 概念的限制與概括
第五節(jié) 定義
第六節(jié) 劃分
習題
第三章簡單命題及及其推理（上）
第一節(jié) 命題與推理概述
第二節(jié) 性質(zhì)命題
第三節(jié) 性質(zhì)命題
習題
第四章簡單命題及其推理（中）
第一節(jié) 三段論概述
第二節(jié) 三段論的規(guī)則
第三節(jié) 三段論的格與式
第四節(jié) 三段論的省略式與復合三段論
習題
第五章簡單命題及其推理（下）
第一節(jié) 什么是關(guān)系命題
第二節(jié) 關(guān)系的邏輯性質(zhì)
第三節(jié) 關(guān)系命題推理
習題
第六章復合命題及其推理（上）
第一節(jié) 聯(lián)言命題
第二節(jié) 選言命題
第三節(jié) 假言命題
第四節(jié) 負命題
習題
第七章復合命題及其推理（下）
第一節(jié) 聯(lián)言推理
第二節(jié) 選言推理
第三節(jié) 信言推理
第四節(jié) 負命題推理
第五節(jié) 二難推理
習題
第八章模態(tài)命題及其推理
……
下篇
主要參考書目
【媒體評論】