邏輯與形式語言學
本世紀20年代以來已經建立起來的邏輯語言學和1950年以來發展成為“模沏論”的那一部分顯然對於程序設計語言的形式語言學是訂用的。
當前形式語言學有下列幾種不同的研究角度：操作語言學將一個程序中包含的計算過程看作這個程序的語言。
稱語言學：將一個程序的輸人輸出函數看作這個程序的語言。
公理語言學：語言隱含在公理係統中。
上麵列出的二種不同的研究角度都是在不同程度上和邏輯有關的。此外，最近發展起來的情境語言學（或稱模型論語言學主張，一個語言表達式的意義存在於外在世界之中，特別是存在於情境的關係之中。這種語言學是美國斯坦福大學教授，最近創立的。雖然到目前為止，他們隻發表了幾篇論文和一本講述這一理論的基本概念和原理的書《情境與態度》以及正在寫作的關於英語語言的一本專著，而且很少提到程序設計語言，但看來這種新的語言理論肯定將可以應用於程序設計語言。
再者，還有另一種對語言學的研究角度，就是以時態邏輯為基礎的角度。這種邏輯是邏輯學家兼哲學家人創立的，近年來美國和中國的唐稚鬆等人乂加以發展。
人們早就認識到，在指稱語言學中，對程序細節屏蔽掉太多，而在操作語言學中則又對程序細節屏蔽太少。
近年來有人提出，以一個程序中包含的算法作為它的語言(這一研究角度被有些人稱作“內涵語言學”)。
結束語
邏輯計算機科學這兩門科學互相結合的重要性看來已得到公認。有關學者必須作長期的努力，才能使先驅學者的夢想得到實現。有-位近年來主要從事計算機科學研究的著名數理邏輯學家在談話中，就形式方法應用於計算機科學的前景而不佳的，而遠期是好的。
近期的前景所以暗淡的原因有兩個。第一，有些理論工作者注重他們的研究結果，而不大注重在數學上是否簡潔以及這些結果是否和實際計算有關。第二許多計算機科學家對那些在計算機科學中有潛在的價值的邏輯研究結果注意不夠。但最近五年來。
然後再執行這些算術運算。至幹用邏輯門電路來實現算術運算則可以認為是計算邏輯化。因此可以說現代計算機既包含有邏輯計算化也包含有計算邏輯化。
程序框圖主要是由表示差別的菱形框和表示計算過程的方框組成的。沒有菱形框是不能表示較複雜的程序的，這說明了邏輯運在程序中的重要性。
如前所述，計算與邏輯有著本質聯係，因之計算技術與數理邏輯這兩門學科也是有著本質聯係的。但由於在現代計算機出現以前，數理邏輯主要是應數學方法論研究的需要而發展的，它的許多成果是不能不改變而直接用來解決計算機係統的設計中提出的邏輯問題的，需要發展新的邏輯理論。第二，就早期的電廣計算機而言，機器和程序的邏輯結構都還比較簡單，機器設計和程序設計對理論:具的需要不是十分迫切。第三代計算機產生以來，機器結構特別是大程序的結構越來越複雜，這就使得為設計工作提供理論工具，以解決方法論方麵的問題成為一項重要課題。第三，由於理論脫離實際，有些搞計算機理論的人顯然走了彎路，這也影響了這方麵的進展。
目前在機器的總體設計和程序設計方麵都需要理論工具。可以應用於計算機輔助設計的硬件描述語言，程序語言的語言理論以及程序正確性證明等都是值得重視的研究課題。
機器證明程序設計等：智能領域的研究課題中存著人量的新邏輯問題智能一詞容易引起誤解，用“人的智能的物理校擬―即簡稱為智能模擬”這方如的研究以稱為邏輯。