邏輯推理理論范文精選

摘要：離散數學是計算機科學與技術專業的一門重要的專業基礎課，它在計算機科學及相關領域中有著廣泛的應用背景．因此，如何提高離散數學課程的教學水平和質量，對學生后續課程的學習和今后的科學研究均具有現實意義．

關鍵詞：離散數學；教學改革；教學方法

0引言

《離散數學》是計算機科學中重要的基礎理論課程之一，它不僅是許多計算機專業課的必備基礎，而且對培養學生抽象思維能力和邏輯推理能力有著重要的作用．但這門課程具有概念多、理論性強、高度抽象等特點，這無疑給教師的教學和學生的學習帶來一定的難度．因此，如何提高離散數學課程的教學水平，對于計算機相關專業學生后續課程的學習以及提高學生的抽象思維和邏輯推理能力都具有現實的意義．本文結合作者近年來從事離散數學課程教學的實際，從教學內容、教學方法、教學手段等方面進行了一些初步探討．

1提高學生對《離散數學》的認識，調動學習積極性

學生在學習離散數學時，往往看不到它在計算機科學中的具體應用，認為該課程對計算機科學的作用不大，因而不重視離散數學的學習，學習興趣不高，學習效果不甚理想“興趣是最好的老師”，因此，在上第一堂課時，教師就應該給學生介紹離散數學的重要性，提高學生的學習興趣事實上，計算機學科的發展近年來與離散數學的主要內容如數理邏輯、抽象代數和圖論等有非常緊密的聯系隨著計算機科學的快速發展，進行該學科相關的研究與開發的起點在不斷提高，無論學生今后從事理論研究，還是應用開發或者是技術管理工作，都應該具有堅實的理論基礎，才能適應學科迅速發展和知識更新的需要．當今計算機科學界的權威人士很多都是研究離散數學出身的．美國的軟件之所以能領先，其關鍵就在于在數學基礎上他們有很強的實力，有很多杰出的人才，而我國的信息技術的數學基礎十分薄弱，這個問題不解決，我們就難成為軟件強國計算機領域最負盛名、最崇高的一個獎項是圖靈獎，具有“計算機界的諾貝爾獎”之稱．圖靈是一位英國的數學家的名字，他所創立的數學模型一一圖靈機(離散數學內容之一)．在可計算性理論中起著重要作用，為計算機的誕生奠定了堅實的理論基礎．為了紀念他對計算機科學所做的貢獻，國際上用他的名字來命名這個獎項．著名的計算機軟件大師狄克斯特(Dijkstra)曾經說過：“我現在年紀大了，搞了這么多年軟件，錯誤不知犯了多少，現在覺悟了．我想假如我早年在數理邏輯上好好下點功夫的話，我就不會犯這么多的錯誤．不少東西邏輯學家早就說了，可我不知道要是我能年輕20歲．我要回去學邏輯”由此可見離散數學在計算機學科中的重要作用

一、財務管理理論結構的邏輯起點

理論是系統化的理性認識,是對研究的客觀對象的本質及其與周圍環境的相互聯系、相互作用中所表現出的規律性進行理性思維和高度抽象的結果。財務管理理論結構是人們基于對財務管理實踐活動的認識,通過思維活動對財務管理理論系統的構成要素及其排列和組合方式所作的界定,功能在于界定財務管理理論體系的覆蓋內容與容量,揭示其內部各要素之間的內在邏輯結構與層次關系,梳理財務管理理論研究的基本脈絡,指導和推動財務管理實踐的發展。

構建財務管理理論結構首先要解決如何確定邏輯起點問題。邏輯起點是構建一門學科理論體系和理論結構的出發點,是該學科理論體系和理論結構賴以推理論證的最本源的理論范疇,不僅是理論體系的一個組成部分,而且對該學科其他理論要素的建立和發展以及整個理論體系的構建起著決定性作用。邏輯起點對理論結構有著直接的影響,不同的邏輯起點會形成不同的理論結構,構建財務管理理論結構首先必須正確擇定邏輯起點。

