編譯原理跟數理邏輯

A. 程序員的邏輯思維可以從哪些方面進行培養呢

程序員邏輯思維的培養對軟體工程非常重要，思維快的能快速編寫邏輯代碼。可以從一下幾個方面進行慢慢培養。
第一：明確學習目的
邏輯思維學習編程對多數IT業人員來說都是非常有用的。學編程，做一名編程人員，從個人角度講，可以解決在軟體使用中所遇到的問題，改進現有軟體，可以為自己找到一份理想的工作添加重要得砝碼，有利於在求職道路上謀得一個好的職位；從國家的角度，可以為中國的軟體產業做出應有的貢獻，一名優秀的程序員永遠是被爭奪的對象。學習編程還能鍛煉思維，使我們的邏輯思維更加嚴密；能夠不斷享受到創新的樂趣，將一直有機會走在高科技的前沿，因為程序設計本身是一種創造性的工作。知識經濟時代給我們帶來了無限的機會，要想真正掌握計算機技術，並在IT行業里干出一番事業來，有所作為，具有一定的編程能力是一個基本條件和要求。
第二打好基礎，學好基礎知識對我們開發也很重要學編程要具備一定的基礎，總結之有以下幾方面：
首先是數學基礎 從計算機發展和應用的歷史來看計算機的數學模型和體系結構等都是有數學家提出的，最早的計算機也是為數值計算而設計的。因此，要學好計算機就要有一定的數學基礎，出學者有高中水平就差不多了。
其次是邏輯思維能力的培養 學程序設計要有一定的邏輯思維能力，「邏思力」的培養要長時間的實踐鍛煉。要想成為一名優秀的程序員，最重要的是掌握編程思想。要做到這一點必須在反復的實踐、觀察、分析、比較、總結中逐漸地積累。因此在學習編程過程中，我們不必等到什麼都完全明白了才去動手實踐，只要明白了大概，就要敢於自己動手去體驗。誰都有第一次。有些問題只有通過實踐後才能明白，也只有實踐才能把老師和書上的知識變成自己的，高手都是這樣成材的。最後是選擇一種合適的入門語言 面對各種各樣的語言，應按什麼樣的順序學呢？程序設計工具不外乎如下幾類： 1）本地開發 應用軟體開發的工具有：Visual Basic 、Delphi 、VC++ ( C++ Builder ) 等；資料庫開發工具有：Visual Foxpro 、Oracle Developer 、Power Builder 等。 2）跨平台開發 開發工具如 Java 等。 3）網路開發 對客戶端開發工具如：Java Script 等；對伺服器開發工具如：PHP 、ASP 、JSP 、ISAPI 、NSAPI 、CGI 等。 以上不同的環境下幾種開發工具中 VB 法簡單並容易理解，界面設計是可設化的，易學、易用。選 VB 作為入門的方向對出學者是較為適合的。
第三：注意理解一些重要概念
一本程序設計的書看到的無非就是變數、函數、條件語句、循環語句等概念，但要真正能進行編程應用，需要深入理解這些概念，在理解的基礎上應用，不要只簡單地學習語法、結構，而要吃透針對這些語法、結構的應用例子，做到舉一反三，觸類旁通。
第四：掌握編程思想，編程思想使用較多的就是oop編程思想
學習一門語言或開發工具，語法結構、功能調用是次要的，最主要是學習它的思想。例如學習 VC 就要學習 Windows 的內在機理、什麼是線程......；學習 COM 就要知道VTALBE 、類廠、介面、idl......，關鍵是學一種思想，有了思想，那麼我們就可以觸類旁通。
第六：多實踐、多交流，一切思維來自項目開發的積累
掌握編程思想必須在編程實際工作中去實踐和體會。編程起步階段要經常自己動手設計程序，具體設計時不要拘泥於固定的思維方式，遇到問題要多想幾種解決的方案。這就要多交流，各人的思維方式不同、角度各異，各有高招，通過交流可不斷吸收別人的長處，豐富編程實踐，幫助自己提高水平。親自動手進行程序設計是創造性思維應用的體現，也是培養邏輯思維的好方法。
第七：養成良好的編程習慣
編程入門不難，但入門後不斷學習是十分重要的，相對來說較為漫長。在此期間要注意養成一些良好的編程習慣。編程風格的好壞很大程度影響程序質量。良好的編程風格可以使
程序結構清晰合理，且使程序代碼便於維護。如代碼的縮進編排、變數命令規則的一致性、代碼的注釋等。
第八：上網學編程
在網上可以學到很多不同的編程思想、方法、經驗和技巧，有大量的工具和作品及相關的輔導材料供下載
8.加強計算機理論知識的再學習
思維培養學編程是符合「理論→實踐→再理論→再實踐」的一個認識過程。一開始要具有一定的計算機理論基礎知識，包括編程所需的數學基礎知識，具備了入門的條件，就可以
開始編程的實踐，從實踐中可以發現問題需要加強計算機理論知識的再學習。程序人人皆可編，但當你發現編到一定程度很難再提高的時候，就要回頭來學習一些計算機科學和數
學基礎理論。學過之後，很多以前遇到的問題都會迎刃而解，使人有豁然開朗之感。因此在學習編程的過程中要不斷地針對應用中的困惑和問題深入學習數據結構、演算法、計算機
原理、編譯原理、操作系統原理、軟體工程等計算機科學的理論基礎和數理邏輯、代數系統、圖論、離散數學等數學理論基礎知識。這樣經過不斷的學習，再努力地實踐，編程水平一定會不斷提高到一個新高度。
這就是總結出來的思維培養模式，希望能幫到你，謝謝！

