본문 바로가기

Lecture

1.1 Propositional Logic - 00 Proposition Logic 명제(proposition)는 참/거짓을 따질 수 있는 문장이다. 참과 거짓을 둘 다 가지고 있거나 참과 거짓 사이의 값을 가질 수 없다. 예를 들어 '1+1=2' 라거나 '북극곰은 남극에 산다' 등의 문장이 그 문장이 참이든 거짓이든 간에 명제이다. 반면 '거기 누구야?', '베토벤은 음악의 천재이다'처럼 진리로 받아들일지라도 명제로 받아들이지 않는 문장이 있다. 영국의 수학자, 논리학자 Boole이 만든 Boolean connectives로 참/거짓을 따질 수 있다. 여러 언어에서 나오는 Boole변수가 이 사람으로부터 유래된 것이다. 전자회로를 설계하거나 프로그램의 상태를 표시할때 등 컴퓨터 과학 분야에서도 이 기법을 사용한다. 더보기
Chapter 1. Algorithms: Efficiency, Analysis, and Order - 00 1.1 Algorithms 알고리즘을 배우기 앞서 몇가지 정의에 대해 살펴보자 Problem 우리가 답을 찾고 싶은 질문을 말한다. 예를 들자면 x를 n개의 숫자가 있는 리스트 S에 있는지 찾는게 문제이다. Problem Instance 인자(x, n, S같은 것을 말한다)에 특정 숫자를 집어넣은 problem을 말한다. 위 problem예시를 problem instance 예시로 바꾸자면, 8을 5개의 숫자가 있는 리스트 [13, 17, 9, 1, 8]에 있는지 찾아라가 되겠다. Algorithm problem instance의 해결책을 단계별 절차를 걸쳐 실행하는 것이다. 위 문제에 대한 algorithm의 예시중 하나는 순차적 탐색기법이 있다. 더보기
01. 운영체제 소개 운영체제(OS, Operating System) 컴퓨터나 휴대폰, 등의 장치에서 컴퓨터 리소스를 숨겨서 정해진 방법으로만 접근하는 인터페이스를 사용자에게 제공하는 시스템 소프트웨어를 일컫는다. 윈도우, Mac OS, 리눅스, iOS, Android, 등이 여기에 속한다. 스마트 TV나 스마트워치, 내비게이션 같은 CPU와 메모리 성능이 낮은 시스템에도 운영체제가 내장되는데 이를 임베디드 운영체제라고 한다. 이러한 운영체제가 없어도 컴퓨터는 작동하지만 기능에 제약이 있고, 리소스를 효율적으로 관리하여 컴퓨터 성능을 향상시킨다. 또 사용자에게 편리한 인터페이스를 제공하여 사용을 쉽게 만들기도 한다. 이뿐만 아니라 운영체제가 있는 기계는 다양한 응용 프로그램을 설치 및 사용할 수 있고, 새로운 기능을 쉽게 추.. 더보기

티스토리툴바