Giáo trình kỹ thuật lập trình nâng cao - Trường ĐH Đà Lạt

Tham khảo sách giáo trình kỹ thuật lập trình nâng cao - trường đh đà lạt, công nghệ thông tin, quản trị mạng phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
Nội dung trích xuất từ tài liệu:
Giáo trình kỹ thuật lập trình nâng cao - Trường ĐH Đà Lạt TRÖÔØNG ÑAÏI HOÏC ÑAØ LAÏT GIAÙO TRÌNHKYÕ THUAÄT LAÄP TRÌNH NAÂNG CAO TRAÀN HOAØNG THOÏ 2002Kyõ thuaät laäp trình naâng cao -1- MUÏC LUÏCMUÏC LUÏC ............................................................................................................- 1 -LÔØI NOÙI ÑAÀU ..................................................................................................- 3 -PHAÀN I : MOÄT SOÁ KIEÁN THÖÙC VEÀ LOGIC ...................................................- 4 - $1. Logic toaùn hoïc . ..........................................................................................- 4 - $2. Logic meänh ñeà (proposition logic)..............................................................- 4 - I. Phaân tích ....................................................................................................- 4 - II. CAÙC LIEÂN TÖØ LOGIC. ...........................................................................- 5 - III. YÙ NGHÓA CUÛA CAÙC LIEÂN TÖØ LOGIC . BAÛNG CHAÂN TRÒ ( TRUE TABLE ). ......................................................................................................- 5 - IV. LYÙ LUAÄN ÑUÙNG (valid argument) ....................................................- 6 - V. TÖÔNG ÑÖÔNG (Equivalence). ...........................................................- 8 - VI. TÍNH THAY THEÁ , TÍNH TRUYEÀN VAØ TÍNH ÑOÁI XÖÙNG .........- 9 - VII. BAØI TOAÙN SUY DIEÃN LOGIC . ......................................................- 9 - VIII. CAÙC LUAÄT SUY DIEÃN (rules of inference) . ................................- 11 - IX. CHÖÙNG MINH HÌNH THÖÙC VAØ PHI HÌNH THÖÙC ..................- 13 - $3.LOGIC TAÂN TÖØ . ....................................................................................- 14 - I . KHAÙI NIEÄM .........................................................................................- 15 - II. CAÙC LÖÔÏNG TÖØ LOGIC..................................................................- 16 - III. TAÄP HÔÏP VAØ TAÂN TÖØ . ................................................................- 18 - IV. CAÙC LÖÔÏNG TÖØ SOÁ HOÏC . ............................................................- 18 - $ 4 . BAØI TAÄP .................................................................................................- 19 - I. Baøi taäp logic meänh ñeà .............................................................................- 19 - II. Baøi taäp logic taân töø . ...............................................................................- 21 -PHAÀN II ÑEÄ QUY ....................................................................................- 23 - $1 . KHAÙI NIEÄM ÑEÄ QUY .........................................................................- 23 - I . Môû ñaàu ...................................................................................................- 23 - II . Moâ taû ñeä quy caùc caáu truùc döõ lieäu .........................................................- 24 - III . Chöông trình con ñeâ quy ......................................................................- 24 - $ 2 . BAØI TOAÙN ÑEÄ QUY ...........................................................................- 30 - I . Caùc böôùc caàn laøm ñeå giaûi moät baøi toaùn baèng ñeä quy . ............................- 30 - II . Moät soá baøi toaùn giaûi baèng giaûi thuaät ñeä quy . .......................................- 31 - $ 3. CÔ CHEÁ THÖÏC HIEÄN GIAÛI THUAÄT ÑEÄ QUY . ...................................- 38 - $4. KHÖÛû ÑEÄ QUY .........................................................................................- 41 - I . Daãn nhaäp ................................................................................................- 41 - II . Caùc tröoâng hôïp khöû ñeä quy ñôn giaûn baèng caáu truùc laëp . .................- 41 - III . Khöû ñeä quy haøm ARSAC . .................................................................- 47 - IV . Khöû ñeä quy cho moät soá daïng thuû tuïc ñeä quy thöôøng gaëp . ...............- 51 - $ 5 . BAØI TAÄP ................................................................................................- 56 -Phaàn III : KIEÅM CHÖÙNG CHÖÔNG TRÌNH..................................................- 61 - $1 . CAÙC GIAI ÑOAÏN TRONG CUOÄC SOÁNG CUÛA MOÄT PHAÀN MEÀM .....- 61 - $2. ÑAËC TAÛ....................................................................................................- 62 - I . Ñaëc taû baøi toaùn :.....................................................................................- 62 - II. Ñaëc taû chöông trình (ÑTCT). ............ ...