Chương 2 : Luận lý mệnh đề ntsơn Nội dung I. Cấu trúc của luận lý mệnh đề (LLMĐ) II. Suy luận tự nhiên trong LLMĐ III. Ngữ nghĩa của LLMĐ Chương 1 ntsơn I. Cấu trúc của luận lý mệnh đề ntsơn Thuật ngữ[11] •  Luận lý mệnh đề (LLMĐ) có tên tiếng Anh : –  Propositional logic. –  Propositional Calculus. •  Từ calculus là một...

 29 p mku 12/10/2012 396 1 Download

Chương 1. Tổng quan Chương 2. Luận lý mệnh đề (propositional logic) Chương 3. Luận lý vị từ (predicates logic) Chương 1 ntsơn Chương 1. Tổng quan ntsơn Thảo luận nhóm 5 phút •  Nhất quán & Mâu thuẫn -  Định nghĩa 2 khái niệm trên -  Sự khác nhau và giống nhau. -  Một số thí dụ minh họa. •  Mỗi nhóm viết ra ý kiến và trình bày trước...

 25 p mku 12/10/2012 370 1 Download

Cấu trúc của hệ tiên đề : 1. Thuật ngữ nguyên thủy (undefined term) 2. Thuật ngữ phổ dụng (universal term) 3. Hệ các tiên đề (axiom system) 4. Hệ thống suy luận 5. Định lý ntsơn HỆ TIÊN ĐỀ •  Thuật ngữ nguyên thủy : Khái niệm được chấp nhận - không định nghĩa. Phân loại : + Đối tượng + Quan hệ. Tiên đề Phát biểu được chấp nhận -...

 23 p mku 12/10/2012 367 1 Download

Môi trường (Environments) Gán thực trị là gán giá trị T (đúng) hoặc F (sai) cho mỗi biến mệnh đề. Những nhà khoa học máy tính gọi việc gán giá trị cho các biến là một môi trường.

 67 p mku 12/10/2012 371 1 Download

II. Suy luận tự nhiên trong luận lý mệnh đề ntsơn .Chứng minh Thí dụ : Tam giác ABC có các cạnh là AB = 3, BC = 4, CA = 5. Chứng minh ABC vuông. Chứng minh : (1) cạnh AB = 3. (2) cạnh BC = 4. (3) cạnh CA = 5. (4)

 45 p mku 12/10/2012 376 1 Download

Logic của Aristotle được diễn tả bằng ngôn ngữ thông thường - mơ hồ. Các triết gia muốn logic được diễn tả có tính hình thức (formal) và bằng ký hiệu (symbolical) như toán học. Leibniz có lẽ là người đầu tiên hình dung ra ý tưởng này và gọi tên là formalism.

 52 p mku 12/10/2012 330 1 Download

Giải tích phức là một bộ phận của toán học hiện đại có nhiều ứng dụng trong kỹ thuật. Nhiều hiện tượng vật lý và tự nhiên đòi hỏi phải sử dụng số phức mới mô tả được. Trong chương này chúng ta tìm hiểu những vấn đề cơ bản của giải tích phức: Lân cận, giới hạn, hàm phức liên tục, giải tích, tích phân phức, chuỗi số phức,...

 55 p mku 11/10/2012 376 1 Download

ý thuyết giá trị thặng dư đã được Marx sử dụng để phân tích kinh tế tư bản chủ nghĩa trong thời kỳ chủ nghĩa tư bản hoạt động với rất ít các định chế ràng buộc, kiểm soát và can thiệp của nhà nước.[2] Cuộc đại khủng hoảng kinh tế năm 1929-30, kéo dài đến thế chiến lần thứ hai đã khiến các nhà kinh tế đặt lại vai trò của nhà...

 59 p mku 11/10/2012 725 2 Download

Số phức, hàm biến phức, giới hạn và liên tục; đạo hàm của hàm biến phức hàm giải tích; tích phân hàm biến phức, tích phân Cauchy; - Chuỗi Taylor và chuỗi Laurent; - Thặng dư và ứng dụng; phép biến đổi Laplace và ứng dụng để giải phương trình vi phân, phương trình tích phân, hệ phương trình vi phân.

 61 p mku 11/10/2012 439 1 Download

Nhiều vấn đề trong kỹ thuật, trong điện tử viễn thông, trong lý thuyết mạch…, đưa về giải các phương trình, hệ phương trình chứa đạo hàm, tích phân của các hàm nào đó, nghĩa là phải giải các phương trình vi phân, tích phân hay phương trình đạo hàm riêng. Việc giải trực tiếp các phương trình này nói chung rất khó. Kỹ sư Heaviside là người đầu...

 54 p mku 11/10/2012 388 1 Download

Ta đã biết rằng khái niệm đạo hàm riêng cho chúng ta biết được tốc độ thay đổi của hàm số khi cho 1 trong các biến số thay đổi giá trị. Bây gờ, chúng ta sẽ nghiên cứu sự thay đổi của hàm số 2 biến z = f(x,y) khi cho cả hai biến số thay đổi. Xét hàm số z = f(x,y) và (x_0 ; y_0) là điểm thuộc miền xác định D. Ta cho x, y thay đổi 1 lượng tương...

 29 p mku 11/10/2012 415 1 Download

Giải tích phức, hay còn gọi là lý thuyết hàm biến phức, là một nhánh của toán học nghiên cứu các hệ hàm sốmột hay nhiều biến và các biến số đều là số phức(các ánh xạ giữa C^n và C^m). khoảng hơn 50 năm trước, dựa trên sự phát triển của Giải tích hàm, Giải tích phức đã nghiên cứu các ánh xạ giữa các không gian vector topo phức vô hạn...

 44 p mku 11/10/2012 393 2 Download