MIT OpenCourseWare


» 進階搜尋
課程首頁
教學大綱
教學時程
作業
測驗
熱力/推進
訊號/系統
材料/結構
流體力學
計算機/程式
系統/實驗
統合觀念

計算機/程式


本頁翻譯進度

燈號說明

審定：無
翻譯：陳志航(簡介並寄信)
編輯：朱學恒(簡介並寄信)
於本段中所有.exe 檔案，均為可執行程式
The .exe files found in this section are executable programs.

授課者
Instructor

I. Kristina Lundqvist 教授
Prof. I. Kristina Lundqvist

教學目標
Learning Objectives

16.01-16.02 計算機與程式 (PDF)
16.01-16.02 Computers and Programming (PDF)

教科書
Textbooks

Feldman, Michael, and Elliot Koffman. Ada 95: 《問題解決與程式設計》.第三版。Reading, MA: Addison Wesley, 1999. ISBN: 020136123X.
Feldman, Michael, and Elliot Koffman. Ada 95: Problem Solving and Program Design. 3rd edition. Reading, MA: Addison Wesley, 1999. ISBN: 020136123X.

Brookshear, J. Glenn.《資訊工程：概觀》第七版 Reading, MA: Addison Wesley, 2002. ISBN: 0201781301.
Brookshear, J. Glenn. Computer Science: An Overview. 7th edition. Reading, MA: Addison Wesley, 2002. ISBN: 0201781301.

補充教材
Additional Resources

課程表
Table Organization

課 課程單元 上課講義 難解處 閱讀資料 作業 / 題解
16.01-16.02, 2003秋季班
16.01-16.02, FALL 2003
第1週
Week 1
C1 介紹，計算機軟體 (PDF)
Introduction, Computer Software (PDF)		 AdaGide補充 (PDF)
AdaGide Supplement (PDF)		 C1 難解處 (PDF)
C1 Mud (PDF)		 Feldman and Koffman, 1-34
Feldman and Koffman, 1-34

Brookshear, 208-217, 237-244
Brookshear, 208-217, 237-244
第2週
Week 2
C2 Ada: 第一個程式， 程式形式，工具 (PDF)
Ada: First Program, Programming Style, Tools (PDF)		 Screen (ADB)
Screen (ADB)
Screen (ADS)
Screen (ADS)		 C2 難解處 (PDF)
C2 Mud (PDF)		 Feldman and Koffman, 34-61
Feldman and Koffman, 34-61

Brookshear, 156-171
Brookshear, 156-171		 問題 C2 (PDF)
Problem C2 (PDF)

題解 C2 (PDF)
Solution C2 (PDF)
C3 Ada: 語法，以/使用，變數，常數，控制架構，資料型態 (PDF)
Ada: Syntax, With / Use, Variables, Constants, Control Structure, Data Types (PDF)		 C3 難解處 (PDF)
C3 Mud (PDF)		 Feldman and Koffman, 65-111
Feldman and Koffman, 65-111

Brookshear, 217-228
Brookshear, 217-228		 問題 C3 (PDF)
Problem C3 (PDF)

題解 C3 (PDF)
Solution C3 (PDF)
C4 位元組, 半位元組, 數元組 Ada: 控制架構 (PDF)
Bits, Nibbles, Bytes Ada: Control Structures (PDF)		 C4 難解處 (PDF)
C4 Mud (PDF)		 Feldman and Koffman, 157-165, 245-255
Feldman and Koffman, 157-165, 245-255

Brookshear, 20-46, 499
Brookshear, 20-46, 499		 問題 C4 (PDF)
Problem C4 (PDF)

題解 C4 (PDF)
Solution C4 (PDF)
C5 數字表示與運算 (PDF)
Number Representation and Manipulation (PDF)		 數字表示補充 (PDF)
Number Representation Supplement (PDF)		 C5 難解處 (PDF)
C5 Mud (PDF)		 Brookshear, 47-71
Brookshear, 47-71		 問題 C5 (PDF)
Problem C5 (PDF)

題解 C5 (PDF)
Solution C5 (PDF)
第3週
Week 3
C6 電腦內部結構 (PDF)
Computer Architecture (PDF)		 C6 難解處 (PDF)
C6 Mud (PDF)		 Brookshear, 74-98
Brookshear, 74-98		 問題 C6 (PDF)
Problem C6 (PDF)

題解 C6 (PDF)
Solution C6 (PDF)
C7 機械語言 (PDF)
Machine Language (PDF)		 機械語言補充 (PDF)
Machine Language Supplement (PDF)

