품목정보
발행일	2016년 01월 30일
쪽수, 무게, 크기	887쪽 \| 173*225mm
ISBN13	9788966261703
ISBN10	8966261701

더보기

이 상품의 태그

#월간개발자_추천도서

그릿 (50만 부 판매 기념 리커버 골드에디션)

16,200원 (10%)

'그릿 (50만 부 판매 기념 리커버 골드에디션)' 상세페이지 이동

생각에 관한 생각

26,820원 (10%)

'생각에 관한 생각' 상세페이지 이동

[예스리커버] 우리가 빛의 속도로 갈 수 없다면

12,600원 (10%)

'[예스리커버] 우리가 빛의 속도로 갈 수 없다면' 상세페이지 이동

비전공자도 이해할 수 있는 AI 지식

17,820원 (10%)

'비전공자도 이해할 수 있는 AI 지식' 상세페이지 이동

팩트풀니스

17,820원 (10%)

'팩트풀니스' 상세페이지 이동

혼자 공부하는 머신러닝+딥러닝

23,400원 (10%)

'혼자 공부하는 머신러닝+딥러닝' 상세페이지 이동

떨림과 울림

13,500원 (10%)

'떨림과 울림' 상세페이지 이동

지금 이 순간을 살아라

11,250원 (10%)

'지금 이 순간을 살아라' 상세페이지 이동

Clean Code 클린 코드

29,700원 (10%)

'Clean Code 클린 코드' 상세페이지 이동

딥 워크

15,300원 (10%)

'딥 워크' 상세페이지 이동

밑바닥부터 시작하는 딥러닝

21,600원 (10%)

'밑바닥부터 시작하는 딥러닝 ' 상세페이지 이동

나는 4시간만 일한다

15,120원 (10%)

'나는 4시간만 일한다' 상세페이지 이동

클린 아키텍처

26,100원 (10%)

'클린 아키텍처' 상세페이지 이동

미래를 바꾼 아홉 가지 알고리즘

16,920원 (10%)

'미래를 바꾼 아홉 가지 알고리즘' 상세페이지 이동

객체지향의 사실과 오해

18,000원 (10%)

'객체지향의 사실과 오해' 상세페이지 이동

오브젝트

34,200원 (10%)

'오브젝트' 상세페이지 이동

인스파이어드

21,600원 (10%)

'인스파이어드' 상세페이지 이동

최소한의 선의

13,500원 (10%)

'최소한의 선의' 상세페이지 이동

이펙티브 자바 Effective Java 3/E

32,400원 (10%)

'이펙티브 자바 Effective Java 3/E' 상세페이지 이동

구글 엔지니어는 이렇게 일한다

40,500원 (10%)

'구글 엔지니어는 이렇게 일한다' 상세페이지 이동

더보기

