Logic Toán (NXB Thanh Hóa 2001) - Nguyễn Đức Đồng, 251 Trang

Discussion in 'Toán Học' started by quanh.bv, Feb 13, 2015.

  1. quanh.bv

    quanh.bv Hỗ Trợ Diễn Đàn Staff Member Quản Trị Viên

    [​IMG]
    Lôgic toán là một ngành con của toán học có liên hệ gần gũi với cơ sở toán học, khoa học máy tính lý thuyết, logic triết học. Ngành này bao gồm cả hai phần: Nghiên cứu toán học về logic và những ứng dụng của logic hình thức trong các ngành khác của toán học. Các chủ đề thống nhất trong logic toán học bao gồm các nghiên cứu về sức mạnh ý nghĩa của các hệ thống hình thức và sức mạnh suy diễn của hệ thống chứng minh chính thức. Sách có những nội dung chính sau: Đại số logic, logic vị từ, hệ toán mệnh đề, logic và vấn đề dạy học toán học, hàm logic mờ và hàm logic đa trị.
    • Logic Toán
    • NXB Thanh Hóa 2001
    • Nguyễn Đức Đồng, Nguyễn Văn Vĩnh
    • 251 Trang
    • File PDF-SCAN
    Link download
    https://lib.hpu.edu.vn/handle/123456789/2468
     
    Last edited by a moderator: Oct 21, 2019
    admin likes this.

Share This Page