국내도서

>

전공도서/대학교재

>

공학계열

>

컴퓨터공학

• 
• 제휴몰 주문 시 고객보상, 일부 이벤트 참여 및 증정품 증정, 하루/당일 배송에서 제외되므로 참고 바랍니다.

• 
• 도서  > 전공도서/대학교재  > 공학계열  > 컴퓨터공학

• 

	프로그램 프로그래밍 프로그래머(총13건) CODE     31,500원 (10%↓) 실용주의 프로그래머(20주년 기념판)     29,700원 (10%↓) 클린 아키텍처: 소프트웨어 구조와 설계의 원칙 : 살아있는 전설이 들려주는 실용적인 소프트웨어 아키텍처 원칙     26,100원 (10%↓) 밑바닥부터 만드는 컴퓨팅 시스템 : 불 논리부터 컴퓨터 아키텍처, 운영체제까지     23,400원 (10%↓) 컴퓨터 프로그램의 구조와 해석     38,700원 (10%↓) 맨먼스 미신 : 소프트웨어 공학에 관한 에세이     19,800원 (10%↓) CODE     22,500원 (10%↓) 피플웨어     15,120원 (10%↓) 실용주의 프로그래머     22,500원 (10%↓) 테스트 주도 개발     22,500원 (10%↓) 생각하는 프로그래밍 : 프로그래밍 본질에 관한 15가지 에세이     19,800원 (10%↓) 프로그래밍 심리학     22,500원 (10%↓) Clean Code(클린 코드)     29,700원 (10%↓)

• 
• 
• [컴퓨터 프로그램의 구조와 해석]은 MIT 컴퓨터 과학 입문 교과 과정에서 쓰는 교과서로, 프로그래밍 언어 문법이 아닌 프로그램의 뼈대를 구성하는 기술을 익히게 도와주는 책이다.
• 
• 프로그래밍이 무엇인가 돌아보게 해주는 MIT의 컴퓨터과학 입문 교과서 마법사 책(Wizard Book)이라는 별명으로도 유명한 이 책은 독특하기로 소문난, MIT 컴퓨터 과학 입문 교과 과정에서 쓰는 교과서로, 프로그래밍 언어 문법이 아닌 프로그램의 뼈대를 구성하는 기술을 익히게 해준다. 흔한 프로그래밍 입문서와 달리, 난해하다는 평을 듣는 LISP에서 갈라져 나온 Scheme을 활용하며, 요약(abstraction)과 조립식 설계(modularity)에 따라 복잡한 프로그램을 간단하게 짜는 전략을 보여준다. 그뿐 아니라, 상태(state)가 있는 물체, 덮어쓰기(assignment), 병행 프로그래밍, 함수 프로그래밍, 제때 계산법(lazy evaluation), 비결정적 프로그래밍(non-deterministic programming) 등 다양한 프로그래밍 이슈를 살펴보며 한 걸음씩 프로그램을 설계하고 짜 맞추고 살펴보고 고쳐 쓰면서, '과연 프로그래밍이란 무엇인가' 돌이켜 보게 하고, 생각하는 방식과 그 생각을 표현하는 방식을 가르쳐 준다. 프로그래머를 기르는 마법서(Wizard Book) 이 책에 담긴 교과 과정은 한때 세계 300여 대학에서 사용되었으며, 지금도 100개 넘는 이름난 대학에서 가르치고 있을 만치, 세계 최고 수준의 프로그래밍 교육이라 일컫기에 조금도 모자람이 없습니다만, 아직도 우리나라에서는 이 책의 값어치가 생각만큼 그리 널리 알려지지는 않은 듯싶습니다.···(중략)···제 경험으론, 이 책에 담긴 가르침이 보기 드물게 깊고도 넓은 만큼, 읽는 사람들의 오해도 컸습니다. 프로그램 짜기를 처음 배우는 이보다는, 흔히들 쓰는 언어로 프로그램을 한참 짜본 사람들 가운데서, 이 책의 가르침을 어긋나게 받아들이거나 우습게 넘겨버리는 이가 훨씬 많았습니다. 저는 적어도 이 책의 3장까지 차분히 읽어가면서 손수 코드도 쳐서 돌려보고 연습문제도 꾸준히 풀어보지 않으면, 이 책이 주는 값어치를 올바르게 가늠하기 어렵다고 생각합니다. - 역자 서문에서
• 
• 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 barri...er) 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 병행성竝行性 : 시간은 중요하다 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 교육기술자문위원회의 공동의장으로 일한다.

• 김재우 [저]

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

• 이광근 [저]

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

• 전체 0개의 구매후기가 있습니다.
• 

