Bai giang DCCT part 3

Bài giảng UML part 1 ppsx

... quan h v i UML s cho ta bi t cách t o ñ c hi u ñư c m t mô hình ñươc c u trúc t t, không cho ta bi t nh ng mô hình nên t o t o chúng ðó nhi m v c a quy trình phát tri n ph n m m 1 UML ngôn ng ... (Generalization) ch c u hình c a h th ng th c thi Các quy t c c a UML Các thành ph n c a UML không th ng u nhiên ñ t c nh Như b t c m t ngôn ng nào, UML có nh ng quy t c ch r ng m t mô hình t t s th M t ... quán v i th Các k thu t chung c a UML 8 .1 C th hóa Như ñã trình bày ph n trên, vi c th hi n tr c quan giúp hi u v n ñ d dàng ch nghĩa mô t b ng l i ích.Cho nên UML không ch m t t p kí hi u ñ h...

Bài giảng UML part 2 docx

... ng sau: 1.1 ði u ki n b t ñ u 1 .2 Lu ng chính: 1 .2. 1 Ngư i dùng ñưa th vào máy 1 .2. 2 Máy hi n thông báo chào m ng yêu c u nh p mã s 1 .2. 3 Ngư i dùng nh p mã s 1 .2. 4 Máy xác nh n mã s ñúng N u ... tán, cài ñ t ph n mà t o nên ki n trúcv t lý c a h th ng Bi u ñ ñư c s d ng bi u ñ Deployment UML Bài 2: Tìm Use Case ng x c a h th ng, t c nh ng ch c mà h th ng cung c p s ñư c mô t mô hình Use ... s , lu ng r nhánh E-1 ñư c th c hi n 1 .2. 5 Máy hi n ba l a ch n: • • • Rút ti n: lu ng A-1 Chuy n ti n: lu ng A -2 Thêm ti n vào tài kho n: lu ng A-3 1 .2. 6 Ngư i dùng ch n rút ti n 1.3 Lu ng con:...

Bài giảng UML part 3 ppsx

... thông tin hư ng ñ i tư ng v i UML Trong chương trư c, vi t ñã ñ c p t i t m quan tr ng c a vi c l p mô hình s h tr c a UML vi c l p mô th Tuy nhiên nhi m v c a UML ñóng vai trò m t ngôn ng mô ... p l i theo gói, ta có th nhìn mô hình m c t ng quát c n ta có th xem chi ti t l p m t gói Trong UML m t gói kí hi u sau: Bi u ñ l p (Class Diagram) Khi có nhi u l p thêm vào mô hình, bi u ñ l ... Trong UML ñ i tư ng ñư c th hi n b i m t hình ch nh t, tên c a ñ i tư ng ñư c g ch chân L p (Class) ð...

Bài giảng Vitamin part 4 doc

... ] :q G 'k 4G2 # " '( ) ' "• wIn2 ! ! &G •G a M % " ] Q IU W IL ' D *E ! d S 46 E J, c &3 W "G X I ' ( &\ S 0A : & t2ts't2+ u +'M ' ? " wIn : 6E7 " E< % +t E J, o " % +tt wIn 18 Vitamin B5 ... +'M ' ? " wIn : 6E7 " E< % +t E J, o " % +tt wIn 18 Vitamin B5 (Pantothenic) B8 (Biotin) A- K $4 ( % %b % @ @ 19 ...

Bài giảng Vitamin part 3 docx

