Tài liệu, ebook Khoa Học Tự Nhiên

7. Chỉ dùng các vị từ cha(x, y), me(x, y), chồng(x, y), anh(x, y), chị(x, y) để dịch các câu sau : 7.1 Mọi người có một mẹ. 7.2 Mọi người có một cha và một mẹ. 7.3 Bất cứ ai có một mẹ thì có một cha. 7.4 Minh đã là ông nội. 7.5 Câu không phải là dì.

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

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: 883 | 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: 875 | 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: 797 | 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: 833 | 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: 974 | 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: 2626 | 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: 1015 | 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: 1580 | 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: 937 | Lượt tải: 0