長期以來,我國財務界研究財務管理理論總是以財務本質為起點,進而闡述財務管理概念、財務管理對象、財務管理職能、財務管理任務、財務管理原則、財務管理方法等理論問題。從建立和完善財務管理理論體系來看,對財務本質進行比較科學的規范是必要的,但以財務本質作為構建財務管理理論結構的邏輯起點,顯得有些牽強,因為:（1）財務本質是一個純粹理論性的范疇,缺乏與實踐的直接聯系,作為起點構建財務管理理論結構,容易導致財務管理理論脫離實踐,使一些理論爭鳴難以受到實踐檢驗;（2）財務本質本身是發展變化的,根源是理財環境的變化,在不同的環境條件下人們對財務的本質有著不同的認識,財務本質并非財務管理理論體系中最本源的理論要素,作為起點構建財務管理理論結構,不能直接反映社會經濟環境對財務管理系統的影響,無法揭示財務管理發展變化的真正原因;（3）理論結構是一個邏輯系統,必須遵循一定的邏輯推理,以財務本質作為邏輯起點,不符合形式邏輯的基本原理,違背了科學的思維方法;（4）在財務管理教學中,以財務本質為起點建立的財務管理學教材內容體系,既不利于學生掌握財務管理理論要素之間的內在聯系及邏輯規律,也不利于培養學生解決財務管理實際問題的能力。

近年來,有人提出以財務管理目標作為財務管理理論研究的起點,理由是:“財務管理目標直接反映著理財環境的變化,并根據環境的變化作適當的調整,它是財務管理理論結構中的基本要素和最高層次,是財務管理實踐中進行財務決策的出發點和歸宿點。”這種觀點在一定程度上克服了“本質起點論”理論脫離實踐的缺陷,突出了財務管理理論的應用功能及其對環境的適應性,有助于使財務管理理論與實踐保持同一性,使二者緊密結合起來。但也有其固有的缺陷:首先,財務管理目標同財務本質一樣不是財務管理理論體系中最本源的理論要素,難以擔當邏輯起點的重任;其次,從認識論的角度看,理論是研究主體對研究客體的能動思維的產物,財務管理理論結構的邏輯起點必須是客觀存在的事物,財務管理目標顯然不具備這一特性,它不是純客觀的,而是帶有強烈的主觀意識,且在不同時空條件下將會有不同的財務管理目標,以此構建財務管理理論結構將是一種基礎不穩固的理論結構;再次,財務管理目標不僅受理財環境的影響,而且受財務管理職能的制約,財務管理目標不能超越財務管理職能,而只能限于財務管理職能范圍之內,還受財務管理對象等因素的約束。因此,以財務管理目標作為邏輯起點來構建的財務管理理論結構,不能全面揭示財務管理理論系統中各構成要素的內容,最終將會導致財務管理理論的貧乏和理論結構層次的低下。

研究財務管理理論結構必須明確環境決定一切,存在決定一切。財務本質、財務管理目標都是在一定的社會經濟環境下人們對財務管理現象的一種認識,有什么樣的理財環境,就必然有什么樣的財務管理理論。理財環境決定了財務的本質,從而決定了財務管理的對象和職能,進而決定著財務管理程序與方法。理財環境決定了財務管理目標,從而決定了財務管理假設和財務管理原則。財務本質和財務管理目標最終都統一在人類社會生產實踐活動中,統一在特定時空條件下的理財環境中。因此,研究財務管理理論結構必須從理財環境入手,只有對理財環境有了充分的認識,才能在研究財務管理理論中發現其實質及精華所在,才能揭示財務管理發展的真正原因。