1. 프로시저를 써서 요약하는 방법 1.1 프로그램 짤 때 바탕이 되는 것 1.1.1 식 1.1.2 이름과 환경 1.1.3 엮은식(combination)을 계산하는 방법 1.1.4 묶음 프로시저(compound procedure) 1.1.5 맞바꿈 계산법(substitution model)으로 프로시저를 실행하는 방법 1.1.6 조건 식과 술어(predicate) 1.1.7 연습 : 뉴튼 법(newton method)으로 제곱근 찾기 1.1.8 블랙박스처럼 간추린 프로시저 1.2 프로시저와 프로세스 1.2.1 되돌거나(recursion) 반복하는(iteration) 프로세스 1.2.2 여러 갈래로 되도는 프로세스 1.2.3 프로세스가 자라나는 정도 1.2.4 거듭제곱 1.2.5 최대 공약수 1.2.6 연습 : 소수 찾기 1.3 차수 높은 프로시저(higher-order procedure)로 요약하는 방법 1.3.1 프로시저를 인자로 받는 프로시저 1.3.2 lambda로 나타내는 프로시저 1.3.3 일반적인 방법을 표현하는 프로시저 1.3.4 프로시저를 만드는 프로시저 2. 데이터를 요약해서 표현력을 끌어올리는 방법 2.1 데이터 요약데이터 간추리기, 데이터 내용 감추기 2.1.1 연습 : 유리수를 위한 산술 연산 2.1.2 요약의 경계(abstraction barrier) 2.1.3 데이터란 무엇인가? 2.1.4 집중 과제 : 구간 산술 연산 만들기 2.2 계층 구조 데이터와 닫힘 성질 2.2.1 차례열의 표현 방법 2.2.2 계층 구조 2.2.3 공통 인터페이스로써 차례열의 쓰임새 2.2.4 연습 : 그림 언어 2.3 글자기호 데이터 2.3.1 따옴표 연산 2.3.2 연습 : 글자 식의 미분(symbolic differentiation) 2.3.3 연습 : 집합을 나타내는 방법 2.3.4 연습 : 허프만 인코딩 나무 2.4 요약된 데이터의 표현 방식이 여러 가지일 때 2.4.1 복소수 표현 2.4.2 타입을 표시한 데이터 2.4.3 데이터 중심 프로그래밍과 덧붙임 성질 2.5 일반화된 연산 시스템 2.5.1 일반화된 산술 연산 2.5.2 타입이 다른 데이터를 엮어 쓰는 방법 2.5.3 연습 : 기호 식 대수 3. 모듈, 물체, 상태 3.1 덮어쓰기와 갇힌 상태(local state) 3.1.1 갇힌 상태변수(local state variable) 3.1.2 덮어쓰기가 있어서 좋은 점 3.1.3 덮어쓰기를 끌어들인 대가 3.2 환경 계산법 3.2.1 계산 규칙 3.2.2 간단한 프로시저 계산하기 3.2.3 물체에 상태를 넣어두는 곳, 변수 일람표 3.2.4 안쪽 정의 3.3 변형 가능한 데이터로 프로그래밍하기 3.3.1 변형 가능한 리스트 3.3.2 큐 3.3.3 표 3.3.4 디지털 회로 시뮬레이터 3.3.5 관계 알리기(constraint propagation) 3.4 병행성??g : 시간은 중요하다 3.4.1 병행 시스템에서 시간의 성질본질 3.4.2 병행성을 다스리는 방법 3.5 스트림 3.5.1 스트림과 (계산을) 미룬 리스트 3.5.2 무한 스트림(infinite stream) 3.5.3 스트림 패러다임 3.5.4 스트림과 셈미룸 계산법 3.5.5 모듈로 바라본 함수와 물체 4. 언어를 처리하는 기법 4.1 메타써큘러 실행기 4.1.1 언어 실행기의 알짜배기 4.1.2 식을 나타내는 방법 4.1.3 언어 실행기에서 쓰는 데이터 구조 4.1.4 언어 실행기를 보통 프로그램처럼 돌려보기 4.1.5 프로그램도 데이터처럼 4.1.6 안쪽 정의(internal definition) 4.1.7 문법 분석과 실행 과정을 떼어놓기 4.2 Scheme 바꿔보기 - 제때 계산법 4.2.1 식의 값을 구하는 차례 - 정의대로 계산법과 인자 먼저 계산법 4.2.2 제때 계산법을 따르는 실행기 4.2.3 제때셈 리스트와 스트림 4.3 Scheme 바꿔보기 - 비결정적 계산 4.3.1 amb와 찾기 4.3.2 비결정적 프로그램 짜기 4.3.3 amb 실행기 구현 4.4 논리로 프로그램 짜기 4.4.1 연역식 정보 찾기 4.4.2 쿼리 시스템의 동작 방식 4.4.3 논리 프로그래밍은 수학 논리를 따르는가? 4.4.4 쿼리 시스템 만들기 4.4.4.1 드라이버 루프와 쿼리 값 찍어내기(instantiation) 4.4.4.2 실행기(evaluator) 4.4.4.3 패턴 매칭으로 참말 찾아내기 4.4.4.4 규칙과 동일화 4.4.4.5 데이터베이스의 관리 4.4.4.6 스트림 연산 4.4.4.7 쿼리의 문법을 처리하는 프로시저 4.4.4.8 일람표와 정의 5. 레지스터 기계로 계산하기 5.1 레지스터 기계 설계하기 5.1.1 레지스터 기계를 묘사하는 언어 5.1.2 기계 디자인에서의 속 내용 감추기(abstraction) 5.1.3 서브루틴 5.1.4 스택(stack)을 이용해 되돌기(recursion) 구현하기 5.1.5 명령어 정리 5.2 레지스터 기계 시뮬레이터 5.2.1 기계 모형 5.2.2 어셈블러 5.2.3 명령에 해당하는 실행 프로시저 만들기 5.2.4 기계 성능 지켜보기 5.3 메모리 할당(memory allocation)과 재활용(garbage collection) 5.3.1 벡터로 나타낸 메모리 5.3.2 무한히 많은 메모리인 양 보이기 5.4 제어가 다 보이는 실행기 5.4.1 제어가 다 보이는 실행기의 핵심부 5.4.2 시퀀스 계산과 꼬리 되돌기(tail recursion) 5.4.3 조건 식, 덮어쓰기(assignment), 정의 5.4.4 실행기 돌리기 5.5 번역(compilation) 5.5.1 번역기의 구조 5.5.2 프로그램 식의 번역 5.5.3 조합 식 번역하기 5.5.4 명령줄 한데 합치기 5.5.5 번역된 코드의 예 5.5.6 텍스트에서 변수의 정의를 파악하기(lexical addressing) 5.5.7 번역된 코드를 실행기에 연결하기 용어 대역표 연습문제 목차 참고문헌 찾아보기