... $ _ D 2E7 [ = 2E7 '( " - /2 P : = $b $@ > >b :d D 3% 3% @ / 13 ] M % : " IL ' ( $ : 4b = P 46 " | : o # )& ' n8 $ : G " ; V 8T ' f ? E a :3& D fG$$ : ' (1 $ : G '( ) 'f W g % % : ] M % v ... ' V% $ ' '( ) "G X I $ 0U u : D s'+t 2$ J" d a :3 2 12 ] M % v ' E ' D " Z : ! ff a K ] M % " B3 O iacin, H H ) ! $0 2 : [ =2 E $b T B B3 B L% &D H Q &D ! P M G: :: G G G 2 ' -E7 % 4P ... IL + u | :% ) "G X r% : & € a :3 $ 6: :7 &% =2 P & x # 2 :% $ W " # % $a d E % "• > : +tt'stt u 62 a $ 14 ^ M % ;O > :& < v K D ' a ) : [ =2 S & D $ = [ = E3 - &0 2 2^ ^ M % " B L% '( ) 6:...

Bài giảng Vitamin part 2 ppt

... ! E - D T2 # 2e = 62 :% $ $ m # a 2> ] ' ( W W # 0; - & x # P =6B ' L E M c &3 46 - $C b P " d: " G X Z ,3 \ % Ltt ' ytt rwu S , % $a LttBttt rw : M % ! BBB ;2 \ OTocopherol) K " ] 2: D a : ... : ] p ' - 6) G '( ' { 'k W - = z % $ 2^ #2 / 0; $A +t' 6: = 4 82 a 2 = 86 = 4b >= : : M % " IL 'I = > ' (1 >= :P p W ' (1 E \ : % $ Eg E " = :g E )& 2$ / N " ; V 8T ' 4=6 W g &34=6 ' #> ' ... ] ] P B ~0 T v $ % B L% ' {D T = :d A 'H 2E7 " = :0 $ ' I) ) "_ &D JG: 'JG: @ A > B " ;+ B 8 d / E J+ E :? $ ! G •6 / ! >% G •6 / = P :& 46$ : 0; 2 @ : 6a " G 6$ $ B ( ) >X &D D% / E % 10...

Bài giảng : Logic part 10 pps

... Chú : Với toán chứng minh tính chất phần tử tập xây dựng theo quy nạp, ta làm tương tự Bài toán với tập công thức xây dựng trường hợp riêng thường gặp VÀI CHÚ : Chú ý trang 2 9: điều kiện :  ... luật (=i ): không cần suy t=t Giải thích luật (=e ): t1=t2, Φ*t1\t+ Φ*t2\t+ với Φ công thức Giải thích luật (∀xe ): ∀xΦ phải với giá trị t cụ thể tức Φ*t\x+ Giải thích luật (∀xi ): hộp kín: xét x0 ... người học phần này, không hiểu kí hiệu quy tắc mà giảng (thầy có nói miệng ^^) nên đưa giải thích n : =: t t ( i ) t  t [t / x] ( e) [t / x] 2 ∀x: x (xe) [t / x] (∀ xi) 123 Trước giải thích...

Bài giảng : Logic part 9 potx

... sử (∃xi) ( e) 5,2 RAA 4-6 (∀xi) 3-7 ( e) 8,1 RAA 2 ,9   106 Slide 5. 9: Trường hợp 1a Trường hợp 1a: ∀xΦ┤ ∃x Φ ├   Chứng minh phải sang trái: ∃x Φ Tiền đề ∀xΦ Giả sử x0 Φ*x0/x] (∀xe) ⊥ ( e) ... M ⊨l Ψ2 thoả mãn M ⊨l Ψ1 thoả mãn 116 Slide 5.1 9: Ví dụ Ví d : Giả s : F={alma} (alma hằng), P={loves} (loves vị từ ngôi), M mô hình xác định bởi: (1) tập A={a,b,c}; (2) alma giải nghĩa a; (3) ... 3,4-6,4’-6’ (∃xe) 1,2-7 111 Slide 5.1 4: Ngữ nghĩa logic vị từ Định nghĩa: cho F tập kí hiệu hàm P tập kí hiệu vị từ (những gộp F) Một mô hình M với (F,P) bao gồm:  Một tập không rỗng A, tập vũ trụ...

Bài giảng : Logic part 8 pot

... Slide 4.2 5: Mở rộng quy tắc cho logic vị t : Quy tắc chứng minh với lượng từ toàn th : x ∀x: [t / x] (xe) (∀ xi) Những quy tắc sinh từ luật ∧ Chú ý với luật (∀xi ): luật này, hộp bắt ... từ tồn tại) t  t [t / x] ( e) [t / x] =: t t ( i ) ∀x: x (xe ) [t / x] ∃x: [t / x] (xi ) x (∀ xi) (∃xe) 100 Slide 5. 3: Ví d : Ví dụ 1: ∀x(Q(x)→R(x)), ∃x(P(x)∧Q(x))├∃x(P(x)∧R(x)) ... dẫn đến kết luận  96 Slide 4.2 9: Lượng từ tồn – Ví dụ (1) Ví dụ 1: ∀xΦ├ ∃xΦ ∀xΦ Tiền đề Φ*x0/x] (∀xe) ∃xΦ (∃xi) 97 Slide 4.3 0: lượng từ tồn – ví dụ(2) Ví dụ 2: ∀x(P(x)→Q(x)), ∃xP(x)├∃xQ(x) ∀x(P(x)→Q(x))...

Bài giảng : Logic part 7 pdf

... gồm: logic trực giác, logic hẹp, logic hình thức, logic thời gian, logic tin tưởng, logic động học, logic Hoare, logic đặc biệt, logic xác định, logic bậc cao, logic chùm, logic thay thế,…một số ... loại logic (phép tính vị từ logic bậc cổ điển) nhiều trường hợp đóng với ngôn ngữ tự nhiên- giống khoa học máy tính hay triết học-, vấn đề mâu thuẫn : có nhiều loại logics khác bao gồm: logic ... xuất t Thực s : điều kiện đủ để phép “an toàn” Ví d : ∃yS(x,y)∧∀x(P(x)→Q(x)) f(z) tự với x Φ, g(z,y) không tự với x Φ 89 Slide 4.2 2: Suy diễn tự nhiên Quy tắc:  Logic vị từ mở rộng logic mệnh đề,...

Bài giảng : Logic part 6 pot

