CS 23

[프로그래밍 언어론] 객체지향과 다형성

추상 자료형 프로그래밍 언어의 추상화 추상화(abstraction) 복잡한 대상을 간략하게 나타내는 것 추상화 방법 추리기: 대상의 관심 있는 부분만 추려서 나타냄 삭제하기: 특별히 관심 없는 부분은 삭제하여 나타냄 프로그래밍 언어의 추상화 종료 제어 추상화(control abstraction): 복잡한 제어 과정을 단순하게 제공 자료 추상화(data abstraction): 복잡한 자료 구조를 단순하게 제공 프로그래밍 언어의 추상화 프로그래밍 언어의 추상화 지원 제어 추상화: 제어 구조, 서브프로그램으로 지원 → 어떻게 수행되는지는 숨기고 무엇이 수행되는지 나타냄 자료 추상화: 자료 구조, 추상 자료형으로 지원 → 자료 표현과 더불어 관련된 연산을 묶어서 나타냄 프로그래밍 언어의 추상화 발전 초기 프로..

CS 2023.12.05

[프로그래밍 언어론] 서브프로그램 구현

서브프로그램 구현 개요 서브프로그램 연결 서브프로그램 호출(call) 작업과 복귀(return) 작업 서브프로그램 호출 시 해야 할 작업 호출하는 서브프로그램의 상태 저장 인수 전달 복귀할 주소 저장 호출되는 프로그램으로 분기 서브프로그램 복귀 시 해야 할 작업 필요에 따라 형식인수 값 복사(out parameter) 함수의 경우, 반환값 전달 호출한 서브프로그램의 상태 복귀 호출한 서브프로그램으로 분기 활성 레코드 서브프로그램 호출에 필요한 공간 호출자의 상태 정보를 보관할 공간 인수를 저장할 공간 함수의 경우 반환값을 저장할 공간 복귀할 주소를 저장할 공간 활성 레코드(activation record) 수행 중인 서브프로그램에서 코드를 제외한 데이터 부분이 저장되는 형태 활성 레코드 틀 자체는 정적으..

CS 2023.12.05

[프로그래밍 언어론] 서브프로그램 개요

서브프로그램 개념 서브프로그램이란? 프로그램 컴퓨터가 실행할 명령어를 나열한 것 이 명령어 나열은 입력을 출력으로 전환함 서브프로그램 독자적인 입력과 출력을 갖춘 일부 프로그램 역시 명령어 나열로 구성되어 있음 서브프로그램의 입력: 인수 서브프로그램의 출력: 반환값 반환값이 없는 서브프로그램도 존재: 서브루틴 혹은 프로시저 서브프로그램의 특징 서브 프로그램으로 들어오는 입구는 하나이고, 나가는 출구는 여러 곳이 될 수 있음 대개 서브 프로그램의 맨 끝은 자동적으로 출구가 됨 변도의 return 문을 통해 출구를 지정할 수도 있음 호출자(caller, 서브프로그램을 호출한 서브프로그램)는 피호출자(callee, 호출된 서브프로그램)가 수행되기 전에 수행이 정지되며, 피호출짜의 수행이 완료되면 호출자로 제어..

CS 2023.12.05

[프로그래밍 언어론] 문장

선언문과 실행문 문장 처리를 나타내는 표현 데이터 처리를 위해 변수, 연산, 서브프로그램을 이용 문장의 구분: 선언문, 실행문 선언문(declaration) 변수나 서브프로그램을 이용할 수 있도록 준비를 해 줌 변수 선언문: 변수명, 타입 등을 바인딩 → 이후 해당 변수를 이용할 수 있음 서브프로그램 선언문: 서브프로그램의 프로토콜을 명시 → 이후 해당 서브프로그램을 이용할 수 있음 실행문 변수 및 서브프로그램을 이용하여 데이터를 처리함 실행문의 구분: 대입문, 제어문 대입문(assignment statement) 프로그램에서 가장 자주 사용되는 문장 변수의 값을 변경하는 문장 대입 연산자: 오른쪽 부분의 값을 왼쪽 변수의 값으로 대입 다중 대입문: 하나의 값을 여러 변수에 대입 타입 변환: 대입할 값의..

CS 2023.12.05

[프로그래밍 언어론] 수식

수식 피연산자와 연산자로 구성되어 하나의 값을 나타내는 표현 피연산자(operand): 데이터 표현 그대로이거나 값이 저장된 변수 연산자(operator): 연산을 수행하는 함수 기본 연산자: 덧셈 연산자, 곱셈 연산자 등 함수: 값을 반환하는 서브 프로그램 수식에 피연산자와 연산자가 모두 포함될 필요는 없음 수식과 문장의 차이 수식(expression): 값을 나타내는 표현 문장(statement) 처리를 나타내는 표현 → 처리: 수식의 연산, 프로그램의 수행 흐름 바꾸기, 화면에 값 출력하기 등 수식과 연산자 산술 연산자 사칙 연산자, 나머지 연산자, 부호 연산자 등 피연산자 개수에 따른 연산자 분류 단항 연산자: 1개의 피연산자 필요 이항 연산자: 2개의 피연산자 필요 연산자 우선순위 하나의 수식에..

CS 2023.12.05

[컴퓨터과학개론] 컴퓨터 네트워크