더보기

저자 소개 관련자료 보이기/감추기

저 자 소 개

해럴드 애빌슨(Harold Abelson)
매사추세츠 공과대학(MIT)의 전기공학&컴퓨터과학 학부(Department of Electrical Engineering and Computer Science)에서 컴퓨터과학을 가르치며, 미국 전기전자기술자협회(IEEE)의 특별회원이다. Creative Commons와 Public Knowledge, 자유소프트웨어연합(FSF)을 세우는 일을 이끌었으며, MIT 교육기술자문위원회의 공동의장으로 일한다.

제럴드 제이 서스먼(Gerald Jay Sussman)
매사추세츠 공과대학의 전기전자공학부에서 전자공학을 가르치며, 1964년부터 MIT 인공지능 연구에 참여하여 문제해결 분야에 공헌하고 있다. 『프로그램의 구조와 해석(2판)』에 공저자로 참여하였다.

줄리 서스먼(Julie Sussman)
제럴드 서스먼의 부인으로, 자연어와 컴퓨터 언어를 모두 다루는 작가 겸 편집자다.

역 자 소 개

김재우
동아대학교 컴퓨터공학과를 나왔고, 블루엣과 플라스틱 등 소프트웨어 개발 도구 전문회사에서 십여 년간 기술 지도자로 일했다. 이론 연구 성과를 교육과 실무에서 전하는 것을 즐거워하며, 현재는 메타프로그래밍과 선형 논리를 한 시스템으로 묶는 데 열을 올리고 있다. 자주 글을 쓰지 않아 찾는 사람도 없건만, http://kizoo.blogspot.com에 글자리를 펴놓았다. 현재는 동명대학교 컴퓨터공학과 전임강사와 (주)블루엣 인터내셔널의 소프트웨어 아키텍처 멘토로 일하고 있다.

안윤호
의대를 졸업하고 서울대학교 의용생체공학과에서 연구했으며 동 대학원에서 공학을 전공했다. 전자공학과 컴퓨터를 취미로 다룬 지는 아주 오래되었다. 지금도 개인적인 호기심의 세계와 첨단 엔지니어링 세계에 차별을 두지 않고 전자공학과 컴퓨터 그리고 기술세계의 문화에 대한 관심을 기울이고 있다. 『과학 동아』에 과학과 기술과 문화에 대한 글을, 『마이크로소프트웨어』에 컴퓨터의 역사에 대한 새로운 시각과 리눅스 운영체제의 구조에 대한 칼럼을 오랫동안 기고하였으며 ZDNET에는 디지털 평전을 연재했다. 개인적으로 LISP와 인공지능에 관심을 두고, FAB에 대해서도 나름대로 구현하는 방법을 연구 중이다.

김수정
동명대학교 MPS(Multi-paradigm Problem Solving) 교과의 강의 팀에서 일했고, 동서대학교 전자공학과에서 강의했다. 한국해양대학교 전자통신공학과를 졸업하고, 동 대학원에서 석사학위를 받았다.

김정민
서울대 컴퓨터공학부를 졸업하고 SK텔레콤 정보기술연구원에서 Billing/OSS, ICIS 분야의 대형 프로젝트 PM으로 참여하였다. SW 분야의 미국 특허소송 및 프로그램 저작권 문제 등 기술 관련 관심 분야를 넓히고 있다. 옮긴 책으로 『소프트웨어 개발의 지혜』(야스미디어), 『실용주의 프로그래머를 위한 프로젝트 자동화』(인사이트), 『실용주의 프로그래머를 위한 단위 테스트 with JUnit』(인사이트) 등 10여 권이 있다.

감수 : 이광근

현재 서울대학교 컴퓨터공학부 교수로 있다. KAIST 전산학과 교수, Bell Labs - Software Principles Research Department 정규 연구원, 교육과학기술부 지정 선도연구센터 센터장, 과학기술부 지정 창의연구단 단장 등과 MIT 컴퓨터과학및인공지능 연구실, CMU 컴퓨터과학과, 파리 고등사범학교(ENS) 컴퓨터과학과 방문교수를 역임했다. 지은 책으로 『컴퓨터과학이 여는 세계』(인사이트)가 있다. 홈페이지는 kwangkeunyi.snu.ac.kr