B. 北航 數理邏輯，數字邏輯，編譯原理，集合論，資料庫這幾門課程用的是什麼書

我只知道資料庫用的是北航出版社的「數據結構」這本書。其他幾門課程我們專業沒上過。

C. c邏輯思維到底是什麼要怎麼培養呀

讀一些邏輯性較強的經典著作，要抓住著作的條理性和邏輯，建立在理解書中概念的基礎上，我們可以模仿其中的推論，復現書中的關鍵內容為止。

這時候，我們知道知識的來龍去脈，我們是通過思維而獲得知識，而不是通過大量的熟背強記知識，知識更具有邏輯的使用價值。

反之，那些只求生吞活剝別人思想的人，無異於讓別的母雞在你的腦袋上下蛋，即使博學多識，卻也深陷大量的知識而無法自拔。

托爾斯泰曾說過：知識，只有當它靠積極的思維得來而不是憑證記得來的時候，才是真正的知識。

心理學家羅伯特·依·布倫南說：「如果沒有基本法則的知識，就得處理一串串冗長的信息，我們的記憶必定負擔繁重。最完美的記憶方法是把現象按因果關系聯系起來，因為哲學的任務是研究這種關系，所以我們可以主要通過培養哲理頭腦來彌補記憶力的不足。」

D. 北航計算機使用的是什麼教材

老師不怎麼講教材，數理邏輯和集合論 發的課本 是 離散數學 尹寶林 xxx （忘了）編 北京航空航天大學出版社 藍皮的

E. 軟體工程 計算機科學與技術

北航計算機科學與技術在全國排名第三，軟體學院是從計算機學院分出去的。總體來說，計算機科學與技術學習的課程更全面，從基本的語言到資料庫、編譯原理、操作系統等都會涉及，還會學習一大堆基礎課。而且連續兩任的校長李未懷進鵬都是計算機學院的，所以計算機學院不差錢。而軟體學院主要側重軟體方面，基本上按程序員培養的，所以要想進一步發展就難了。計算機學院每年學費5500，軟體學院大一大二每年5500，後兩年16000.所以每年計算機學院的分要比軟體學院高很多。順便說一下，北航計算機主要強在軟體方面，硬體方面貌似不行。北郵最好的是通信工程，北理工主要強在武器方面，北京工業大學跟上面幾所高校不是一個檔次上的，所以就不說了。最後祝你在高考中取得好成績，實現自己的願望。