Logic Logic Bởi: Khoa CNTT ĐHSP KT Hưng Yên LOGIC Logic sử dụng để biểu diễn luận điểm xác mênh đề toán học Những luật logic dùng để phân biệt luận điểm sai Bài học giúp người học cách thức để hiểu xây dựng luận điểm toán học đắn Logic nội dung trung tâm khoa học máy tính từ ngành hình thành: công trình Alan Turing Entscheidungsproblem theo sau từ công trình Kurt Gödel định lý không toàn vẹn, khái niệm máy tính dành cho mục đích tổng quát bắt nguồn từ công trình có tầm quan trọng mang tính tảng nhà thiết kế máy tính năm 1940 Trong năm 1950 1960, nhà nghiên cứu dự đoán tri thức người biểu diễn logic ký hiệu toán học, có khả tạo máy tính có khả lập luận, hay nói cách khác trí tuệ nhân tạo Điều hóa khó khăn dự đoán phức tạp lập luận người Trong lập trình logic, chương trình bao gồm tập hợp tiên đề luật Các hệ thống lập trình logic Prolog tính toán hệ tiên đề luật để trả lời truy vấn Ngày nay, logic ứng dụng rộng rãi lãnh vực trí tuệ nhân tạo, khoa học máy tính, ngành cung cấp nguồn dồi toán logic hình thức phi hình thức Lý thuyết lý luận ví dụ tốt cho thấy logic áp dụng vào trí tuệ nhân tạo Thêm vào đó, máy tính sử dụng công cụ cho nhà logic học Ví dụ, logic biểu tượng logic toán học, chứng minh người hỗ trợ máy tính Sử dụng chứng minh định lý tự động, máy tính tìm kiểm tra chứng minh, làm việc với chứng minh dài cho việc viết 1/1