Logic Toán

Cập nhật vào: Thứ năm - 12/08/2021 00:22

Nhan đề chính: Logic Toán
Tác giả: Nguyễn Gia Thơ
Nhà xuất bản: Khoa học xã hội
Năm xuất bản: 2019
Số trang: 131 trang
Ngôn ngữ: Tiếng Việt
ISBN: 9786049565724
Lời giới thiệu:
Logic toán (Logic ký hiệu) xuất hiện là kết quả của việc sử dụng các phương pháp toán học vào những vấn đề của logic hình thức. Nhờ có ngôn ngữ nhân tạo được xây dựng một cách chuyên biệt mà có thể đạt được sự chính xác hóa nhiều vấn đề của logic học và thực hiện được việc xây dụng tiêu đề của nhiều lý thuyết logic. Và cũng chính nhờ có ngôn ngữ nhân tạo mà có thể đặt ra và giải quyết những vấn đề logic học có mức độ phức tạp cao mà logic truyền thống không thể làm nổi.
Logic toán là tài liệu tham khảo hữu ích cho bạn đọc lĩnh vực toán Logic
Từ khóa: Toán học; Logic toán học; Đại số.
Ký hiệu kho: Vv 2446/2021
Nội dung cuốn sách gồm những phần sau:
Logic mệnh đề
Mệnh đề đơn và phức
Ngôn ngữ của logic mệnh đề
Ngữ nghĩa của các hệ từ logic
Những điều kiện cho tính chân thực của công thức trong logic mệnh đề
Các công thức đẳng trị
Các công thức đồng nhất chân thực (đúng) và đồng nhất giả dối (sai)
Hình thức hội bình thường của công thức trong logic mệnh đề
Hình thức hội bình thường hoàn thiện của công thức trong logic mệnh đề
Hình thức hội bình thường rút gọn của công thức trong logic mệnh đề
Hình thức tuyển bình thường của công thức trong logic mệnh đề
Hệ tiên đề của logic mệnh đề
Phép toán mệnh đề tự nhiên
Logic vị từ

Logic Toán

Những tin mới hơn

Những tin cũ hơn