Ly tán toán học( Discrete mathematics )Là nghiên cứu ly tán lượng kết cấu và lẫn nhau quan hệ toán học ngành học, làHiện đại toán họcMột cái quan trọng chi nhánh. Ly tán hàm nghĩa là chỉ bất đồng liên tiếp ở bên nhau nguyên tố, chủ yếu là nghiên cứu căn cứ vào ly tán lượng kết cấu cùng lẫn nhau gian quan hệ, này đối tượng giống nhau là hữu hạn cái hoặc có thể đếm được cái nguyên tố. Ly tán toán học ở các ngành học lĩnh vực, đặc biệt ởMáy tính khoa học cùng kỹ thuậtLĩnh vực có rộng khắp ứng dụng, đồng thời ly tán toán học cũng làMáy tính chuyên nghiệpBài chuyên ngành, nhưTrình tự thiết kế ngôn ngữ,Số liệu kết cấu,Thao tác hệ thống,Biên dịch kỹ thuật,Trí tuệ nhân tạo,Cơ sở dữ liệu,Thuật toán thiết kế cùng phân tích,Lý luận máy tính khoa họcCơ sở chờ ắt không thể thiếu đi trước chương trình học. Thông qua ly tán toán học học tập, chẳng những có thể nắm giữ xử lý ly tán kết cấu miêu tả công cụ cùng phương pháp, vi hậu tục chương trình học học tập sáng tạo điều kiện, hơn nữa có thể đề cao trừu tượng tư duy cùng nghiêm khắcLogic trinh thám năng lực,Vì tương lai tham dự sáng tạo tính nghiên cứu cùng khai phá công tác đánh hạ kiên cố cơ sở.[1]
- Tiếng Trung danh
- Ly tán toán học
- Ngoại văn danh
- Discrete mathematics
- Phân loại
- Toán học ngành học
- Đối tượng
- Hữu hạn cái hoặc có thể đếm được cái nguyên tố
Mục lục
TheoTin tức thời đạiĐã đến,Cách mạng công nghiệpThời đại lấyVi phân và tích phânVì đại biểu liên tụcToán họcChiếm chủ lưu địa vị đã đã xảy ra biến hóa, ly tán toán học tầm quan trọng dần dần bị mọi người nhận thức. Ly tán toán học chương trình học sở truyền thụ tư tưởng cùng phương pháp, rộng khắp mà thể hiện ởMáy tínhKhoa học kỹ thuật cập tương quan chuyên nghiệp chư lĩnh vực, từKhoa học tính toánĐếnTin tức xử lý,Từ lý luận máy tính khoa học đến máy tính ứng dụng kỹ thuật, từMáy tính phần mềmĐếnMáy tính phần cứng,Từ trí tuệ nhân tạo đến nhận tri hệ thống, đều bị cùng ly tán toán học chặt chẽ tương quan. Bởi vìCon số máy vi tínhLà một cái ly tán kết cấu, nó chỉ có thể xử lý ly tán hoặc ly tán hóa số lượng quan hệ, bởi vậy, vô luận máy tính khoa học bản thân, vẫn là cùng máy tính khoa học và ứng dụng chặt chẽ tương quan hiện đại khoa học nghiên cứu lĩnh vực, đều gặp phải như thế nào đối ly tán kết cấu thành lập tương ứngToán học mô hình;Lại như thế nào đem đã dùng liên tục số lượng quan hệ thành lập lên toán học mô hình ly tán hóa, do đó nhưng từ máy tính tăng thêm xử lý.
Ly tán toán học là truyền thốngLogic học,Tập hợp luận( bao gồmHàm số),Số luậnCơ sở,Thuật toán thiết kế,Tổ hợp phân tích,Ly tánXác suất,Quan hệLý luận,Đồ luậnCùngThụ,Trừu tượng đại số( bao gồmĐại số hệ thống,Đàn,Hoàn,VựcChờ ),Đại số Boolean,Tính toán mô hình ( ngôn ngữ cùngTự động cơ) chờ tụ tập lên một mônTổng hợp ngành học.Ly tán toán học ứng dụng lần đến hiện đại khoa học kỹ thuật rất nhiều lĩnh vực.
Ly tán toán học cũng có thể nói là máy tính khoa học cơ sở trung tâm ngành học, ở ly tán toán học trung có một cái trứ danh điển hình ví dụ - bốn màu định lý lại xưng bốn màu phỏng đoán, đây là thế giới cận đại tam đại toán học nan đề chi nhất, nó là ở 1852 năm, từ Anh quốc một người vẽ bản đồ viên phất nam Sith · cách tư đưa ra, hắn tại tiến hành bản đồ tô màu khi, phát hiện một cái hiện tượng, “Mỗi bức bản đồ đều có thể chỉ dùng bốn loại nhan sắc tô màu, hơn nữa cộng đồng biên giới quốc gia đều có thể bị thượng bất đồng nhan sắc”. Như vậy này có không từ toán học thượng tiến hành chứng minh đâu? 100 nhiều năm sau 1976 năm, Kenneth · A Bội ngươi ( Kenneth Appel ) cùng Wolf cương · ha chịu ( Wolfgang Haken ) sử dụng máy tính phụ trợ tính toán, dùng 1200 tiếng đồng hồ cùng 100 trăm triệu thứ phán đoán, rốt cuộc chứng minh rồi bốn màu định lý, oanh động thế giới, đây là ly tán toán học cùng máy tính khoa học lẫn nhau hợp tác kết quả.
Ly tán toán học có thể xem thành là cấu trúc ở toán học cùng máy tính khoa học chi gian nhịp cầu, bởi vì ly tán toán học đã không rời đi tập hợp luận, đồ luận chờ toán học tri thức, lại cùng máy tính khoa học trung cơ sở dữ liệu lý luận, số liệu kết cấu chờ tương quan, nó có thể dẫn đường mọi người tiến vào máy tính khoa học tư duy lĩnh vực, xúc tiến máy tính khoa học phát triển.
1．Tập hợp luậnBộ phận:Tập hợpVà giải toán,Hai nguyên tố quan hệCùng hàm số,Số tự nhiênCập số tự nhiên tập, tập hợp số đếm.
2．Đồ luậnBộ phận: Đồ cơ bản khái niệm,Âu kéo đồCùngHami đốn đồ,Thụ, đồMa trậnTỏ vẻ, bản vẽ mặt phẳng, đồ tô màu, chi phối tập, bao trùm tập, độc lập tập cùng xứng đôi, mang quyền đồ và ứng dụng.
3．Đại số kết cấuBộ phận: Đại số hệ thống cơ bản khái niệm,Nửa đànCùngĐộc dị điểm,Đàn,HoànCùngVực,CáchCùngĐại số Boolean.
4．Tổ hợp toán họcBộ phận: Tổ hợp tồn tại tính định lý, cơ bản đếm hết công thức, tổ hợp đếm hết phương pháp, tổ hợp đếm hết định lý.
Ly tán toán học bị phân thành tam môn chương trình học tiến hành dạy học, tức tập hợp luận cùng đồ luận, đại số kết cấu cùng tổ hợp toán học, số lý logic. Dạy học phương thức lấy lớp học truyền thụ là chủ, khóa sau có văn bản tác nghiệp, thông qua trường họcInternet dạy học ngôi caoTuyên bố khóa kiện cũng tiến hành sư sinh giao lưu.