[摘要]研究財務管理理論框架，必須首先確定財務管理理論研究的起點。財務管理理論研究的起點長期以來就是一個有爭議的問題，主要觀點有“財務本質起點論”“財務假設起點論”“本金起點論”“財務目標起點論”等。應以財務管理環境為起點構建財務管理理論的基本框架。

[關鍵詞]財務管理；理財環境；理論框架

財務管理理論是人們對財務管理實踐的系統性歸納和總結，是對企業財務運行規律和關于財務管理理性認識的系統性描述。財務管理理論框架是指構成財務管理理論的各理論模塊以及各模塊之間的邏輯關系。建立科學合理的財務管理理論框架，不僅是對財務管理理論的完善，而且可以更有效地指導財務管理實踐。研究財務管理理論框架，必須首先確定財務管理理論研究的起點。筆者認為，應以財務管理環境為起點構建財務管理理論的基本框架。

一、財務管理理論研究起點的主要觀點分析

研究財務管理理論框架，首先要解決的問題就是以什么作為邏輯推理的出發點。財務管理理論研究的起點長期以來就是一個有爭議的問題，主要觀點有“財務本質起點論”“財務假設起點論”“本金起點論”“財務目標起點論”等。

財務本質起點論。長期以來，我國財務管理理論研究是以“財務的本質”為起點的。從這一起點出發，逐漸闡述財務管理的概念、財務管理的對象、財務管理的原則、財務管理的任務、財務管理的方法等一系列理論問題。這種觀點形成于20世紀80年代，當時對企業財務學的存廢問題存在很大爭議，財務管理理論工作者在形成財務獨立論的過程中，從財務的本質研究出發，奠定了財務理論的基石。進入20世紀90年代，我國一些學者對該問題進行了系統論證并指出財務質的規定性決定了財務的獨立性，財務的種種獨特性態是奠定財務獨立存在的客觀基礎。從建立和完善財務管理學科體系來看，對財務的本質進行科學定義是必要的，但以財務的本質作為理論研究的起點，只能解決什么是財務、什么是財務管理這些純理論問題，不能解決為什么進行財務管理這一與財務管理實踐密切相關的問題，也不可能有效地指導財務管理實踐。因此，以財務的本質作為財務管理理論的起點，會阻礙財務管理應用理論的發展，不利于財務管理理論體系的完善。

隨著數學和計算機技術的進展，計算的觀念越來越顯示其在各個領域的威力，從計算的角度審視世界，也已經成為我們在數字化時代生存的一種特殊的思維方式，人工智能的成果更激發了一些認知科學家、人工智能專家和哲學家的樂觀主義立場，致使有人主張一種建立在還原論哲學基礎上的計算主義，或者更確切地講，是算法主義（Algorithmism）強綱領，認為從物理世界、生命過程直到人類心智都是算法可計算的（Computable），甚至整個宇宙完全是由算法（Algorithm）支配的。這其中有對計算、算法和可計算概念的泛化，對于計算的功能和局限缺少較為客觀的估計，而且這種哲學信念與所提供的證據的確鑿程度顯然不成比例。我們對于在一種隱喻的意義上使用“計算”一詞的計算主義不予討論，但是如果把計算局限于“圖靈機算法可計算”的科學概念上使用，計算主義是可質疑的。同時，我們也主張，如果可以超越傳統的“算法”概念，充分借鑒生物學、物理學和復雜性科學的研究成果，人類計算的疆域可以進一步拓展。

一.計算、算法和可計算性

