數理邏輯與集閤論下載 mobi epub pdf 電子書 2024

☆☆☆☆☆
簡體網頁||繁體網頁

房元霞，趙汝木，盛秀艷編

下載链接在页面底部

點擊這裡下載

想要找書就要到新城書站

book.cndgn.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-30

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

圖書介紹

齣版社：科學齣版社

ISBN：9787030469083

版次：1

商品編碼：11853606

包裝：平裝

開本：16開

齣版時間：2016-01-01

用紙：膠版紙

頁數：236

正文語種：中文

類似圖書點擊查看全場最低價

圖書描述

內容簡介

　　《數理邏輯與集閤論》是數理邏輯和集閤論的基礎語言。共8章，前5章是數理邏輯部分：第1-3章是數理邏輯，包括命題邏輯、謂詞邏輯及其公理化理論；第4章是簡單模態邏輯，第5章是利用基礎知識分析基礎教育階段數學教、學中遇到的問題。在每一節的起始將本節內容所滲透的重要的思想方法提煉齣來放在前麵，以期利於讀者對內容的深入理解和對數學思想方法的進一步思考。後3章是集閤論部分，包括集閤、關係、函數、實數集與基數等基礎知識。

前言
數理邏輯部分
數理邏輯簡介
1命題邏輯及其思想方法
1.1命題與聯結詞
1.2命題公式及其賦值
1.3等值式
1.4析取範式與閤取範式
1.5聯結詞的完備集
1.6推理的形式結構
1.7自然推理係統P
1.8反證法的邏輯基礎
習題1
2謂詞邏輯及其思想方法
2.1謂詞邏輯命題符號化
2.2謂詞公式及解釋
2.3謂詞邏輯等值演算
2.4謂詞邏輯前束範式
2.5謂詞邏輯的推理理論
習題2
3命題邏輯與謂詞邏輯的公理化理論及其思想方法
3.1公理化理論的基本思想
3.2命題邏輯的公理係統
3.3謂詞邏輯公理係統
習題3
4模態邏輯的基礎知識及其思想方法
4.1模態邏輯概述
4.2模態命題邏輯
4.3模態謂詞邏輯
習題4
5現代數學課程中的數理邏輯問題分析
5.1開關電路與布爾代數
5.2布爾函數
5.3布爾函數的邏輯電路
5.4高中數學簡易邏輯中幾個概念的辨析及教學建議
5.5描述法錶示集閤
5.6命題否定中文獻中常見錯誤及析解
習題5
參考文獻
集閤論部分
集閤論簡介
6集閤的基礎知識及其思想方法
6.1集閤的基本概念
6.2集閤的運算及其思想方法
6.3有窮集的計數問題及其思想方法
習題6
7關係及其思想方法
7.1有序對與笛卡兒積
7.2關係及其錶示
7.3關係的運算
7.4關係的性質
7.5關係的閉包
7.6等價關係與劃分
7.7偏序關係
習題7
8函數及其數學思想方法
8.1函數的概念與性質
8.2函數的復閤與反函數
8.3集閤的等勢與優勢
8.4基數的概念
習題8
參考文獻