... ta viết: t :: = x|c|f(t,t,…t) với x biến, c∈C, f∈F hàm n 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức (F,P) xác định cách quy nạp việc sử dụng tập term F sau:  Nếu ... đầy đ : Φ1, Φ2,…, Φn├ Ψ Φ1, Φ2,…, Φn⊨ Ψ 74 Slide 4. 7: Logic vị từ dạng ngôn ngữ Có thành phần:  Những đối tượng: chúng miêu tả terms, ví d : riêng biệt a, p hay sử dụng kí hiệu hàm (ví d : ma(a) ... đơn giản hơn: m(m(a))=m(m(p))  Ann thích anh Mary mơ hồ dịch sau: ∃x(B(x,m)∧L(a,x)) (Ann thích anh trai Mary) ∀x(B(x,m)→L(a,x)) (Ann thích tất anh trai Mary) 73 Slide 4. 6: Tính đầy đ :  Ta mở...

Bài giảng : Logic part 5 pps

... sau: X1 X2 Bα(X1, X2) 1 1 0 0 0 54 Trang 1 5: Những hàm Boolean nhận Tổng quát, giả sử α wff có kí hiệu mệnh đề bao gồm A1n ,…, An Chúng ta xác định hàm Boolean n B Hàm Boolean thực α sau: n ... wff, có tồn tương đương wff dạng chuẩn tắc tuyển (DNF) 59 Trang 2 0: Tính đầy đủ liên từ mệnh đ : Ví d : Cho G hàm Boolean ngội xác định sau: G(0,0,0)=0 G(0,0,1)=1 G(0,1,0)=1 G(0,1,1)=0 G(1,0,0)=1 ... ( X , X 2)))  A2 Khẳng định: hàm Boolean đạt việc soạn từ hàm I, N, K, A, C E Ta giải thích khẳng định cách ngắn gọn 56 Trang 1 7: Biểu thức hàm Boolean Định l : Cho α, β wff’s với dãy kí hiệu...

Bài giảng : Logic part 4 doc

... Luật De Morgan:   (A∧B)↔(  A∨  B)   (A∨B)↔(  A∧  B) 51 Trang 1 2: Thêm số hằng… Luật kéo theo:  (A→B)↔(  A∨B) Luật loại tr :  A∨  A Luật mâu thuẫn:   (A∧  A) Luật phản đảo:  (A→B)↔( ... LECTURE (từ trang đến trang 28) 43 Trang 4: Cú pháp ngữ nghĩa Tập công thức xây dựng W:  U= tất biểu thức  B={A1,A2,A3,… F={ ℰ  , ℰ∧,ℰ∨,ℰ→,ℰ↔} Cho phép gán v: B→{0,1} với kí hiệu mệnh đề, ... thuật toán nào? Thoả mãn hai khái niệm song hành: α không thoả mãn  α 47 Trang 8: xác định thoả mãn bảng thật: Một thuật toán cho thoả mãn được: Để kiểm tra α thoả mãn được, hình thức bảng thật...

Bài giảng : Logic part 3 docx

... ( h (x1),…, h (xn)) 29 Trang 3 0: Đệ quy Cho C tập sinh tự từ B F, Chứng minh rằng: h: B→V f :Vn→V với f: Un→U F xác định hàm h : C→V Chứng minh vắn tắt: Một hàm g: D→E gọi chấp nhận D⊂ C, E⊂ ... đầu thực từ phần tử Vậy, B⊂ S 32 Trang 3 3: Logic mệnh đ : ngữ nghĩa Chứng minh tiếp tục: Để CM: S đóng ℰ∧, giả sử α, β∈ S xem xét dãy khởi đầu thực ℰ∧(α,β) Có khả sau: ( (α0 , với α0 dãy khởi đầu ... 3 9: Logic mệnh đ : ngữ nghĩa Tập công thức xây dựng W: U= tất biểu thức B={A1,A2,A3,…F={ ℰ  , ℰ∧,ℰ∨,ℰ→,ℰ↔} Cho phép gán v: B→{0,1} với kí hiệu mệnh đề, ta xây dựng hàm v cho công thức W sau:...

Bài giảng : Logic part 2 potx

... Trường hợp s : Chúng ta phải chứng minh B⊂ S Nhớ lại B tập bao gồm kí hiệu mệnh đề đơn Nên rõ ràng với biểu thức th : l(α)=r(α)=0 24 Trang 2 5: Logic mệnh đ : WFF’S Trường hợp quy nạp: Chúng ta ... n(n  1) với tất số tự nhiên n 22 Trang 2 3: Logic mệnh đ : biểu thức xây dựng Chúng ta sử dụng hình thức định nghĩa quy nạp để xác định tập công thức xây dựng logic mệnh đề  U= tập tất biểu ... đề đơn  F= tập công thức xây dựng biểu thức: -ℰ˥ (α)=(˥α) -ℰ∧(α,β)=(α∧β) -ℰ∨(α,β)=(α∨β) -ℰ→(α,β)=(α→β) -ℰ↔(α,β)=(α↔ β) 23 Trang 2 4: Logic mệnh đ : WFF’S Từ định nghĩa quy nạp wff’s, ta sử dụng...

Xem thêm