簡易模擬器
The Simple Simulator		 C7 難解處 (PDF)
C7 Mud (PDF)		 Brookshear, 505-507
Brookshear, 505-507		 問題 C7 (PDF)
Problem C7 (PDF)

題解 C7 (PDF)
Solution C7 (PDF)
C8 Ada: 子類型, 計數型態 (PDF)
Ada: Subtypes, Enumeration Types (PDF)		 C8 難解處 (PDF)
C8 Mud (PDF)		 Feldman and Koffman, 115-151
Feldman and Koffman, 115-151		 問題 C8 (PDF)
Problem C8 (PDF)

題解 C8 (PDF)
Solution C8 (PDF)
C9 Ada: 套裝軟體，程序，函數，有效範圍與顯見性 (PDF)
Ada: Packages, Procedures, Functions, Scope and Visibility (PDF)		 C9 難解處 (PDF)
C9 Mud (PDF)		 Feldman and Koffman, 136-150, 182-193, 276-285
Feldman and Koffman, 136-150, 182-193, 276-285

Brookshear, 228-234
Brookshear, 228-234		 問題 C9 (PDF)
Problem C9 (PDF)

題解 C9 (PDF)
Solution C9 (PDF)
第4週
Week 4
C10 Ada: 條件式架構 (PDF)
Ada: Conditional Structures (PDF)		 Feldman and Koffman, 175-182, 193-194, 347-353
Feldman and Koffman, 175-182, 193-194, 347-353		 問題 C10 (PDF)
Problem C10 (PDF)

題解 C10 (PDF)
Solution C10 (PDF)
C11 Ada:對談式架構 (PDF)
Ada: Iterative Structures (PDF)		 C11 難解處 (PDF)
C11 Mud (PDF)		 Feldman and Koffman, 199-209, 220-223, 266-267
Feldman and Koffman, 199-209, 220-223, 266-267		 問題 C11 (PDF)
Problem C11 (PDF)

題解 C11 (PDF)
Solution C11 (PDF)
第5週
Week 5
C12 Ada: 迴歸 (PDF)
Ada: Recursion (PDF)		 Feldman and Koffman, 591-621
Feldman and Koffman, 591-621

Brookshear, 181-189
Brookshear, 181-189		 問題 C12 (PDF)
Problem C12 (PDF)

題解 C12 (PDF)
Solution C12 (PDF)
C13 解決迴歸公式 (PDF)
Solving Recurrence Equations (PDF)		 C13 難解處 (PDF)
C13 Mud (PDF)		 問題 C13 (PDF)
Problem C13 (PDF)

題解 C13 (PDF)
Solution C13 (PDF)
C14 Ada: 資料架構，線性表列，陣列 (PDF)
Ada: Data Structures, Linear Lists, Arrays (PDF)		 C14 難解處 (PDF)
C14 Mud (PDF)		 Feldman and Koffman, 385-413, 469-474, 559
Feldman and Koffman, 385-413, 469-474, 559

Brookshear, 302-318
Brookshear, 302-318		 問題 C14 (PDF)
Problem C14 (PDF)

題解 C14 (PDF)
Solution C14 (PDF)
第6週
Week 6
C15 Ada: 矩陣 (PDF)
Ada: Matrices (PDF)
矩陣補充 (PDF)
Matrix Supplement (PDF)

Ada95 Matrix Package
Ada95 Matrix Package		 C15 難解處 (PDF)
C15 Mud (PDF)		 Feldman and Koffman, 557-563
Feldman and Koffman, 557-563		 問題 C15 (PDF)
Problem C15 (PDF)

題解 C15 (PDF)
Solution C15 (PDF)
C16 Ada: 記錄，檔案 (PDF)
Ada: Records, Files (PDF)		 C16 難解處 (PDF)
C16 Mud (PDF)		 Feldman and Koffman, 367-384, 415-420, 214-217
Feldman and Koffman, 367-384, 415-420, 214-217		 問題 C16 (PDF)
Problem C16 (PDF)

題解 C16 (PDF)
Solution C16 (PDF)
第7週
Week 7
C17 隨堂考討論
Quiz Discussion
16.03-16.04, 2004春季班
16.03-16.04, SPRING 2004
第6週
Week 6
C1 Ada: 總論 (PDF)
Ada: Overview (PDF)		 ADA 教學補充
ADA Tutorial Supplement