廣義的計算應當包括計算理論層、算法層以及實現層三個層次的理論（N.J.Nilsson，1998），其中，計算理論層是要確定采用什么樣的計算理論去解決問題；算法層是尋求為實現計算理論所采用的算法；實現層是給出算法的可執行程序或硬件可實現的具體算法。顯然，計算理論層最為根本，也最為困難。同時，即使解決了計算理論層和算法層的問題，也未必能解決實現層的問題，因為還存在一個計算復雜性的問題。計算主義強綱領事實上是在“存在算法”的意義上，斷言物理世界、生命過程以及認知是“可計算的”。其中的“算法”概念是指20世紀30年代，哥德爾（K.Gödel）、丘奇（A.Church）、克林尼（S.C.Kleene）、圖靈（A.Turing）等數學家對于直觀的“能行可計算”概念嚴格的數學刻畫，而與此概念相聯的丘奇-圖靈論題就應當是計算主義的基本工作假說。事實上，恰是由于算法和圖靈機概念的引進，哥德爾不完全性定理有了圖靈機語境下的版本。而且，通過建立在算法概念之上的可計算性理論，人們很快證明了一系列數學命題的不可判定性和一系列數學問題的算法不可解性。而且，在自動機理論和數學世界中，已經證明存在不可計算數那么多的不可計算對象。我們認為，對于探討計算主義是否合理的問題，算法概念和哥德爾不完全性定理是最重要的理論基礎之一。下面我們依次討論計算主義強綱領下各種論斷的可質疑之點。

二.物理世界是可計算的嗎？

在計算主義的強綱領下，“物理世界是可計算的”無疑是一個基本的信念。當今這種信念的典型形式是多奇（D.Deutsch）1985年提出的“物理版本的丘奇-圖靈論題”：“任何有限可實現的物理系統，總能為一臺通用模擬機器以有限方式的操作完美地模擬”（D.Deutsch,1985：97）。多奇認為，算法或計算這樣的純粹抽象的數學概念本身完全是物理定律的體現，計算系統不外是自然定律的一個自然結果，而且通用計算機的概念很可能就是自然規律的內在要求。進一步推而廣之，物理可計算主義的一個強硬命題是“宇宙是一臺巨型計算機”（王浩，1993:104）。

我們認為，要考察物理世界是否可計算的問題，需要考慮物理過程、物理定律和我們的觀察三個基本因素的相互作用問題，而且我們最為關注的是，用可計算的數學結構，物理理論能否足夠完全地描述實在的物理世界，特別是能否描述在偶然性和隨機性中顯示出的物理世界的規律性。

摘要:為適應高職院校護理教學改革，在中醫護理教學中，緊扣中醫護理基本理論和護理技術，不斷嘗試優化教學內容，改進教學方法，激發學生學習興趣，提升教學質量，以培養出更多高素質、高技能的護理人才。

關鍵詞:中醫護理；教學

《中醫護理》是高職院校護理專業學生學習和掌握中醫護理理論及其護理技術的一門重要的課程，其特點具有很強的理論性和實踐性。為適應高職院校護理教學改革，培養出更多既具有現代護理理念，又有中醫護理觀念的高素質、高技能復合型護理人才，以滿足廣大患者日益增長的健康需求，筆者在教育教學實踐中，緊扣中醫護理基本理論和護理技術，不斷嘗試優化教學內容，改進教學方法，激發學生學習的動機，調動學生學習中醫護理的興趣，從而不斷提升教學質量。

一、更新觀念提高師生認識

隨著經濟發展，人們生活水平的不斷提高，健康意識逐漸增強。現代護理模式需要一批既具有現代護理理論和技能，同時又能熟練運用中醫獨特護理技術和方法的復合型護理人才。因而，學好中醫護理尤為重要。2011年《中醫護理》又被納入護士執業資格考試范圍，雖所占比例較小，但仍要求學生掌握適量的中醫護理知識【1】。因此，廣大教師和學生務必更新觀念，深刻認識到學習中醫護理的重要性。首先，教師應具備豐富的中醫專業知識、熟練的護理操作技能，注重中醫整體觀念、辨證施護與現代護理相互結合的原則，引導學生進一步了解專業特點及就業方向，端正學習態度，更好地學習中醫護理。其次，教師在教學中應采用靈活多變的教學方法，激發學生學習中醫護理的興趣，指導學生把握正確的學習方法，主動學習、認真學習。

二、改革教學模式優化教學內容