인터파크도서는 고객님의 단순 변심에 의한 교환과 반품에 드는 비용은 고객님이 지불케 됩니다. 단, 상품이나 서비스 자체의 하자로 인한 교환 및 반품은 무료로 반품 됩니다. 교환 및 반품이 가능한 경우 상품을 공급 받은 날로부터 7일이내 가능 공급받으신 상품의 내용이 표시, 광고 내용과 다르거나 다르게 이행된 경우에는 공급받은 날로부터 3개월 이내,    혹은 그사실을 알게 된 날 또는 알 수 있었던 날로부터 30일 이내 상품에 아무런 하자가 없는 경우 소비자의 고객변심에 의한 교환은 상품의 포장상태 등이 전혀 손상되지 않은 경우에 한하여 가능 교환 및 반품이 불가능한 경우 구매확정 이후(오픈마켓상품에 한함) 고객님의 책임 있는 사유로 상품 등이 멸실 또는 훼손된 경우    (단, 상품의 내용을 확인하기 위하여 포장 등을 훼손한 경우는 제외) 시간이 지남에 따라 재판매가 곤란할 정도로 물품의 가치가 떨어진 경우 포장 개봉되어 상품 가치가 훼손된 경우 다배송지의 경우 반품 환불 다배송지의 경우 다른 지역의 반품을 동시에 진행할 수 없습니다. 1개 지역의 반품이 완료된 후 다른 지역 반품을 진행할 수 있으므로, 이점 양해해 주시기 바랍니다. 중고상품의 교환 중고상품은 제한된 재고 내에서 판매가 이루어지므로, 교환은 불가능합니다. 오픈마켓 상품의 환불 오픈마켓상품에 대한 책임은 원칙적으로 업체에게 있으므로, 교환/반품 접수시 반드시 판매자와 협의 후 반품 접수를 하셔야하며,    반품접수 없이 반송하거나, 우편으로 보낼 경우 상품 확인이 어려워 환불이 불가능할 수 있으니 유의하시기 바랍니다.

배송예정일 안내 인터파크 도서는 모든 상품에 대해 배송완료예정일을 웹사이트에 표시하고 있습니다. <인터파크 직배송 상품> 상품은 월~토요일 오전 10시 이전 주문분에 대하여 당일 출고/당일 배송완료를 보장하는 상품입니다. 상품은 서울지역/평일 주문분은 당일 출고/익일 배송완료를 보장하며, 서울외지역/평일 주문분의 경우는 오후 6시까지 주문분에 대하여 익일 배송완료를 보장하는 상품입니다. (단, 월요일은 12시까지 주문에 한함) 상품은, 입고예정일(제품출시일)+택배사배송일(1일)에 배송완료를 보장합니다. ~ 상품은 유통특성상 인터파크에서 재고를 보유하지 않은 상품으로 주문일+기준출고일+택배사배송일(1일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※기준출고일:인터파크가 상품을 수급하여 물류창고에서 포장/출고하기까지 소요되는 시간 <업체 직접배송/오픈마켓 상품> ~ 상품은 업체가 주문을 확인하고, 출고하기까지 걸리는 시간입니다. 주문일+기준출고일+택배사배송일(2일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※5일이내 출고가 시작되지 않을시, 오픈마켓 상품은 자동으로 주문이 취소되며, 고객님께 품절보상금을 지급해 드립니다. 배송비 안내 도서(중고도서 포함)만 구매하시면 : 배송비 2,000원 (1만원이상 구매 시 무료배송) 음반/DVD만 구매하시면 : 배송비 1,500원 (2만원이상 구매 시 무료배송) 잡지/만화/기프트만 구매하시면 : 배송비 2,000원 (2만원이상 구매 시 무료배송) 도서와 음반/DVD를 함께 구매하시면 : 배송비 1,500원 1만원이상 구매 시 무료배송) 도서와 잡지/만화/기프트/중고직배송상품을 함께 구매하시면 : 2,000원 (1만원이상 구매 시 무료배송) 업체직접배송상품을 구매시 : 업체별로 상이한 배송비 적용    * 세트상품의 경우 부분취소 시 추가 배송비가 부과될 수 있습니다.    * 북카트에서 배송비없애기 버튼을 클릭하셔서, 동일업체상품을 조금 더 구매하시면, 배송비를 절약하실 수 있습니다. 해외배송 안내 인터파크도서에서는 국내에서 주문하시거나 해외에서 주문하여 해외로 배송을 원하실 경우 DHL과 특약으로 책정된 요금표에    의해 개인이 이용하는 경우보다 배송요금을 크게 낮추며 DHL(www.dhl.co.kr)로 해외배송 서비스를 제공합니다. 해외배송은 도서/CD/DVD 상품에 한해 서비스하고 있으며, 다른 상품을 북카트에 함께 담으실 경우 해외배송이 불가합니다. 해외주문배송 서비스는 인터파크 도서 회원 가입을 하셔야만 신청 가능합니다. 알아두세요!!! 도매상 및 제작사 사정에 따라 품절/절판 등의 사유로 취소될 수 있습니다. 오픈마켓업체의 배송지연시 주문이 자동으로 취소될 수 있습니다. 출고가능 시간이 서로 다른 상품을 함께 주문할 경우 출고가능 시간이 가장 긴 기준으로 배송됩니다. 유통의 특성상 출고기간은 예정보다 앞당겨지거나 늦춰질 수 있습니다. 택배사 배송일인 서울 및 수도권은 1~2일, 지방은 2~3일, 도서, 산간, 군부대는 3일 이상의 시간이 소요됩니다.