Cots 線上手冊
Cots Journal Online		 C1 難解處 (PDF)
C1 Mud (PDF)
C2 Ada: 字元 與 字串 (PDF)
Ada: Characters and Strings (PDF)		 C2 難解處 (PDF)
C2 Mud (PDF)		 Feldman and Koffman, sec. 8.5, 10.1-10.2, 10.5
Feldman and Koffman, sec. 8.5, 10.1-10.2, 10.5		 問題 C2 (PDF)
Problem C2 (PDF)

題解 C2 (PDF)
Solution C2 (PDF)
第7週
Week 7
C3 Ada: 檔案 (PDF)
Ada: Files (PDF)		 C3 難解處 (PDF)
C3 Mud (PDF)		 Feldman and Koffman, sec. 6.3, 10.3-10.7
Feldman and Koffman, sec. 6.3, 10.3-10.7		 問題 C3 (PDF)
Problem C3 (PDF)

題解 C3 (PDF)
Solution C3 (PDF)
C4 堆疊與佇列 (PDF)
Stacks and Queues (PDF)		 堆疊補充
Stacks Supplement 		C4 難解處 (PDF)
C4 Mud (PDF)		 Feldman and Koffman, sec. 15.6
Feldman and Koffman, sec. 15.6

Brookshear, sec. 7.4-7.5
Brookshear, sec. 7.4-7.5		 問題 C4 (PDF)
Problem C4 (PDF)

題解 C4 (PDF)
Solution C4 (PDF)
第8週
Week 8
C5 Ada: 存取型態 (PDF)
Ada: Access Types (PDF)		 鏈結到表列補充
Linked Lists Supplement		 C5 難解處 (PDF)
C5 Mud (PDF)		 Feldman and Koffman, sec. 15.1-15.4, 15.7
Feldman and Koffman, sec. 15.1-15.4, 15.7

Brookshear, sec. 7.1, 7.3
Brookshear, sec. 7.1, 7.3		 問題 C5 (PDF)
Problem C5 (PDF)

題解 C5 (PDF)
Solution C5 (PDF)
C6 繪圖 (PDF)
Graphs (PDF)		 繪圖理論補充
Graph Theory Supplement		 C6 難解處 (PDF)
C6 Mud (PDF)		 問題 C6 (PDF)
Problem C6 (PDF)

題解 C6 (PDF)
Solution C6 (PDF)
C7 樹狀結構 (PDF)
Trees (PDF)		 C7 難解處 (PDF)
C7 Mud (PDF)		 Brookshear, sec. 7.6
Brookshear, sec. 7.6		 問題 C7 (PDF)
Problem C7 (PDF)

題解 C7 (PDF)
Solution C7 (PDF)
第9週
Week 9
C8 更多的樹狀結構 (PDF)
More Trees (PDF)		 C8 難解處 (PDF)
C8 Mud (PDF)		 Brookshear, sec. 10.3
Brookshear, sec. 10.3		 問題 C8 (PDF)
Problem C8 (PDF)

題解 C8 (PDF)
Solution C8 (PDF)
C9 演算法分析： Big-O (PDF)
Algorithm Analysis: Big-O (PDF)		 效率補充
Efficiency Supplement		 C9 難解處 (PDF)
C9 Mud (PDF)		 Brookshear, sec. 4.6, 11.5
Brookshear, sec. 4.6, 11.5		 問題 C9 (PDF)
Problem C9 (PDF)

題解 C9 (PDF)
Solution C9 (PDF)
C10 演算法分析： 資料架構，搜尋與分類演算 (PDF)
Algorithm Analysis: Data Structures, Search and Sort Algorithms (PDF)		 C10 難解處 (PDF)
C10 Mud (PDF)		 Brookshear, sec. 4.4-4.5
Brookshear, sec. 4.4-4.5		 問題 C10 (PDF)
Problem C10 (PDF)

題解 C10 (PDF)
Solution C10 (PDF)
第10週
Week 10
C11 演算法分析：合理的，不合理的演算複雜性 (PDF)
Algorithm Analysis: Reasonable vs. Unreasonable Algorithms, Complexity (PDF)		 C11難解處 (PDF)
C11 Mud (PDF)		 問題 C11 (PDF)
Problem C11 (PDF)

題解 C11 (PDF)
Solution C11 (PDF)
C12 Ada: 程式強健性 (PDF)
Ada: Program Robustness (PDF)		 C12 難解處 (PDF)
C12 Mud (PDF)		 問題 C12 (PDF)
Problem C12 (PDF)

