논리학 수업 계획

2023년 1학기

이웅희 (woongheelee@hanyang.ac.kr)
 목차

▪ 수업 교재
▪ 평가 항목
– 평가 비율
– 출석 체크 방식

▪ 요일 별 수업 방식
▪ 시험 날짜
▪ 휴강 계획
▪ 논리학 학습 동기와 목표
 수업 교재

▪ 수업 슬라이드

– 학교 포탈 -> 수업홈 -> 강의자료실

– 슬라이드는 대부분 한글로 작성하였으나 주요

용어들은 영문 혼용

▪ 교과서 (참고)

– Barwise, J., Etchemendy, J., Allwein, G., Barker-

Plummer, D., & Liu, A. (2000). Language, proof

and logic (p. 598). CSLI publications.

정말 중요! 수업 교재 (소프트웨어)

▪ Tarski’s World

▪ Fitch

▪ Boole

– 반드시 준비할 것

– 세 가지 모두 교과서를 구매하면 동봉 된 CD 안에 내장되어 있음

– 또는 학교 도서관에서 대출하여 소프트웨어 설치 후 반납

– 2nd edition 의 경우 Fitch 버그로 실행 안될 때는 1st edition 부록 소프트

웨어 사용해야함
 평가 항목

▪ 상대 평가

– 출석 5%

– 퀴즈 5%

– 중간고사 45%

– 기말고사 45%
 출석

▪ 수강정정 기간은 모두 출석 처리 (3월 3일 금요일, 3월 6일

월요일 수업은 출석체크X)

▪ 4회 초과한 결석 부터 출석 점수 차감

– 4회 결석까지는 출석 점수 감점 없음

– 따라서, 결석 사유서는 받지 않음

▪ 12회 결석 부터 F
 출석

▪ 수강정정 기간은 모두 출석 처리 (3월 3일 금요일, 3월 6일

월요일 수업은 출석체크X)

▪ 4회 초과한 결석 부터 출석 점수 차감

– 4회 결석까지는 출석 점수 감점 없음

– 따라서, 결석 사유서는 받지 않음

▪ 11회 결석 부터 F
 수업 진행 방식

▪ 월 – 이론 강의

– 논리학 용어, 개념 설명, 소프트웨어를 이용한 예제 풀이

▪ 금 – 퀴즈

– 지난 주 퀴즈 풀이 해설

– 이론 복습 / 문제 풀이 연습 (월요일 수업 복습을 위함)

– Open book - 수업 슬라이드, 교과서, 수업 소프트웨어

– 따라서 백지를 제외하고, 풀이 시도한 경우 정답 처리

▪ 질의/응답

– 이메일 woongheelee@hanyang.ac.kr
 시험 날짜

▪ 중간고사

– 5월 8일 월요일

▪ 기말고사

– 6월 19일 월요일

▪ Closed book

▪ 치팅은 무조건 F

– 예: 시험 중 휴대폰 사용, cheating sheet 사용

▪ 시간과 장소는 향후 공지
 휴강 계획

▪ 개교 기념일

–5월 15일 월요일 휴강

–5월 19일 금요일은 이론 강의

논리학 학습 동기와 목표
 논리의 역할

▪ 다음 학문 분야의 공통점은?
– 천문학, 경제학, 재무, 법학, 수학, 약학, 물리학, 사회학

– >> 이성적 사고에 기반한 학문의 원리가 세워져 있음

– 학문을 하는 사람은 두 가지를 구분 할 수 있다는 가정

• 원리나 증거에 기반한 논증 vs. 과한 추측

– 즉, 모든 학문은 논리의 기본 원리를 따를 줄 안다는 가정에 기

반하여 연구가 이뤄짐
 컴퓨터과학자를 위한 논리학 학습 목표

▪ 자연어는 불확실
– 동음이의어?

– 수업 인사말 정확한 문장?

▪ 컴퓨터에게 우리의 의사 전달을 위한 기초

– First-order logic (1차 논리 또는 술어 논리) 문법

– 주어진 논증의 논리적 귀결 (증명 기술)

 컴퓨터과학에서 논리의 역할

▪ 전자 회로

▪ 데이터베이스

▪ 인공지능

▪ 등등

https://www.circuits-diy.com/basic-digital-logic-gates-used-in-digital-electronics/
 컴퓨터과학에서 논리의 역할

▪ 전자 회로

▪ 데이터베이스

▪ 인공지능

▪ 등등

Appice, Annalisa & Ceci, Michelangelo & Malerba, Donato. (2005). Mining Model Trees: A Multi-relational Approach. 4-21. 10.1007/978-3-540-39917-9_3.
 컴퓨터과학에서 논리의 역할

▪ 전자 회로

▪ 데이터베이스

▪ 인공지능

▪ 등등

https://www.javatpoint.com/first-order-logic-in-artificial-intelligence
프로페셔널한 이메일 작성 방법
 편집기(메모장,
워드)에 작성해서
미리 검토하면 더
좋음

https://post.naver.com/viewer/postView.naver?volumeNo=33532138&memberNo=487943
https://post.naver.com/viewer/postView.naver?volumeNo=33532138&memberNo=487943
 한 밤 중에 휴대폰에
이메일 푸시 알람을
해두는 분도 있음 ->
다음날 아침 예약 발송

학번, 수업명
(수업코드 또는
수업하는 요일과
시간)

메일 서명을
추가하면
프로페셔널해짐
https://post.naver.com/viewer/postView.naver?volumeNo=33532138&memberNo=487943
 더욱 프로페셔널한 이메일을 위해서
▪ 팁
– 이메일 주소는 되도록 본명(영문명)으로
– 이메일 제목은 본문을 가장 대표할 수 있도록
– 프로페셔널하고 정중한 인사말로 시작
– 본문은 간결하고 명확하게
– 끝인사와 서명을 붙이고 마무리
– 이메일 쓰레드는 하나의 주제를 가지도록 유지
▪ 추가
– https://www.linkedin.com/pulse/how-write-professional-email-get-ahead-by-
linkedin-news/
– Business email etiquette 찾아보기
감사합니다