Logic học đại cương là học phần tự chọn của chương trình đào tạo đại học ngành tài chính ngân hàng. Học phần được bố trí giảng dạy trước các học phần chuyên ngành. Học phần trang bị cho sinh viên những kiến thức cơ bản về: Mệnh đề, các phép toán logic; hàm mệnh đề; khái niệm và quan hệ giữa các khái niệm; các công thức, quy tắc suy luận; các phép suy luận, suy diễn; phương pháp chứng minh, bác bỏ và giả thuyết. | TRƯỜNG ĐẠI HỌC KNH TẾ - KỸ THUẬT CÔNG NGHIỆP KHOA KHOA HỌC CƠ BẢN BỘ MÔN TOÁN ĐỀ CƯƠNG CHI TIẾT HỌC PHẦN LOGIC HỌC ĐẠI CƯƠNG 1. THÔNG TIN CHUNG - Tên học phần tiếng Việt Logic học đại cương - Tên học phần tiếng Anh General Logic - Mã môn học MAT06 - Thuộc khối kiến thức Kiến thức giáo dục đại cương - Khoa Bộ môn phụ trách Khoa Khoa học Cơ bản Bộ môn Toán - Giảng viên phụ trách chính ThS. Phạm Thị Thư Email ptthu@ Phòng làm việc văn phòng Khoa KHCB cơ sở Nam Định 353-Trần Hưng Đạo. - Giảng viên tham gia giảng dạy Phạm Thị Thư - Số tín chỉ 2 22 16 30 60 Trong đó N Số tín chỉ a Số tiết LT b Số tiết TH TL a b 2 15xN Số giờ sinh viên tự học 30 x N Khoản 3 điều 3 Qui chế 686 ĐHKTKTCN Số tiết Lý thuyết 22 tiết Số tiết TH TL trên lớp 16 tiết Số tiết Tự học 60 giờ - Tính chất của học phần Tự chọn - Điều kiện tham dự học phần Học phần tiên quyết Không Học phần song hành Không Điều kiện khác Không 2. MÔ TẢ HỌC PHẦN Logic học đại cương là học phần tự chọn của chương trình đào tạo đại học ngành tài chính ngân hàng. Học phần được bố trí giảng dạy trước các học phần chuyên ngành. Học phần trang bị cho sinh viên những kiến thức cơ bản về Mệnh đề các phép toán logic hàm 1 mệnh đề khái niệm và quan hệ giữa các khái niệm các công thức quy tắc suy luận các phép suy luận suy diễn phương pháp chứng minh bác bỏ và giả thuyết. 3. MỤC TIÊU HỌC PHẦN Mô tả mục tiêu Mục tiêu Gx CĐR của CTĐT Học phần này trang bị cho sinh viên Nhớ được những kiến thức cơ bản về mệnh đề các phép toán logic hàm mệnh đề khái niệm và quan hệ giữa G1 các khái niệm các công thức quy tắc suy luận các quy luật cơ bản của logic học và phép suy luận suy diễn phép chứng minh bác bỏ và xây dựng giả thuyết. Thực hành giải được các bài tập xác định công thức logic của các phán đoán chuyển các phán đoán từ ngôn ngữ thông thường sang ngôn ngữ kí hiệu và ngược lại Xác định định quan G2 hệ giữa các khái niệm Tìm được các phán đoán tương đương phủ định các phán đoán vận dụng được các quy tắc .