題解 C12 (PDF)
Solution C12 (PDF)
C13 軟體工程與測試 (PDF)
Software Engineering and Testing (PDF)		 Brookshear, sec. 6.1-6.2, 6.6
Brookshear, sec. 6.1-6.2, 6.6		 問題 C13 (PDF)
Problem C13 (PDF)

題解 C13 (PDF)
Solution C13 (PDF)
第11週
Week 11
C14 Ada: 撰寫大型程式 (PDF)
Ada: Writing Large Programs (PDF)		 問題 C14 (PDF)
Problem C14 (PDF)

題解 C14 (PDF)
Solution C14 (PDF)
第12週
Week 12
C15 客座教授：
Guest Lecturer:

Robert Dewar 教授
Prof. Robert Dewar

芝加哥大學 (PDF)
University of Chicago (PDF) (Courtesy of Robert Dewar. Used with permission.)
C16 邏輯介紹 (PDF)
Introduction to Logic (PDF)		 Brookshear, sec. 1.1, 5.7
Brookshear, sec. 1.1, 5.7		 問題 C16 (PDF)
Problem C16 (PDF)

題解 C16 (PDF)
Solution C16 (PDF)
C17 隨堂考討論
Quiz Discussion
第13週
Week 13
C18 強調邏輯 (PDF)
More Logic (PDF)		 問題 C18 (PDF)
Problem C18 (PDF)
C19 加強邏輯 (PDF)
Even More Logic (PDF)		 C19 難解處 (PDF)
C19 Mud (PDF)		 問題 C19 (PDF)
Problem C19 (PDF)
C20 證實理論 (PDF)
Proof Theory (PDF)		 Feldman and Koffman, sec. 17.2
Feldman and Koffman, sec. 17.2		 問題 C20 (PDF)
Problem C20 (PDF)
第14週
Week 14
C21 Ada: 總稱
Ada: Generics		 Feldman and Koffman, sec. 17.3-17.4
Feldman and Koffman, sec. 17.3-17.4
C22 證實理論 (續) (PDF)
Proof Theory (cont.) (PDF)		 Feldman and Koffman, sec. 12.3-12.6
Feldman and Koffman, sec. 12.3-12.6
C23 客座教授：
Guest Lecturer:

Heidi Perry
Heidi Perry

Draper 實驗室
Draper Laboratories

補充教材
Additional Resources

複習課： 16.01-16.02, 2003 秋季班
Recitations: 16.01-16.02, Fall 2003

複習課 1 (PDF)
Recitation 1 (PDF)

複習課 2 (PDF)
Recitation 2 (PDF)

複習課： 16.03-16.04, 2004 春季班
Recitations: 16.03-16.04, Spring 2004

複習課 1 (PDF)
Recitation 1 (PDF)

複習課 2 (PDF)
Recitation 2 (PDF)
複習課 3 (PDF); Mud (PDF)
Recitation 3 (PDF); Mud (PDF)

複習課 5 (PDF)
Recitation 5 (PDF)

軟體
Software

最新版之GNAT可以由紐約大學計算科學系之 ftp 網站下載或是3.15版可以由此處. (EXE)下載。
The latest version of GNAT can be downloaded from the New York University Computer Science Department's ftp site, or version 3.15 can be downloaded here. (EXE)

GNAT 安裝說明 (PDF)
GNAT installation instructions (PDF)

AdaGide 可以從美國空軍官校網站下載。
AdaGide can be downloaded from the United States Air Force Academy website.

AdaGide 說明 (PDF)
AdaGide instructions (PDF)

The Brookshear Simple Simulator 可由Twente大學下載。
The Brookshear Simple Simulator can be downloaded from the University of Twente.

相關 ADA 資訊
Related ADA Resources

The Ada 95 理解
The Ada 95 Rationale

The Ada 95 語言參考手冊
The Ada 95 Language Reference Manual

The Ada 風格指導
The Ada Style Guide

GNAT 參考手冊
GNAT Reference Manual

Ada 資訊清潔屋
Ada Information Clearinghouse

Home of the Brave Ada Programmers Ada程式勇士之家 - HBAP
Home of the Brave Ada Programmers - HBAP

AdaPower
AdaPower

Ada Core Technologies Ada核心技術 - ACT
Ada Core Technologies - ACT

comp.lang.ada
comp.lang.ada

 
MIT Home
Massachusetts Institute of Technology Terms of Use Privacy