Cuốn sách cung cấp cái nhìn tổng quan về tình hình hiện tại trong lĩnh vực toán học thuần túy và ứng dụng hấp dẫn và cực kỳ quan trọng này, đồng thời trình bày những phát triển gần đây về lý thuyết, mô hình hóa, thuật toán và ứng dụng.

DELFTSE FOUNDATIONS OF COMPUTATION là một giáo trình cho khóa học nhập môn một phần tư về khoa học máy tính lý thuyết. Nó bao gồm các chủ đề từ logic mệnh đề và logic vị từ, kỹ thuật chứng minh, cấu trúc rời rạc, lý thuyết tập hợp và lý thuyết tính toán, cùng với các ứng dụng thực tế vào khoa học máy tính. Nó không có điều kiện tiên quyết nào khác ngoài sự quen thuộc chung với lập trình máy tính.

Trong những năm gần đây, cùng với sự bùng nổ của trí tuệ nhân tạo, khoa học dữ liệu và các hệ thống thông minh, nhu cầu xử lý những bài toán phức tạp, nhiều yếu tố không chắc chắn ngày càng gia tăng. Các phương pháp tính toán truyền thống, vốn dựa trên các mô hình chính xác và quy tắc logic cứng nhắc, đôi khi không còn đủ linh hoạt để giải quyết những bài toán thực tiễn trong môi trường dữ liệu đa dạng và biến đổi liên tục. Trong bối cảnh đó, tính toán mềm (Soft Computing) đã trở thành một hướng tiếp cận quan trọng, cho phép hệ thống xử lý thông tin không hoàn toàn chính xác, học hỏi từ dữ liệu và tìm kiếm lời giải tối ưu trong những điều kiện phức tạp.

Cuốn sách này trình bày những hiểu biết sâu sắc về cách các kỹ thuật Điện toán thông minh và Tối ưu hóa có thể được sử dụng để đạt được các mục tiêu của Phát triển bền vững. Nó cung cấp một cái nhìn tổng quan toàn diện về những đột phá mới nhất và những phát triển gần đây trong các công nghệ điện toán thông minh, bền vững, các ứng dụng và các kỹ thuật tối ưu hóa trong nhiều ngành công nghiệp khác nhau, bao gồm quản lý quy trình kinh doanh, sản xuất, lĩnh vực tài chính, nông nghiệp, lĩnh vực tài chính, quản lý chuỗi cung ứng và chăm sóc sức khỏe. Nó tập trung vào các kỹ thuật thông minh tính toán và các kỹ thuật tối ưu hóa để cung cấp các giải pháp bền vững cho nhiều vấn đề. Các tính năng: •

Hiểu được vai trò của con người trong biến đổi môi trường là một trong những thách thức cấp bách nhất của thế kỷ 21. Các bài tường thuật về môi trường – văn bản viết tập trung vào môi trường – cung cấp nguồn tài liệu phong phú, nắm bắt mối quan hệ giữa con người và môi trường xung quanh. Chúng tôi tận dụng hai cơ hội chính cho việc phân tích tính toán của chúng: sự gia tăng mạnh mẽ về khả năng tiếp cận các nguồn tài liệu lịch sử và đương đại được số hóa, và những tiến bộ song song trong việc phân tích tính toán ngôn ngữ tự nhiên.

Một làn sóng nhiệt tình mới đối với các thành phố thông minh, dữ liệu đô thị và Internet vạn vật đã tạo ra ấn tượng rằng điện toán có thể giải quyết hầu hết mọi vấn đề đô thị. Đưa tuyên bố này vào sự giám sát nghiêm ngặt, trong cuốn sách này, Andrés Luque-Ayala và Simon Marvin đã xem xét các bối cảnh văn hóa, lịch sử và đương đại mà logic tính toán đô thị đã xuất hiện.

Hướng dẫn dành cho các nhà giáo dục để kết hợp tư duy tính toán—một tập hợp các kỹ năng nhận thức được áp dụng để giải quyết vấn đề—vào nhiều môn học khác nhau. Tư duy tính toán—một tập hợp các công cụ tinh thần và nhận thức được áp dụng để giải quyết vấn đề—là một kỹ năng cơ bản mà tất cả chúng ta (và không chỉ các nhà khoa học máy tính) đều dựa vào. Các nhà giáo dục đã phát hiện ra rằng tư duy tính toán nâng cao việc học tập trên nhiều môn học và củng cố khả năng đọc, viết và số học của học sinh.

Cuốn sách này đề cập đến những phát triển gần đây nhất trong điện toán đám mây như HPC trong Đám mây, đám mây không đồng nhất, tự tổ chức và tự quản lý, đồng thời thảo luận về ý nghĩa kinh doanh của việc áp dụng điện toán đám mây. Xác định nhu cầu về kiến trúc mới cho điện toán đám mây, nó thảo luận về kiến trúc phân phối và quản lý đám mây mới dựa trên các nguyên tắc tự tổ chức và tự quản lý. Trọng tâm này chuyển nỗ lực triển khai và tối ưu hóa từ người tiêu dùng sang ngăn xếp phần mềm chạy trên cơ sở hạ tầng đám mây. Nó cũng phác thảo những thách thức xác thực và giới thiệu một khung mô phỏng mở rộng tổng quát mới để minh họa tính hiệu quả, hiệu suất và khả năng mở rộng của các mô hình phân phối tự tổ chức và tự quản lý trên cơ sở hạ tầng đám mây siêu quy mô. Nó kết thúc với một số trường hợp sử dụng tiềm năng cho các đám mây tự tổ chức, tự quản lý và tác động đến các doanh nghiệp đó

Cuốn sách này phát triển các công cụ thiết yếu của đại số tuyến tính, với mục tiêu truyền đạt kỹ thuật cùng với sự hiểu biết theo ngữ cảnh. Các ứng dụng đi đôi với lý thuyết, cái này củng cố và giải thích cái kia. Cách tiếp cận này khuyến khích học sinh phát triển không chỉ trình độ kỹ thuật cần thiết để tiếp tục nghiên cứu sâu hơn mà còn đánh giá cao thời điểm, lý do và cách thức sử dụng các công cụ của đại số tuyến tính trong toán học ứng dụng hiện đại.

Cuốn sách này giới thiệu các Khái niệm và Phương pháp tính toán đóng vai trò là tài liệu cơ bản về toán tài chính, tập trung vào hiểu biết khái niệm về các mô hình và giải quyết vấn đề.