Software (solve problem)
問題量化 (Math)
不連續問題 (離散)
邏輯
邏輯運算
運算
傳遞性
分配律
化簡
boolean expr
邏輯函數
巢狀函數
集合
排容原理
性質
分配律
交換律
結合律
工具
venn diagram
組合
binomial theorem
重複組合
圖論
定理
Euler's circuit
Euler's formula
圖形定義
complete
connect
simple
cube
bipartite
性質
isolated
degree
regular
chromatic
數論
餘式
費馬定理
中國餘式定理
鴿籠原理
relation
recurrence
數學歸納法
正規語言
性質
語言範圍
文法
矩陣化線性問題 (線代)
線性方程組
行列式
矩陣運算
反矩陣
singular
簡化運算
對角化
QR分解
least square
行/列 運算
向量
空間
independent / space create
基底與維度
kernel / image space
subspace
rank
映射
space transfer
正角化
Orthogonal
gram-schmidt
特徵 (Eigen)
value
vector
資料存放 (DS)
Tree
性質
full / regular
complete
binary search
AVL
Red black
huffman
Stack
Hash
Queue
效率計算 (Algo)
Sorting
bubble
selection
insertion
merge
quick
radix
Search
Hash
Complexity
Master theorem
NP problem
NP hard
NP complete
NP
P
Travel
Flyod
Dijkstra
Find spanning tree
Prim
Kruskal
Hardware (save time)
bare (CO)
command
ALU
performance
MIPS
AMDAHL'S rule
CPU
pipeline
storage devices
catch
virtual memory
I/O devices
HD
Properties
Dependability
Reliability
Availability
Disk array
BUS
DMA
extended (OS)
type
mutiprogramming
time sharing
distributed
real time
hard
soft
batch system
hand held system
structure
kernel
series
microkernel
process
context switch
PCB
system call
fork
wait
exit
execlp
scheduling
starvation
preemptive / non-preemptive
rules
FIFO
SJF
SRJF
Priority
R-R
Multilevel Queue
Mutilevel Feedback Queue
HRRN
sample
multiprocessors
real time
thread
deadlock
starvation
necessary condition
mutual exclusion
hold & wait
no preemption
circular waiting
graph
resource allocation graph (RAG)
claim edge + RAG
wait-for graph
solution
prevention
avoidance
detection
ADT
steps
recovery
kill
preemption
synchronization
communication
shared memory
message passing
race condition
critical section
disk
access time
management
free space
bit vector
linked list
file allocation
scheduling algorithm
FCFS
SSTF
SCAN
C-SCAN
C-LOOK
NEXT
RAID
0
1
2
3
4
5
6
0+1
1+0
memory
process
binding
loading
linking
management
continue
linked list
fit method
worst fit
best fit
first fit
fragmentation
external
solution
compaction
page
record process
internal
virtual memory
demand paging
page replacement
trashing
file
open
close
protection
physical
logical
consistency sematic
UNIX
session
immutable
I/O
polling
interrupt
DMA
user interface
command interpreter
shell
system call
user program
compiler
linking loader
debugger
network utility
target
interface of user & hardware
provide env for user program
resource manage
protect system
hardware
basic
dual mode
privileged instr
I/O
memory
Cpu
software
trap
interrupt