Tài liệu, ebook Toán Học

Tìm một mô hình I cho công thức F. F = ((A∨B) ∧ ¬B) → A Mở rộng I để nó cũng là mô hình của G. G = ((A∧C) ∨ ¬C) → A.

82 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 854 | Lượt tải: 0

•  Một số công thức khó chứng minh được bằng cách trực tiếp. •  Logic cổ điển chấp nhận cách chứng minh gián tiếp - chứng minh ¬F để dẫn đến mâu thuẫn. •  Nhưng logic trực giác (intuitionistic logic) không đồng ý hai qui tắc : ├─ F ∨ ¬F (LEM) và ├─ ¬¬F → F (¬¬e)

45 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 849 | Lượt tải: 0

1. Phát biểu nào là câu khai báo và chỉ ra thực trị : a. Không được mở máy tính. b. Thành phố Mỹ Tho ở đâu ? c. Ở sông Sài Gòn không có cá sấu. d. Việc lập trình rất hứng thú. e. A∩(B∪C) = (A∩B)∪(A∩C), A,B,C là tập hợp. f. Hôm nay là ngày thứ 3. g. 2 + 3 = 6. h. Hà Nôi là thủ đô của VN. i. Thiết kế CSDL là bắt buộc khi lập trình.

29 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 769 | Lượt tải: 0

Cú pháp cho biết cái gì được logic chấp nhận. •  Ngữ nghĩa là ý nghĩa thực tế của các đối tượng trong logic. •  Cú pháp là hình thức còn ngữ nghĩa là nội dung của các đối tượng trong logic. •  Hệ thống chứng minh sản sinh các đối tượng mới từ các đối tượng có sẵn

25 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 810 | Lượt tải: 0

Ánh xạ 1-1 (one to one mapping) : đơn ánh Ánh xạ trên (onto mapping) : toàn ánh Ánh xạ 1-1 trên : song ánh Ghi chú : đơn ánh injection or injective mapping toàn ánh surjection song ánh bijection

23 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 947 | Lượt tải: 0

Câu 15: Phân loại điểm gián đoạn của hàm số f(x x ) 2 sin 1 A. x  0 là điểm gián đoạn loại 2 B. x  0 là điểm gián đoạn nhảy C. x  0 là điểm gián đoạn khử được D. x  0 là điểm gián đoạn loại 1

4 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 2528 | Lượt tải: 0

Câu 18: Cho hàm số . Tính y ''(0) A. -2 B. 2 C. 3 D. -3 Câu 19: Xác định hàm số f x ( ) biết f(x 1) 2   x x 2 A. f(x) 2   x x 2 B. f( ) x x  2 C. f(x x ) 1   2 D. f(x x ) 1   2 Câu 20: Tìm giới hạn A. 0 B. 1 C. 2 D. 4 Câu 21: Cho hàm số f(x)  x x 2   2 4. Tìm f 1(4) A. {0} B. {2} C. {0;2} D. 

4 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 987 | Lượt tải: 0

Câu 33: Có 2 kho hàng, kho k có 25 – 2k sản phẩm tốt. Lấy mỗi kho 1 sản phẩm kiểm tra, tìm xác suất để đúng 1 sản phẩm hỏng? A. 1,28% B. 6,72% C. 21,44% D. 14,72% Câu 34: Một thí sinh thi 3 môn, với khả năng đạt yêu cầu mỗi môn lần lƣợt là 0,6; 0,7 và 0,3. Tìm xác suất để thí sinh này thi đạt cả 3 môn? A. 8,4% B. 12,6% C. 5,4% D. 87,4% Câu 35...

4 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1549 | Lượt tải: 0

Câu 33: Gieo 1 xí ngầu 2 lần, gọi a – số chấm xuất hiện lần 1, b – số chấm xuất hiện lần 2. Tìm xác suất để a 2b hoặc b 2a ? A. 1/12 B. 1/6 C. 5/18 D. 1/9 Câu 34: Cho hàm mật độ của biến ngẫu nhiên liên tục X là f (x) px q, x [0;1] 0, x [0;1] . Tìm p, q biết rằng 2 E(X ) 0 ? A. p 4,q 3 B. p 4,q 3 C. p 4,q 3 D. p 4,q 3 Câu 35: Một bộ bài 52...

4 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 914 | Lượt tải: 0

Câu 30: Có 2 thùng chứa bi đỏ và trắng, số bi thùng 2 gấp 3 lần số bi thùng 1. Tỷ lệ bi đỏ trong thùng 1 là 8%, trong thùng 2 là 11%. Nhập 2 thùng lại và lấy 1 bi, tìm xác suất để lấy đƣợc bi trắng? A. 68,75% B. 31,25% C. 10,25% D. 89,75% Câu 31: Có 2 kho hàng, kho k có 25 – 2k sản phẩm tốt. Lấy mỗi kho 1 sản phẩm kiểm tra, tìm xác suất để đúng...

4 trang | Chia sẻ: nguyenlam99 | Ngày: 15/01/2019 | Lượt xem: 1223 | Lượt tải: 0