1 cơ sở lôgic
Chương 1: Cơ sở logic pdf
... trai nhiều bạn gái : Mệnh đề 19 1. 1 Phép tính mệnh đề • Mệnh đề “Chiều nay, rảnh ghé thăm bạn” sai ? chiều rảnh không ghé thăm bạn 20 1. 1 Phép tính mệnh đề 21 1 .1 Phép tính mệnh đề • Phép kéo ... Q đồng thời 10 1. 1 Phép tính mệnh đề • Ví dụ: Mệnh đề “Hôm nay, cô đẹp thông minh ” xem mệnh đề hai điều kiện “cô đẹp” “cô thông minh” xảy Ngược lại, điều kiện sai mệnh đề sai 11 1. 1 Phép tính ... sai 14 1. 1 Phép tính mệnh đề • Ví dụ: Mệnh đề “Tôi chơi bóng đá hay xem phim” Mệnh đề sai vừa không chơi bóng đá vừa không xem phim Ngược lại, chơi bóng đá hay xem phim hay hai mệnh đề 15 1. 1 Phép...
- 382
- 6,613
- 19
Bài giảng toán rời rạc chương 1 cơ sở logic
... 1) ((k 1) 3 11 (k 1) ) chia hết cho Ta có: P( k 1) k 3k 3k 11 k 11 (k 11 k ) 3k ( k 1) 12 P ( k 1) chia hết cho Vậy: (n3 + 11 n) chia hết cho 6, n 1. 3 CÔNG THỨC ... 1 , n 2! 3! (n 1) ! (n 1) ! b) Đặt: P(n) = n3 + 11 n Với n = 1: P (1) = 13 + 11 .1= 12 chia hết cho Giả sử: P(k) = (k3 + k) chia hết cho Ta chứng minh (1) với n = k +1, tức cm: P(k 1) ... 1) ! (n 1) ! b) n3 + 11 n chia hết cho 6, n HD a) Với n = 1: 1 VT , VP (1 1) ! (1) với n = Giả sử: k 1 , k 2! 3! (k 1) ! (k 1) ! Ta chứng minh (1) với n = k +1, tức cm:...
- 20
- 4,090
- 2
bài giảng toán rời rạc chương 1 cơ sở logic
... n.n!+(n +1) .(n +1) ! = (n +1) ! – 1+ (n +1) .(n +1) ! ⇔ 1. 1! + 2.2! + … + n.n!+(n +1) .(n +1) ! = (n +1) ! (1+ n +1) 1 ⇔ 1. 1! + 2.2! + … + n.n!+(n +1) .(n +1) ! = (n+2)! 1 Vậy p(n +1) Theo nguyên lý quy nạp, ta có: ∀n 1, ... Giải: Đặt: p(n)= 1. 1! + 2.2! + … + n.n! = (n +1) ! - 1 Ta có: p (1) = 1. 1! = (1+ 1)! – 1 Giả sử p(n) với n 1 đúng, ta chứng minh p(n +1) Do p(n) nên: 1. 1! + 2.2! + … + n.n! = (n +1) ! – ⇔ 1. 1! + 2.2! + ... (q) r; r; z=0; z=0; for (int i =1; i< =10 ; i++) for (int i =1; i< =10 ; i++) { { x = i+2; x = i+2; y=i -1; y=i -1; if (x> =10 ) if ((x> =10 ) && (y
- 61
- 1,134
- 0
Toán Rời Rạc - Chương 1: Cơ Sở Logic
... dụ: Cho E(p,q,r) =(p ∨ q) → r Ta có bảng chân trị sau: p q r p∨ q (p ∨ q) → r 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 16 Biểu thức logic Tương đương logic: Hai biểu thức logic E F theo biến mệnh đề gọi ... p∧0⇔0 p 1 1 10 Luật hấp thu: p ∨ (p ∧ q) ⇔ p p ∧ (p ∨ q) ⇔ p 11 Luật phép kéo theo:p → q ⇔ ¬p ∨ q ⇔¬q→¬p Ví dụ: Cho p, q, r biến mệnh đề Chứng minh rằng: (¬p → r) ∧ (q → r) ⇔ (p → q) → r 21 Các ... hay “Q điều kiện cần P”) Bảng chân trị: NX: P → Q sai P mà Q sai Ví dụ: P Q P→Q 0 1 1 0 1 e >4 kéo theo 5>6 11 Mệnh đề Phép kéo theo hai chiều (phép tương đương): Mệnh đề P kéo theo mệnh đề Q...
- 63
- 2,556
- 36
thiết kế phương pháp điều khiển robot tự hành dựa trên cơ sở logic mờ, chương 1 potx
... Hình 1. 1 Một số loại robot di chuyển chân a/ Robot chân Raibert, b/ Robot SDR-4X, chế tạo năm 2003 hãng Sony, c/ Robot ASIMO hãng Honda, d/ Robot chân, e/ robot chó Tian, f/ mô hình robot chân 1. 2.2.Robot ... robot hoạt động môi trường đặc biệt nước hay không trung chúng trang bị cấu di chuyển đặc trưng 1. 2 .1. Robot tự hành di chuyển chân(Legged Robot) Ưu điểm lớn loại robot thích nghi di chuyển địa hình ... trục lăn điểm tiếp xúc Sơ đồ bánh xe robot tự hành bánh, bánh, bánh bánh liệt kê bảng đây: Bảng 1. 1.Sơ đồ bánh xe robot tự hành Số bánh Sắp xếp Miêu tả Một bánh lái phía trước, bánh phía sau Hai...
- 10
- 689
- 11
Cơ sở logic toán của các phép chứng minh toán học cơ bản và áp dụng chứng minh các bài toán phổ thông
... 12 1 n2 +3n + M 11 2 (1) 4(n2 +3n + 5) M 11 2 (2) Từ (1) suy ra: n2 +3n + M 11 4n2 + 12 n + 20 M 11 4n2 + 12 n + M 11 (2n + 3)2 M 11 (2n + 3) M 11 (2n + 3)2 M 12 1 (3) Từ (2) (3) suy 11 M 12 1 ... 11 11 ; B = 11 11 ; C = 66 66 2m m +1 m Chứng minh: A +B + C + số phơng < Toán nâng cao đại số 10 > Giải: 2m 11 11 = 10 2 m + 10 2 m + + 10 + A = 10 Ta có: A = m 12 3 B = 11 11 = 10 m1 + 10 m1 ... số 10 - 11 - 12 tập 2> Giải: Xét khả sau: Nếu x1 = 19 98 x2 = 19 99, x1 x2 thoả mãn phơng trình cho Nếu x< 19 98 19 99 x > 19 99 x 19 98 > VT > x < 19 98 không nghiệm Nếu x > 19 99 19 98 x > 19 98...
- 49
- 2,921
- 12
Giáo trình hệ cơ sở dữ liệu Phần 1 Cơ sở dữ liệu, Phần 2 SQL Server
... 9/8 10 :15 a Cushing 11 6 10 /8 10 :15 a Clark 2 81 8/8 10 :15 a Clark 3 01 12/8 10 :15 a Clark 83 11 /8 10 :15 a Chin 83 13 /8 10 :15 a Chin 11 6 12 /8 10 :15 a Copely 2 81 9/8 10 :15 a Copely 2 81 13/8 10 :15 a Copely 412 ... 28-08 -19 77 FALSE 29-03 -19 79 FALSE 30-05 -19 81 FALSE 30-06 -19 76 FALSE 29-07 -19 82 FALSE 21- 08 -19 77 FALSE 19 -05 -19 79 FALSE 16 -06 -19 82 TRUE 11 -11 -19 81 FALSE 01- 01- 1980 FALSE 12 -12 -19 79 TRUE 11 -11 -19 80 ... 9/8 10 :15 a Cushing 11 6 10 /8 1: 25p Clark 2 81 8/8 5:50a Clark 3 01 12/8 6:35p Clark 83 11 /8 10 :15 a Chin 83 13 /8 10 :15 a Chin 11 6 12 /8 1: 25p Copely 2 81 9/8 5:50a Copely 2 81 13/8 5:50a Copely 412 15 /8...
- 243
- 1,560
- 4
NGHIÊN CỨU XÂY DỰNG PHƯƠNG PHÁP ĐIỀU KHIỂN ROBOT TỰ HÀNH DỰA TRÊN CƠ SỞ LOGIC MỜ
... hành) .11 1. 3.Phương pháp điều hướng cho robot tự hành .16 1. 3 .1. Phương pháp điều hướng có tính toán 16 1. 3.2.Phương pháp điều hướng robot theo phản ứng 18 1. 3.3.Phương ... cho robot tự hành 1. 1.Giới thiệu chung 1. 2.Phân loại robot tự hành .10 1. 2 .1. Robot tự hành di chuyển chân(Legged Robot) 10 1. 2.2.Robot tự hành di chuyển ... phương pháp định vị cho robot tự hành . 21 2 .1. Mô hình động học cho robot . 21 2 .1. 1.Mô hình bánh xe robot 22 2 .1. 2.Phương trình động học robot .23 2.2.Kỹ...
- 96
- 3,054
- 50
Bài 1: Cơ sở dữ liệu và bảng dữ liệu
... biệt : Between, Like, In Giá trị nhập khác 0 or >10 0 Giá trị nhập lớn 10 0 < #1/ 1/92# Ngày nhập trước 19 92 Between 18 And 70 Trong khoảng 18 đến 70 h Thuộc tính Validation Text Dòng thông báo ... liệu dạng General General Number: Fixed Standard Percent Scientific Currency 12 34.5 12 34.50 1, 234.50 82.4% 1. 23E + 03 1, 234.50 c Thuộc tính Input Mask Tác dụng: Tạo khuôn dạng nhập liệu cho dễ ... cho trc m bo c mc ớch lu tr d liu cho ng dng Liờn kt 1- 1 l: mi bn ghi ca bng ny s liờn kt vi nht ti mt bn ghi ca bng v ngc li Vớ d: Liờn kt 1- n l: mi trng ca bng s cú th liờn kt vi mt hoc nhiu...
- 25
- 463
- 1
cơ sở logic toan
... thuyết sở logich - việc tiên đề hóa triệt để dẫn tới việc hình thức hóa, ta hệ hình thức hóa logich (mệnh đề tân từ) sở đó, hệ hình thức hóa Toán Học Khi toàn lý thuyết Toán Học (cùng với sở logich ... tiếp tục Như trình bày, khủng hoảng sở Giải tích toán học vào cuối kỉ 19 dẫn đến đời lý thuyết Cantor tập hợp, hợp thức hóa phép trừu tượng vô hạn thực tại, tạo sở móng cho Giải tích toán học cho ... học Euclid hình học phi Euclid Phần II Logich toán cở sở toán học - với nội dung vừa điểm lại - hình thành phát triển chủ yếu vào cuối kỉ 19 nừa đầu kỉ 20, giai đoạn bùng phát nhiều ý tưởng kết...
- 7
- 435
- 0
giao trinh linh kien dien tu CHUONG 1 CƠ SỞ ĐIỆN HỌC
... = 14 ,14 sin100t (A) có: - Giá trị đỉnh 14 ,41A - Giá trị hiệu dụng 10 A - Chu kì 0,02s - Tần số 50Hz - Tần số góc100rad/s - Góc pha 10 0t rad - Pha ban đầu Điện áp xoay chiều: u = 311 ,1sin100t ... Chương 1: Cơ sở điện học Hình 1. 1 Cấu tạo ngun tử He Bình thường nguyên tử trạng thái trung hoà điện, nghóa số lượng proton số lượng electron 1. 1.2 Điện tích Điện thuộc tính ... thái AC 1. 3 .1 Định nghĩa Chương 1: Cơ sở điện học Dòng điện xoay chiều hình sine dòng điện có chiều giá trị cường độ dòng điện biến đổi theo thời gian cách tuần hồn với qui luật hình sine 1. 3.2...
- 6
- 617
- 2
Chương 1 CƠ SỞ LÝ LUẬN VỀ HOẠT ĐỘNG KINH DOANH THẺ CỦA NGÂN HÀNG THƯƠNG MẠI
... hoạt động hệ thống ngân hàng 1. 2.6 Nghiệp vụ kinh doanh thẻ NHTM 1. 2.6 .1 Cơ sở pháp lý việc tổ chức kinh doanh thẻ Cơ sở pháp lý nghiệp vụ thẻ dựa sở pháp luật nước sở tại, cụ thể quy chế phát ... tiên tiến gây thiệt hại cho chủ thẻ, NHPH NHTT 1. 3 Những nhân tố ảnh hưởng đến hoạt động kinh doanh thẻ NHTM 1. 3 .1. Các nhân tố nội ngân hàng 1. 3 .1. 1 Điều kiện khoa học công nghệ: Các ứng dụng tin ... toán Do đó, việc đặt máy ATM hệ trụ sở chi nhánh ngân hàng thực chất việc mở rộng mạng lưới hoạt động mặt địa lý 1. 2.5 Những lợi ích việc sử dụng thẻ toán 1. 2.5 .1 Đối với người sử dụng thẻ Tiện...
- 32
- 699
- 0
CHƯƠNG 1 CƠ SỞ LÍ LUẬN VỀ QUẢN TRỊ NHÂN SỰ VÀ GIỚI THIỆU VỀ CÔNG TY TNHH TM
... ̣c đich là làm cho người lao đô ̣ng hưởng thành quả ho ̣ làm ́ 1. 2 Các nô ̣i dung của quản tri nhân sư ̣ ̣ 1. 2 .1 Phân tích công viêc ̣ Phân tich công viê ̣c là viêc tim hiể u và ... nhân sư ̣ có chấ t lươ ̣ng cao mới tồ n ta ̣i và phát triể n đươ ̣c 1. 2.4 Đánh giá và đãi ngô ̣ nhân sư ̣ 1. 2.4 .1 Đánh giá hiêu quả công viêc ̣ ̣ Đánh giá nhân viên là mô ̣t những ... và chế đô ̣ nghỉ ngơi hơ ̣p li ́ 1. 2.5 Các nhân tố ảnh hưởng và sư ̣ cầ n thiế t của viêc hoàn thiên công ̣ ̣ - tác quản tri nhân sư ̣ ̣ 1. 2.5 .1 Các nhân tố ảnh hưởng Môi trường...
- 12
- 486
- 0
CHƯƠNG 1 CƠ SỞ LUẬN VỀ CHIẾN LƯỢC
... chức Yếu tố bên chủ yếu (1) TỔNG CỘNG Mức quan trọng (0,0 -> 1, 0) (2) Phân loại (1 -> 4) (3) Số điểm quan trọng (4)=(2)x(3) 1, 0 Bảng 1. 1 Ma trận đánh giá yếu tố bên (EFE) 1. 3.2 Ma trận đánh giá ... để đạt mục tiêu môi trường tương lai nhằm tăng thể lực cho doanh nghiệp” 1. 1.3 Phân loại chiến lược kinh doanh 1. 1.3 .1 Chia chiến lược kinh doanh vào phạm vi chiến lược Một là, chiến lược chung ... tích lựa chọn chiến lược Kiểm tra, đánh giá, điều chỉnh chiến lược Hình 1. 1 Quy trình quản trị chiến lược kinh doanh 1. 2 .1 Xác định sứ mạng, mục tiêu chiến lược doanh nghiệp Sứ mệnh phản ánh nhiệm...
- 13
- 266
- 0
CHƯƠNG 1 CƠ SỞ LÝ LUẬN VÀ GIỚI THIỆU ĐƠN VỊ THỰC TẬP
... (3) 01 02 10 Thuyết Số tiền minh (4) VI.25 (5) 706.542.500 706.542.500 dòch vụ (10 = 01- 02) Giá vốn hàng bán Lợi nhuận gộp bán hàng cung cấp 11 20 VI.27 345.2 51. 300 3 61. 2 91. 200 (20 = 10 -11 ) Doanh ... khác 31 32 13 Lợi nhuận khác (40 = 31- 32) 40 14 Tổng lợi nhuận kế toán trước thuế 50 dòch vụ (50 = 30 + 40) 455.875.060 (94. 914 . 710 ) (94. 914 . 710 ) 15 Chi phí thuế thu nhập doanh nghiệp 51 VI.30 16 ... dòch vụ 10 doanh 11 12 ( 30 = 20 + ( 21- 22) – (24+25) Thu nhập khác Chi phí khác 31 32 790.645.325 (235 .16 0.584) 13 Lợi nhuận khác (40 = 31- 32) 40 14 Tổng lợi nhuận kế toán trước thuế 50 15 (50...
- 17
- 861
- 0
CHƯƠNG 1 CƠ SỞ LÝ LUẬN KHOA HỌC
... doanh 1. 1.3 Các cấp độ lực cạnh tranh 1. 1.3 .1 Năng lực cạnh tranh quốc gia Là lực kinh tế đạt tăng trưởng bền vững, thu hút đầu tư, bảo đảm ổn định kinh tế, xã hội, nâng cao đời sống người dân 1. 1.3.2 ... nghiệp Là tế bào kinh tế, lực cạnh tranh doanh nghiệp tạo sở cho lực cạnh tranh quốc gia 1. 1.4 Các nhân tố ảnh hưởng đến lực cạnh tranh 1. 1.4 .1 Môi trường vĩ mô a Các yếu tố kinh tế Các yếu tố kinh ... Yếu tố bên chủ yếu (1) TỔNG CỘNG Mức quan trọng (0,0 -> 1, 0) (2) Phân loại (1 -> 4) (3) Số điểm quan trọng (4)=(2)x(3) 1, 0 Bảng 1. 2 Ma trận đánh giá yếu tố bên ngoài: EFE 1. 3.3 Ma trận SWOT Ma...
- 14
- 914
- 0
CHƯƠNG 1 CƠ SỞ LÝ LUẬN VỀ CHIẾN LƯỢC KINH DOANH
... hành động doanh nghiệp tình cụ thể dự kiến điều chỉnh chiến lược 1. 2 QUÁ TRÌNH XÂY DỰNG CHIẾN LƯỢC KINH DOANH CỦA DOANH NGHIỆP 1. 2 .1 Xác định sứ mệnh, mục tiêu doanh nghiệp * Một số khái niệm Sứ ... doanh nghiệp làm lại họ cảm thấy họ phần doanh nghiệp, họ cam kết ủng hộ hoạt động doanh nghiệp 1. 1.3 Phân loại chiến lược kinh doanh Có nhiều cách tiếp cận để phân loại chiến lược kinh doanh - ... tình trạng bất lợi 1. 2.3 Phân tích nội doanh nghiệp Tất tổ chức mạnh điểm yếu phận chức Sẽ doanh nghiệp mạnh yếu lĩnh vực Những điểm mạnh/điểm yếu, hội/thách thức rõ ràng đem lại sở cho việc hoạch...
- 18
- 869
- 3
CHƯƠNG 1 CƠ SỞ LÝ LUẬN CỦA VIỆC XÂY DỰNG CHIẾN LƯỢC KINH DOANH TRONG DOANH NGHIỆP
... đứng doanh nghiệp thị trường, đồng thời xác định hướng mục tiêu cần đạt đến 1. 2 .1 Các mô hình phân tích môi trường 1. 2 .1. 1 Mô hình PEST – Mô hình phân tích môi trường chung Mô hình phân tích môi ... (Bateman Zeithaml, 19 90) “Chiến lược bao gồm mục tiêu, sách kế hoạch” (Dess Miller, 19 93) Tuy khác khái niệm nói tới tính tổng thể mục tiêu, sách kế hoạch hành động định trước tổ chức Năm 19 87 Mintzberg ... môi trường Từ tận dụng tốt thời cơ, hạn chế rủi ro để đưa định hướng chiến lược phù hợp cho doanh nghiệp Môi trường Công nghệ Chính trị Kinh tế Xã hội Hình 1. 1: Mô hình phân tích PEST - Yếu tố...
- 26
- 843
- 2
Tìm thêm: hệ việt nam nhật bản và sức hấp dẫn của tiếng nhật tại việt nam xác định các mục tiêu của chương trình xác định các nguyên tắc biên soạn khảo sát chương trình đào tạo của các đơn vị đào tạo tại nhật bản xác định thời lượng học về mặt lí thuyết và thực tế điều tra đối với đối tượng giảng viên và đối tượng quản lí điều tra với đối tượng sinh viên học tiếng nhật không chuyên ngữ1 khảo sát các chương trình đào tạo theo những bộ giáo trình tiêu biểu xác định mức độ đáp ứng về văn hoá và chuyên môn trong ct phát huy những thành tựu công nghệ mới nhất được áp dụng vào công tác dạy và học ngoại ngữ mở máy động cơ lồng sóc mở máy động cơ rôto dây quấn đặc tuyến mômen quay m fi p2 đặc tuyến tốc độ rôto n fi p2 đặc tuyến dòng điện stato i1 fi p2 sự cần thiết phải đầu tư xây dựng nhà máy thông tin liên lạc và các dịch vụ từ bảng 3 1 ta thấy ngoài hai thành phần chủ yếu và chiếm tỷ lệ cao nhất là tinh bột và cacbonhydrat trong hạt gạo tẻ còn chứa đường cellulose hemicellulose chỉ tiêu chất lượng theo chất lượng phẩm chất sản phẩm khô từ gạo của bộ y tế năm 2008 chỉ tiêu chất lượng 9 tr 25