本書介紹數(shù)理邏輯的基礎知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學習，學生將掌握相關的基本概念、基本理論、基本推理，以及公理系統(tǒng)和形式化方法。數(shù)理邏輯是以公理系統(tǒng)和數(shù)學證明為研究對象的數(shù)學分支，對信息科學與技術的發(fā)展具有指導作用。本課程為計算機科學的基礎，對培養(yǎng)學生的素養(yǎng)以及提高解決問題的能力有重要的意義

微積分幾何講義

《數(shù)學方法論》共七章，在介紹數(shù)學方法論的研究意義、研究對象的基礎上，闡述數(shù)學建模、數(shù)學抽象、推理等基本數(shù)學思想，在此基礎上，闡述數(shù)學化歸思想、類比、歸納、猜想等數(shù)學發(fā)現(xiàn)的基本方法及其在數(shù)學解題中的應用．同時，《數(shù)學方法論》闡述數(shù)學美學和數(shù)學方法論在數(shù)學教育的價值及其教學策略．

本書用現(xiàn)代數(shù)學觀點闡述常微分方程論中的一些基本問題，全書共五章：基本概念，基本理論，線性系統(tǒng)，基本定理的證明和流形上的微分方程。

本書以高等數(shù)學及線性代數(shù)、微分方程和概率統(tǒng)計中主要概念、命題為內(nèi)容，通過簡單的演示，鞏固相應知識，然后簡介相關算法及程序語言，給出設計方案或相應程序，對這些內(nèi)容進行探討，以引導學生主動探求為主，目的是通過這些內(nèi)容的實驗，不僅是學生對所選內(nèi)容加深理解，更主要的是使學生學會利用數(shù)學軟件探究數(shù)學問題，是學生由學數(shù)學到做數(shù)學，

本書主要介紹國內(nèi)外環(huán)與代數(shù)研究的*成就和發(fā)展方向，在*版的基礎上修訂再版，除刪除了一些成舊內(nèi)容外，增添關于分次環(huán)，路代數(shù)，箭圖表示，有限表示型箭圖4章，力圖向讀者介紹分次環(huán)，箭圖及其表示*基本的知識，使之能夠了解和進入環(huán)與代數(shù)當前研究的一些非常具有活力的領域。在新增部分，我們將介紹分次環(huán)，分次摸，分次Artin環(huán)，Sm

本書在*版的基礎上進行修訂再版，全書共9章，內(nèi)容可分為Boole代數(shù)理論，命題演算與謂詞演算理論，歸結原理理論，多值邏輯的*理論等4部分。同時，在*版的基礎上對“計量邏輯學”，關于一階系統(tǒng)K完備性的證明等諸多內(nèi)容做了補充或改寫。 本書可供計算機專業(yè)、應用數(shù)學專業(yè)、人工智能專業(yè)的研究生與高年級本科生及教師閱讀。

本書共分兩個部分：拓撲學中的手性和數(shù)學走進生物大分子序列。 *部分是一次演講的綱要。手性就是左右不對稱性，是自然界的常見現(xiàn)象，在化學中日益重要。本文介紹了作者和王詩宬教授合作的一個科研課題的來龍去脈。從材料化學家1982年的實驗和問題、拓撲學家1986年的回答，提出我們自己的新概念與新問題。解釋了所涉及的數(shù)學概念，以

本書介紹了從歐幾里得、費馬、歐拉、高斯以來2000多年中素數(shù)研究的重要成果、問題、思想和方法，包括素數(shù)有多少、如何識別素數(shù)、是否有定義素數(shù)的函數(shù)等一系列具有重要理論意義和應用背景的問題，并介紹了相關問題至2003年的*記錄

《高等數(shù)學線性代數(shù)（第2版）/高等職業(yè)教育“十三五”規(guī)劃教材》共分兩篇：第1篇為高等數(shù)學，主要包括函數(shù)、極限與連續(xù)、導數(shù)與微分、微分中值定理與導數(shù)的應用、不定積分、定積分及其應用、利用數(shù)學軟件求解問題等內(nèi)容；第2篇為線性代數(shù)，主要包括行列式、矩陣、線性方程組等內(nèi)容�！陡叩葦�(shù)學線性代數(shù)（第2版)/高等職業(yè)教育“十三五”規(guī)