메뉴 바로가기 검색 및 카테고리 바로가기 본문 바로가기

한빛출판네트워크

인공지능 논리 입문

수리논리로 이해하는 AI논리

한빛아카데미

집필서

판매중

  • 저자 : 이은정
  • 출간 : 2021-09-10
  • 페이지 : 260 쪽
  • ISBN : 9791156645603
  • 물류코드 :4560
  • 본 도서는 대학 강의용 교재로 개발되었으므로 연습문제 풀이는 제공하지 않습니다.
    단, 일부 정답은 [부록/예제소스]에서 내려받을 수 있습니다.
  • 초급 초중급 중급 중고급 고급
5점 (1명)
좋아요 : 4

논리를 이해하면 인공지능이 보인다!

 

4차 산업혁명과 함께 펼쳐진 인공지능 시대! 

각 전문 분야에서는 인공지능을 활용할 수 있는 융합인재를 필요로 합니다.

인공지능의 원리와 동작을 이해하는 가장 좋은 출발점은 논리와 추론 방식을 학습하는 것입니다. 

이 책은 인공지능으로 향하는 징검다리로서 논리적으로 사고하고 표현하는 역량을 기르는 데 도움을 줍니다

 

 

인공지능 논리 입문_900px.jpg

이은정 저자

이은정

현재 경기대학교 AI컴퓨터공학부 교수로 재직 중이다. 서울대학교 계산통계학과에서 학사, KAIST 전산학과에서 석·박사 학위를 취득하였다. 한국전자통신연구원에서 6년간 근무했으며, 미국 탠덤컴퓨터 사 (Tandem computer, Inc.) 에서 방문연구원을 역임하였다. 저서로는 『창의기초설계』(생능출판사, 2013년)가 있다.

PART 0 들어가기 전에

 

CHAPTER 01 논리와 인공지능

1.1 논리란 무엇인가? 

1.2 인공지능이란 무엇인가? 

1.3 논리와 인공지능의 관계   

 

 

PART 1 명제논리

 

CHAPTER 02 명제 

개념확인문제

연습문제     

 

CHAPTER 03 기본 논리연산자

3.1 AND 연산자(∧)

3.2 OR 연산자(∨) 

3.3 NOT 연산자(~)

3.4 문장을 논리식으로 표현하기

3.5 논리식의 계산 순서

3.6 진리표를 이용한 논리식의 계산     

개념확인문제

연습문제 


CHAPTER 04 조건연산자를 포함한 명제논리식

4.1 조건연산자(→)

4.2 조건을 포함한 명제논리식의 계산 순서 

4.3 only if(~해야 ~한다) 조건문과 if and only if 연산자 

4.4 조건문과 관련된 논리식의 관계

4.5 필요조건과 충분조건 

개념확인문제

연습문제 

 

CHAPTER 05 논리식의 동치와 동치규칙

5.1 동치와 모순 

5.2 항진명제와 모순명제 

5.3 동치규칙

5.4 동치규칙을 이용한 동치증명 

개념확인문제

연습문제 

논리퀴즈     

 

 

PART 2 명제논리의 추론과 증명

 

CHAPTER 06 주장 

6.1 주장이란

6.2 약식 진리표를 이용한 주장의 증명

6.3 주장의 반례를 통한 타당성 검증             

개념확인문제

연습문제 

 

CHAPTER 07 추론규칙과 주장의 타당성 증명

7.1 추론과 추론규칙

7.2 기본 추론규칙

7.3 기본 추론규칙을 활용한 패턴 찾기 

7.4 추가 추론규칙과 주장의 타당성 증명             

개념확인문제

연습문제 

 

CHAPTER 08 자연연역법에 의한 증명 기법

8.1 직접증명 

8.2 조건증명 

8.3 간접증명  

개념확인문제

연습문제 

논리퀴즈 

 

 

PART 3 술어논리

 

CHAPTER 09 정언명제

9.1 A형식 : 모든 S는 P이다

9.2 E형식 : 모든 S는 P가 아니다 

9.3 I형식 : 어떤 S는 P이다

9.4 O형식 : 어떤 S는 P가 아니다    

개념확인문제

연습문제 

 

CHAPTER 10 단일변수 술어논리

10.1 술어논리의 구성요소

10.2 한정자 3

10.3 단순 술어논리식으로 변환

10.4 단순 술어논리식의 연결

10.5 변수의 범위와 형식에 맞는 술어논리식   

개념확인문제

연습문제

 

CHAPTER 11 단일변수 술어논리식의 다양한 형태

11.1 단일변수 다중 술어논리식의 기본 형식

11.2 존재 한정자 

11.3 단일변수 다중 술어논리식의 활용  

개념확인문제

연습문제

 

CHAPTER 12 다중변수 술어논리식

12.1 다중변수 술어논리식의 형식 

12.2 다중변수 술어논리식의 해석 

12.3 다중변수 술어논리식으로 변환    

개념확인문제

연습문제

 

 

PART 3 인공지능

 

CHAPTER 13 인공지능이란

13.1 인공지능을 구성하는 주요 기술

13.2 인공지능과 소프트웨어 시스템 

13.3 인공지능의 간단한 역사 

13.4 인공지능의 현재와 미래    

개념확인문제


CHAPTER 14 인공지능에서 논리의 역할

14.1 인공지능과 지식 

14.2 지식표현 방법 

14.3 지식표현과 인공지능 요소의 관계

14.4 지식표현의 불완전성과 불확실성 

14.5 비단조 추론 방법

14.6 확률에 기초한 추론  

개념확인문제

 

CHAPTER 15 머신러닝과 딥러닝

15.1 컴퓨터는 어떻게 학습하는가?

15.2 머신러닝

15.3 신경망과 딥러닝    

개념확인문제

결제하기
• 문화비 소득공제 가능

도서구입 안내

<한빛아카데미> 도서는 한빛 홈페이지에서 더 이상 판매를 하지 않습니다. 도서 구입은 인터넷 서점을 이용하시기 바랍니다. 양해바랍니다.

리뷰쓰기

닫기
* 도서명 :
인공지능 논리 입문
* 제목 :
* 별점평가
* 내용 :

* 리뷰 작성시 유의사항

글이나 이미지/사진 저작권 등 다른 사람의 권리를 침해하거나 명예를 훼손하는 게시물은 이용약관 및 관련법률에 의해 제재를 받을 수 있습니다.

1. 특히 뉴스/언론사 기사를 전문 또는 부분적으로 '허락없이' 갖고 와서는 안됩니다 (출처를 밝히는 경우에도 안됨).
2. 저작권자의 허락을 받지 않은 콘텐츠의 무단 사용은 저작권자의 권리를 침해하는 행위로, 이에 대한 법적 책임을 지게 될 수 있습니다.

오탈자 등록

닫기
* 도서명 :
인공지능 논리 입문
* 구분 :
* 상품 버전
종이책 PDF ePub
* 페이지 :
* 위치정보 :
* 내용 :

도서 인증

닫기
도서명*
인공지능 논리 입문
구입처*
구입일*
부가기호*
부가기호 안내

* 온라인 또는 오프라인 서점에서 구입한 도서를 인증하면 마일리지 500점을 드립니다.

* 도서인증은 일 3권, 월 10권, 년 50권으로 제한되며 절판도서, eBook 등 일부 도서는 인증이 제한됩니다.

* 구입하지 않고, 허위로 도서 인증을 한 것으로 판단되면 웹사이트 이용이 제한될 수 있습니다.

닫기

해당 상품을 장바구니에 담았습니다.이미 장바구니에 추가된 상품입니다.
장바구니로 이동하시겠습니까?

자료실