더보기

회원리뷰 (3건) 회원리뷰 이동

리뷰 쓰기

혜택 및 유의사항?

총 평점 7.4점 7.4 / 10.0

검색결과 정렬 옵션 삭제

회원리뷰 전체보기

한줄평 (4건) 한줄평 이동

한줄평 쓰기

혜택 및 유의사항?

총 평점 8.5점 8.5 / 10.0

구매 한줄평

한줄평 전체보기

배송/반품/교환 안내

배송 안내

반품/교환 안내에 대한 내용입니다.
배송 구분	예스24 배송 배송비 : 무료배송
포장 안내	안전하고 정확한 포장을 위해 CCTV를 설치하여 운영하고 있습니다. 고객님께 배송되는 모든 상품을 CCTV로 녹화하고 있으며, 철저한 모니터링을 통해 작업 과정에 문제가 없도록 최선을 다 하겠습니다. 목적 : 안전한 포장 관리 촬영범위 : 박스 포장 작업

반품/교환 안내

상품 설명에 반품/교환과 관련한 안내가 있는경우 아래 내용보다 우선합니다. (업체 사정에 따라 달라질 수 있습니다)

반품/교환 안내에 대한 내용입니다.
반품/교환 방법	고객만족센터(1544-3800), 중고샵(1566-4295) 판매자 배송 상품은 판매자와 반품/교환이 협의된 상품에 한해 가능합니다.
반품/교환 가능기간	출고 완료 후 10일 이내의 주문 상품 디지털 콘텐츠인 eBook의 경우 구매 후 7일 이내의 상품 중고상품의 경우 출고 완료일로부터 6일 이내의 상품 (구매확정 전 상태)
반품/교환 비용	고객의 단순변심 및 착오구매일 경우 상품 반송비용은 고객 부담임 직수입양서/직수입일서중 일부는 변심 또는 착오로 취소시 해외주문취소수수료 20%를 부과할수 있음 단, 아래의 주문/취소 조건인 경우, 취소 수수료 면제 오늘 00시 ~ 06시 30분 주문을 오늘 오전 06시 30분 이전에 취소 오늘 06시 30분 이후 주문을 익일 오전 06시 30분 이전에 취소 직수입 음반/영상물/기프트 중 일부는 변심 또는 착오로 취소 시 해외주문취소수수료 30%를 부과할 수 있음 단, 당일 00시~13시 사이의 주문은 취소 수수료 면제 박스 포장은 택배 배송이 가능한 규격과 무게를 준수하며, 고객의 단순변심 및 착오구매일 경우 상품의 반송비용은 박스 당 부과됩니다.
반품/교환 불가사유	소비자의 책임 있는 사유로 상품 등이 손실 또는 훼손된 경우 소비자의 사용, 포장 개봉에 의해 상품 등의 가치가 현저히 감소한 경우 : 예) 화장품, 식품, 가전제품, 전자책 단말기 등 복제가 가능한 상품 등의 포장을 훼손한 경우 : 예) CD/LP, DVD/Blu-ray, 소프트웨어, 만화책, 잡지, 영상 화보집 소비자의 요청에 따라 개별적으로 주문 제작되는 상품의 경우 디지털 컨텐츠인 eBook, 오디오북 등을 1회 이상 다운로드를 받았을 경우 eBook 대여 상품은 대여 기간이 종료 되거나, 2회 이상 대여 했을 경우 취소 불가 중고상품이 구매확정(자동 구매확정은 출고완료일로부터 7일)된 경우 LP상품의 재생 불량 원인이 기기의 사양 및 문제인 경우 (All-in-One 일체형 일부 보급형 오디오 모델 사용 등) 시간의 경과에 의해 재판매가 곤란한 정도로 가치가 현저히 감소한 경우 전자상거래 등에서의 소비자보호에 관한 법률이 정하는 소비자 청약철회 제한 내용에 해당되는 경우
소비자 피해보상	상품의 불량에 의한 반품, 교환, A/S, 환불, 품질보증 및 피해보상 등에 관한 사항은 소비자분쟁해결기준(공정거래위원회 고시)에 준하여 처리됨
환불 지연에 따른 배상	대금 환불 및 환불 지연에 따른 배상금 지급 조건, 절차 등은 전자상거래 등에서의 소비자 보호에 관한 법률에 따라 처리