계산 이론의 기초 - 알고리즘, 오토마타, 형식 언어, 계산 가능성, Turing 기계, NP 완전성, 결정 문제, 비결정론적 오토마타, 복잡도 이론, 정규 언어, 문맥 자유 언어, 상태 전이, 언어의 생성, 계산 모델, P 대 상세페이지
출간 정보
- 2025.01.31 전자책 출간
듣기 기능
TTS(듣기) 지원
파일 정보
- EPUB
- 약 8.6만 자
- 0.4MB
지원 환경
- 앱
- 웹
- PC뷰어
- PAPER
ISBN
9791173089657
ECN
-
계산 이론의 기초 - 알고리즘, 오토마타, 형식 언어, 계산 가능성, Turing 기계, NP 완전성, 결정 문제, 비결정론적 오토마타, 복잡도 이론, 정규 언어, 문맥 자유 언어, 상태 전이, 언어의 생성, 계산 모델, P 대
작품 정보
《계산 이론의 기초》는 컴퓨터 과학의 핵심 개념들을 체계적으로 탐구하는 통찰력 있는 안내서입니다. 이 책은 알고리즘, 오토마타 이론, 형식 언어, 계산 가능성, Turing 기계와 같은 기초적인 주제부터 시작하여, NP 완전성, 결정 문제, 비결정론적 오토마타, 복잡도 이론 등 보다 심화된 내용까지 포괄적으로 다룹니다.
저자는 각 개념을 명확하고 간결하게 설명하며, 독자가 이론적 기반을 확립할 수 있도록 돕습니다. 정규 언어와 문맥 자유 언어의 차이를 이해하고, 상태 전이를 통해 오토마타의 작동 방식을 시각화할 수 있는 기회를 제공합니다. 또한, 언어의 생성 및 계산 모델에 대한 심층적인 논의와 함께, P 대 NP 문제라는 컴퓨터 과학의 핵심적인 질문에 대한 이해를 돕습니다.
책은 이론적 내용뿐만 아니라, 실제 문제 해결에 어떻게 적용될 수 있는지를 강조하며, 다양한 예제와 연습문제를 통해 독자의 이해도를 높입니다. 랭킹, 래스터화, 무한 반복과 같은 추가적인 주제들도 포함되어 있어, 독자가 이론을 실제 문제에 어떻게 적용할 수 있는지를 보여줍니다.
《계산 이론의 기초》는 컴퓨터 과학을 전공하는 학생들뿐만 아니라, 이 분야에 관심이 있는 일반 독자에게도 유익한 자료입니다. 이 책을 통해 독자는 복잡한 계산 문제를 해결하는 데 필요한 이론적 기반을 쌓고, 최신 기술의 발전에 발맞추어 나갈 수 있는 자신감을 얻게 될 것입니다. 컴퓨터 과학의 매력을 느끼고, 이론의 깊이를 탐구하고자 하는 모든 이들에게 필독을 권장합니다.
*생성형 GPT를 활용하여 제작되었습니다.
저자는 각 개념을 명확하고 간결하게 설명하며, 독자가 이론적 기반을 확립할 수 있도록 돕습니다. 정규 언어와 문맥 자유 언어의 차이를 이해하고, 상태 전이를 통해 오토마타의 작동 방식을 시각화할 수 있는 기회를 제공합니다. 또한, 언어의 생성 및 계산 모델에 대한 심층적인 논의와 함께, P 대 NP 문제라는 컴퓨터 과학의 핵심적인 질문에 대한 이해를 돕습니다.
책은 이론적 내용뿐만 아니라, 실제 문제 해결에 어떻게 적용될 수 있는지를 강조하며, 다양한 예제와 연습문제를 통해 독자의 이해도를 높입니다. 랭킹, 래스터화, 무한 반복과 같은 추가적인 주제들도 포함되어 있어, 독자가 이론을 실제 문제에 어떻게 적용할 수 있는지를 보여줍니다.
《계산 이론의 기초》는 컴퓨터 과학을 전공하는 학생들뿐만 아니라, 이 분야에 관심이 있는 일반 독자에게도 유익한 자료입니다. 이 책을 통해 독자는 복잡한 계산 문제를 해결하는 데 필요한 이론적 기반을 쌓고, 최신 기술의 발전에 발맞추어 나갈 수 있는 자신감을 얻게 될 것입니다. 컴퓨터 과학의 매력을 느끼고, 이론의 깊이를 탐구하고자 하는 모든 이들에게 필독을 권장합니다.
*생성형 GPT를 활용하여 제작되었습니다.
작가 소개
"세상을 아름다운 지식으로 물들이자" 위 모토를 바탕으로 다양한 지식 서적을 보급하고 있다.
리뷰
0.0
구매자 별점
0명 평가
이 작품을 평가해 주세요!
건전한 리뷰 정착 및 양질의 리뷰를 위해 아래 해당하는 리뷰는 비공개 조치될 수 있음을 안내드립니다.
- 타인에게 불쾌감을 주는 욕설
- 비속어나 타인을 비방하는 내용
- 특정 종교, 민족, 계층을 비방하는 내용
- 해당 작품의 줄거리나 리디 서비스 이용과 관련이 없는 내용
- 의미를 알 수 없는 내용
- 광고 및 반복적인 글을 게시하여 서비스 품질을 떨어트리는 내용
- 저작권상 문제의 소지가 있는 내용
- 다른 리뷰에 대한 반박이나 논쟁을 유발하는 내용
* 결말을 예상할 수 있는 리뷰는 자제하여 주시기 바랍니다.
이 외에도 건전한 리뷰 문화 형성을 위한 운영 목적과 취지에 맞지 않는 내용은 담당자에 의해 리뷰가 비공개 처리가 될 수 있습니다.아직 등록된 리뷰가 없습니다.
첫 번째 리뷰를 남겨주세요!
첫 번째 리뷰를 남겨주세요!
'구매자' 표시는 유료 작품 결제 후 다운로드하거나 리디셀렉트 작품을 다운로드 한 경우에만 표시됩니다.
- 무료 작품 (프로모션 등으로 무료로 전환된 작품 포함)
- '구매자'로 표시되지 않습니다.
- 시리즈 내 무료 작품
- '구매자'로 표시되지 않습니다. 하지만 같은 시리즈의 유료 작품을 결제한 뒤 리뷰를 수정하거나 재등록하면 '구매자'로 표시됩니다.
- 영구 삭제
- 작품을 영구 삭제해도 '구매자' 표시는 남아있습니다.
- 결제 취소
- '구매자' 표시가 자동으로 사라집니다.
컴퓨터 과학의 정석: 기초부터 최신 기술까지더보기
- 컴퓨터 구조의 원리 - 프로세서, 메모리, 입출력 시스템, 버스 구조, 레지스터, 캐시, 파이프라이닝, 병렬 처리, (씨익북스 편집부)
- CPU의 모든 것 - 중앙처리장치, 아키텍처, 프로세서, 클럭 속도, 캐시 메모리, 다중 코어, 스레딩, 병렬 처리 (씨익북스 편집부)
- 효율적인 메모리 관리: 시스템 성능 최적화 - 메모리 할당, 가비지 컬렉션, 가상 메모리, 페이지 교체, 스와핑, (씨익북스 편집부)
- 운영 체제의 기초와 응용 - 운영 체제, 커널, 프로세스, 스레드, 메모리 관리, 파일 시스템, 시스템 콜, 스케줄 (씨익북스 편집부)
- 비트와 바이트의 세계 - 디지털, 정보, 데이터, 컴퓨터, 이진수, 전자, 저장, 전송, 암호화, 네트워크, 프로그 (씨익북스 편집부)
- 컴퓨터 아키텍처와 명령어 집합 - 명령어 집합, 컴퓨터 아키텍처, 프로세서, 어셈블리 언어, 데이터 처리, 메모리 (씨익북스 편집부)
- 가상 메모리의 원리와 응용 - 가상 메모리, 페이지 교체, 스와핑, 메모리 관리, 프로세스, OS, 물리 메모리, (씨익북스 편집부)
- Cache Memory: The Key to Speeding Up Computer Performance - 캐시 메 (씨익북스 편집부)
- 클라우드 컴퓨팅 혁명 - 클라우드 서비스, SaaS, IaaS, PaaS, 데이터 저장, 보안, 가상화, 비용 효율 (씨익북스 편집부)
- Distributed Systems: Principles and Paradigms - 분산 시스템, 클러스터링, 네 (씨익북스 편집부)
- 프로그래밍 언어의 정수 - 프로그래밍, 언어, 소프트웨어, 컴파일러, 인터프리터, 자료구조, 알고리즘, 객체지향, (씨익북스 편집부)
- Understanding Data Types: A Comprehensive Guide - 데이터 타입, 정수, 실수 (씨익북스 편집부)
- 알고리즘의 정석 - 기본 개념, 시간 복잡도, 공간 복잡도, 정렬, 검색, 그래프, 트리, 동적 프로그래밍, 분할 (씨익북스 편집부)
- 자료구조 기초 - 배열, 연결 리스트, 스택, 큐, 트리, 그래프, 해시 테이블, 이진 트리, 균형 트리, AVL (씨익북스 편집부)
- 객체지향 프로그래밍의 정석 - 클래스, 객체, 상속, 다형성, 캡슐화, 추상화, 인터페이스, 메서드, 프로퍼티, 생 (씨익북스 편집부)
- 함수형 프로그래밍의 정석 - 함수, 불변성, 고차 함수, 지연 평가, 맵, 필터, 리듀스, 클로저, 재귀, 패턴 매 (씨익북스 편집부)
- 소프트웨어 개발 생명 주기 완벽 가이드 - SDLC, 요구사항 분석, 설계, 개발, 테스트, 배포, 유지보수, 문서 (씨익북스 편집부)
- 테스트 주도 개발: 성공적인 소프트웨어를 위한 필수 가이드 - TDD, 소프트웨어 개발, 테스트, 자동화, 코드 품 (씨익북스 편집부)
- Design Patterns: Elements of Reusable Object-Oriented Software - (씨익북스 편집부)
- Git: 버전 관리의 기초와 활용 - 버전 관리, Git, 커밋, 브랜치, 머지, 리모트, 저장소, 히스토리, 태그 (씨익북스 편집부)
개발/프로그래밍 베스트더보기
- 주니어 백엔드 개발자가 반드시 알아야 할 실무 지식 (최범균)
- 조코딩의 AI 비트코인 자동 매매 시스템 만들기 (조동근)
- LLM 엔지니어링 (막심 라본, 폴 이우수틴)
- 요즘 우아한 AI 개발 (우아한형제들)
- 멀티패러다임 프로그래밍 (유인동)
- 윌 라슨의 엔지니어링 리더십 (윌 라슨, 임백준)
- 최고의 프롬프트 엔지니어링 강의 (김진중)
- 혼자 공부하는 네트워크 (강민철)
- 개발자를 위한 쉬운 쿠버네티스 (윌리엄 데니스, 이준)
- 러닝 랭체인 (메이오 오신, 누노 캄포스)
- 전략적 모놀리스와 마이크로서비스 (반 버논, 토마스 야스쿨라)
- MCP 혁신: 클로드로 엑셀, 한글, 휴가 등록부터 결재문서 자동화까지 with python (이호준, 차경림)
- 개정판 | 쉽고 빠르게 익히는 실전 LLM (시난 오즈데미르, 신병훈)
- OpenAI, 구글 Gemini, 업스테이지 Solar API를 활용한 실전 LLM 앱 개발 (최용, 조승우)
- 랭체인 & 랭그래프로 AI 에이전트 개발하기 (서지영)
- LLM을 활용한 실전 AI 애플리케이션 개발 (허정준, 정진호)
- 그림으로 이해하는 서버 구조와 기술 (요코타 카즈키, 엔도 유키)
- 혼자 만들면서 공부하는 딥러닝 (박해선)
- 이펙티브 소프트웨어 설계 (토마스 레렉, 존 스키트)
- CI/CD & GitOps 실전가이드 :argoCD vs fluxCD (commaum)
성인 인증 안내
성인 재인증 안내
성인 인증 안내
성인 재인증 안내
청소년보호법에 따라 성인 인증은 1년간
유효하며, 기간이 만료되어 재인증이 필요합니다.
성인 인증 후에 이용해 주세요.
해당 작품은 성인 인증 후 보실 수 있습니다.
성인 인증 후에 이용해 주세요.
청소년보호법에 따라 성인 인증은 1년간
유효하며, 기간이 만료되어 재인증이 필요합니다.
성인 인증 후에 이용해 주세요.
해당 작품은 성인 인증 후 선물하실 수 있습니다.
성인 인증 후에 이용해 주세요.
본문 끝 최상단으로 돌아가기
