Nhan đề chính: Foundations of Software Science and Computation Structures

Nhan đề dịch: Nền tảng của Khoa học phần mềm và Cấu trúc tính toán

Tác giả: Naoki Kobayashi, James Worrell

Nhà xuất bản: Springer Cham

Năm xuất bản: 2024

Số trang: 288 tr.

Ngôn ngữ: Tiếng Anh 

ISBN: 978-3-031-57231-9

SpringerLink

Lời giới thiệu: Hai tập sách truy cập mở LNCS 14574 và 14575 cấu thành biên bản của Hội nghị quốc tế lần thứ 27 về Nền tảng của Khoa học phần mềm và Cấu trúc tính toán, FOSSACS 2024, diễn ra tại Luxembourg vào tháng 4 năm 2024.  24 bài báo đầy đủ có trong cuốn sách này đã được xem xét cẩn thận và chọn lọc từ 79 bài nộp. Chúng được sắp xếp theo các phần chuyên đề như sau: 

Phần I: Trò chơi vô hạn; ngữ nghĩa phạm trù; máy tự động và tổng hợp; 

Phần II: Các loại và ngôn ngữ lập trình; logic và chứng minh; hệ thống trạng thái vô hạn.

Từ khóa: Logic; Lý thuyết ngôn ngữ; Máy tự động; Trò chơi; Lập trình; Phần mềm.

Nội dung cuốn sách gồm những phần sau:

* Các loại và ngôn ngữ lập trình

Từ Viết lại Quy tắc thành Tiên đề trong

Lý thuyết Modulo Giải tích

Sự chung chung nhẹ nhàng

Các vị từ logic trong ngữ nghĩa hoạt động toán học bậc cao

Về các hàm khả thi cơ bản và phương pháp diễn giải

* Logic và Bằng chứng

Sự ngắn gọn của các mảnh Cosafety của LTL thông qua Hệ thống chứng minh kết hợp

Hệ thống chứng minh tương tác dựa trên độ phân giải cho UNSAT

Nội suy Craig cho các mảnh bậc nhất có thể quyết định

Bản sao, phạm trù đóng và logic kết hợp

* Hệ thống vô hạn trạng thái

Khả năng tiếp cận trong VASS cố định: Khả năng biểu đạt và giới hạn dưới

Từ tận cùng đến sự chấm dứt gần như chắc chắn của việc viết lại thuật ngữ xác suất

Kích thước tối thiểu và tính nguyên thủy của lưới đối thủ

Mạng phát sóng tham số hóa với các thanh ghi