컴퓨터 네트워크의 개요 데이터 통신을 위해 개발된 컴퓨터 네트워크는 계속적인 발전을 통해 서비스의 공유 및 컴퓨팅 자원의 공유를 위한 가장 효율적인 도구가 되었음 컴퓨터 네트워크는 기본적으로 사람, 컴퓨터, 기타 장비들 간의 정보 교류를 위한 통신망임 컴퓨터 네트워크는 1980년대부터 개인 통신을 중심으로 성장하여 1990년대와 2000년대를 거치면서 급격하게 팽창하여 현재에 이르고 있음 무선 통신인 와이파이와 스마트폰 통신 서비스의 중심이 되는 이동 인터넷의 급격한 보급으로 집이나 직장에서 뿐만 아니라 상시로 통신 서비스에 접속되어 있는 상황에 이르게 됨 컴퓨터 네트워크의 발전 역사 1940년대 중반부터 시작된 컴퓨터 네트워크는 1990년대부터 시작된 다양한 형태의 인터넷 서비스를 통해 일반인에게도 가..

CS 2023.12.05

[컴퓨터과학개론] 데이터베이스

데이터 처리 데이터 관찰이나 측정을 통해 현실 세계에서 단순히 수집된 사실/ 값 적절한 처리를 거쳐야만 정보로서 가치를 가짐 정보처리 시스템 데이터를 수집, 조직, 저장하고 정보를 생성, 분배하는 시스템 데이터베이스: 실세계의 방대한 데이터를 효과적으로 저장/운영하기 위한 기술 파일 처리 시스템 파일 단위의 데이터 저장 및 처리 시스템 정보 표현에서 1차원적인 저장 시스템 각 응용 프로그램이 특정한 응용을 위해 필요한 파일을 독립적으로 소유하고 관리 데이터 종속성(data dependency): 응용 프로그램과 데이터 사이의 1:1 상호 의존 관계 → 파일 구성 요소, 접근 방식 등이 변경되면 해당 응용 프로그램도 함께 변경 데이터 중복성(data redundancy): 한 시스템에 동일 데이터가 여러 ..

CS 2023.12.04

[컴퓨터과학개론] 프로그래밍 언어

프로그래밍 언어의 개요 사람의 의도를 컴퓨터에게 전달하여 컴퓨터에게 작업을 수행시키기 위해 만들어짐 사람의 의도를 추상화하여 압축된 언어로 컴퓨터에게 전달되어야 함 의미적으로 애매모호함이 없고 어떤 경우에도 동일한 의미로 해석되어야 함 구문론적 측면에서 명확하게 정의되어야 하며, 의미론적 측면에서 언제나 동일하게 해석되어야 함 논리적으로 설계되어 컴퓨터가 처리할 수 있는 이진코드로의 변환이 명확하고 정확하게 되어야 함 기계어 0과 1의 이진수로 구성되는 언어로 컴퓨터 하드웨어를 직접적으로 제어하기 위한 전기 신호의 표현 형태로 전달될 수 있는 수준의 언어 0과 1로 이루어지기 때문에 사람이 의미를 이해하기 어렵고, 프로그램 작성이 어려움 하드웨어나 컴퓨터 구조에 따라 기계어의 구성과 명령어(0과 1의 나..

CS 2023.12.04

[컴퓨터과학개론] 컴퓨터 구조

불 대수와 논리 게이트 시스템 버스 중앙처리장치, 기억장치, 입출력장치 간의 물리적 연결 및 데이터 교환의 통로 주소 버스 CPU가 기억장치나 입출력장치의 주소 정보를 전송하는 신호선의 집합 버스의 폭이 시스템의 메모리 용량을 결정 → n개의 신호선으로는 2^n개의 주소 지정 가능 단방향 버스 데이터 버스 CPU와 기억장치/입출력장치 사이에 데이터 전송을 위한 신호선 집합 버스의 폭이 한 번에 전송할 수 있는 비트의 수를 의미 → 워드 양방향 버스 제어 버스 CPU가 각종 장치의 동작을 제어하기 위한 다양한 신호들의 통로 버스의 폭(=제어신호의 수)은 CPU나 시스템의 구성에 따라 달라짐 불 대수 이진 변수의 논리 연산을 다루는 대수 영국의 수학자 George Boole 논리적 문제를 해결하기 위한 수학..

CS 2023.12.03

[프로그래밍 언어론] 복합타입

배열 동질형 데이터의 모음으로 구성된 타입 원소: 각 데이터 배열의 크기: 배열이 갖는 원소의 개수 각 원소는 첨자(첫 원소와의 상대적 위치)로 구별 연산 집합: 배열 전체를 다루는 연산 데이터 집합 원소의 타입에 해당하는 데이터 집합이 배열의 크기만큼 모인 집합 원소의 타입과 배열의 크기에 따라 다양한 타입 존재 원소의 타입: 단순타입, 복합타입 모두 가능 배열의 크기: 양의 정수 범위 * 차원 차원: 배열에 사용되는 첨자의 개수 → 1차원, 2차원, 3차원, … 배열 배열의 구현 저장공간 확보 정적 변수 스택 동적 변수: 배열의 크기는 정적/동적 힙 동적 변수 첨자를 통한 원소의 주소 계산 크기 N인 1차원 배열 A: 주소(A[i]) = 주소(A[0]) + i * 원소크기 크기 M*N인 2차원 배열 ..

CS 2023.12.01