뭘 배웠지?

이산수학 8강을 보며 배운내용 디지털 논리회로 AND, OR 등 논리적인 연산을 하는 것을 논리회로 하는데, 컴퓨터 안에서 0과 1을 처리하는 것을 디지털 논리회로라고 부른다 기본 논리게이트 AND, OR, NOT 추가적인 게이트 NAND: AND 연산에 NOT 붙인 것 NOR: OR 연산에 NOT 붙인 것 그리고 베타합 XOR, 이에 NOT을 붙인 XNOR 부울대수 기본정리 부울함수의 보수 보수란 NOT을 붙여주는 것 인간이 하기 편한 드모르간 법칙, 혹은 기계가 편한 쌍대로 구할 수 있다 드모르간 법칙 부울함수의 대수적 간소화 간소화가 필요한 이유는 다음 그림을 보면 확실하다 밑의 두 논리회로는 같은 역할을 한다 두 번째를 쓰지 않을 이유가 있을까? 복잡한 부울함수를 대수 공식을 이용해서 부울함수를 ..

이산수학 7강을 보며 배운내용 함수 함수의 표시 중 하나 f: X -> Y X를 정의역, Y를 공역이라고 부른다 ❔ 함수끼리 상등하다는 것은 f: X -> Y, g: A -> B 이런 f,g 함수가 있을 때 X = A, Y = B f(x) = g(x) => f와 g는 같다(상등하다) 전/단사 함수를 배우는 이유는 역함수를 배우기 위해 전사함수(Surjective function) X의 값들이 Y의 값 모두를 가리키고 있을 때 다른 말로, 정의역(X의 원소)들이 치역(Y의 원소) 모두를 가리키고 있을 때 기호 논리를 이해하는 것이 중요 치역이 공의역 전체와 같으면 전사함수 단사함수(Injective function) 하나에 하나씩 대응되는 단사함수 전단사함수(Bijective function) X의 원소의..

데이터베이스 10강을 보며 배운내용 디스크와 메모리의 입출력(i/o)를 줄이기 위해 인덱스가 나왔다 인덱스 DBMS에서 요청된 레코드에 빠르게 접근할 수 있도록, 지원하는 데이터와 관련된 부가적인 구조 인덱스만 메모리에 올리니까 속도가 무지 빨라진다 탐색키 검색할 때 사용할 수 있는 키 인덱스 평가기준 상황에 따라 밑의 기준에 따라 어떤 인덱스를 쓸지 정한다 접근 시간: 찾는 데 걸리는 시간 유지 비용: 삽입/수정/삭제 갱신 비용 공간 비용: 인덱스 구조에 의해 사용되는 부가적인 공간 비용 인덱스 종류 순서 인덱스, 해시 인덱스 순서 인덱스 모든 탐색키가 순차적으로 정렬되어 있다 사전을 생각하면 편하다 밀집 인덱스 모든 레코드에 [ 탐색키 값 | 포인터 ] 쌍 가지고 있다 해당 레코드로 바로 이동 가능 ..

데이터베이스 9강을 보며 배운내용 물리적 저장 장치 휘발성 속도 빠르지만 끄면 없어진다 캐시, 메인 메모리 비휘발성 속도는 느리지만 데이터 저장 플래쉬 메모리, 자기 디스크, 광학 디스크 드라이브, 테이프 장치 데이터베이스 구성 데이터베이스는 파일로 쪼개지고, 파일은 블록으로 쪼개진다 데이터베이스 => 파일 => 블록 파일 데이터를 영구적으로 저장하기 위한 기초적인 논리적 구조 블록 파일을 고정적인 길이로 분할해서 생기는 균등한 크기의 데이터 묶음 레코드 블록을 구성하는 요소 더 이상 분리될 수 없는 최소의 데이터 단위 고정 길이 레코드에 저장시 가용 리스트 관리 자주 사용한다 공백 레코드 포인트가 빈 공간을 가르키게 한다 연결 리스트 이용해서 빈 공간에 넣어주고, 다음 빈 공간을 가르킨다 파일 구조 종..

이산수학 6강을 보며 배운내용 곱집합 A의 원소와 B의 원소의 모든 순서쌍의 집합 관계 집합 X에서 집합 Y로의 관계 R은 X × Y의 부분집합 xRy로 표시 여기서 관계는 이항 관계(binary relation) 관계의 표현 1. 화살표 도표 2. 방향 그래프 3. 부울행렬 관계의 성질 반사적 본인과의 관계 (a, a) 이런 관계가 모든 원소에 있다면 반사적 대칭적 (1, 2)가 있으면 (2, 1)도 있으면 대칭적 추이적 (1, 2)가 있고 (2, 3)가 추이적이려면, (1, 3)이 있어야 된다 관계의 종류 역관계 (a, b)를 (b, a)로 바꾼것 합성관계 관계 둘을 합친 것 동치관계 반사적, 대칭적, 추이적이면 동치관계라고 한다 동치류

이산수학 5강을 보며 배운내용 행렬은 뭐고? 어디에 쓰이나? 행과 열로 사각형 형태로 수를 배열 활용 분야 프로그래밍 언어 자료구조 컴퓨터 그래픽 패턴인식 로봇동작 인공지능 등 🔅 정의 m개의 행과 n개의 열로 구성된 직사각형 수 배열 A를 m x n 행렬이라고 한다 행벡터: 1 x n 열벡터: n x 1 영행렬 모든 원소가 0일 행렬 행렬의 기본 연산은 이렇구나 크기가 같은 행렬 A, B가 있고, k를 실수라 가정 🔅 행렬의 합과 차 각 자리들끼리 더해주거나 빼주면 된다 🔅 스칼라 곱 각 자리(원소)에 k를 곱하기 스칼라는 실수! 단어에 겁먹지 말자 아래의 연산 법칙 만족한다 교환법칙 결합법칙 항등원 합의 역원 스칼라 곱의 결합법칙 스칼라 곱의 분배법칙 🔅 행렬의 곱 A가 m x n 행렬, B가 n x..

알고리즘 12강을 보며 배운내용 탐색 데이터 형태 리스트, 트리, 그래프 등에서 원하는 데이터 찾는것 내부 탐색 vs 외부 탐색 탐색 연산 탐색 + 초기화(정렬), 삽입, 삭제 이번 강의에서는 순차 탐색 이진 탐색 탐색 트리 -> 이진 탐색 트리 다음 강의에서는 균형 탐색 트리(흑적트리, B-트리) 해싱 순차 탐색 배열이나 연결리스트 형태로 주어진 원소들을 처음부터 차례대로 비교하면서 원하는 값 찾는 방법 ⌛ 시간복잡도 탐색: O(n) 삽입: O(1) 삭제: O(n) ✨특징 모든 리스트에 적용 가능 원소가 순서 없이 저장된 경우 적합하다 데이터 큰 경우 부적합 알고리즘 간단 반복문 돌려서 앞에서부터 비교해주면 된다. 삽입 연산(배열) 맨 뒤에 붙여주면 된다 🤖삭제 연산(배열) 맨 마지막 데이터를 해당 원..

데이터베이스 8강을 보며 배운내용 1 ~ 7강 복습의 시간 파일 처리 시스템 DBMS 이전 데이터 관리 방식 운영체제 지원으로 여러 파일에 나누어 데이터를 영구 저장하고 운영하는 시스템 파일 처리 시스템의 문제점 데이터의 확장 데이터의 무결성 훼손 동시 접근 이상 DBMS 자기 기술성 DBMS가 데이터베이스 자체 뿐만 아니라 데이터에 대한 정의나 설명까지 포함하고 있는 특성 데이터 조작 언어 데이터베이스 언어의 한 영역 구조화된 데이터에 사용자 접근 및 사용을 지원하는 언어 3단계 구조 DMBS를 외부, 개념, 내부 스키마로 분리하고 각 단계 간 사상을 통해 구조화 하는 방식 3계층 클라이언트 - 서버 구조 클라이언트와 서버 사이에 데이터 접급하는데 사용되는 비즈니스 규칙을 저장한 중간 계층을 삽입해서 ..

이산수학 4강을 보며 배운내용 집합 {a, b} => 집합 {{a}, k} => 집합 {a, b, a, c} => 집합이 아니다 같은 원소가 있어서 부분집합(subset) A의 모든 원소가 B의 원소라면 A는 B의 부분집합, A ⊆ B 진부분집합(proper subset) A는 B의 진부분집합이란 말은 B가 A외에 더 있는거 상동(equal) A = B (A ⊆ B && B ⊆ A) 서로소(disjoint) A ∩ B = Ø 둘이 공유하는 원소가 없네 joint가 아니라는(dis) 말이네 분할(partition) A를 겹치지 않게 분할하고 어떤 부분도 Ø이 아닌거 A = {1, 2, 3, 4} {Ø, {1, 2}, {3, 4} } => 분할 아니다 Ø 때문에 { { 1 } { 2 } { 3, 4 } } ..

이산수학 3강을 보며 배운내용 KEYWORDS 공리(axiom) 다른 명제를 증명하려고 사용되는 기본적인 가정 증명 없이 참으로 이용하는 명제 증명(proof) 특정 공리들을 가정하고, 가정하에 제안된 명제가 참인지 입증하는 작업 정리(theorem) 공리로부터 증명된 명제 증명 방법 직접 증명법 공리, 정의 그리고 정리를 논리적으로 직접 연결 수학적 귀납법 자연수 n에 대한 명제의 성징을 증명하는데 유용하다 기본단계, 귀납가정, 귀납단계 이용 간접 증명법 증명하기 쉽게 변형해서 증명 예) 대우 증명법, 모순 증명법, 반례 증명법 등 직접 증명법(direct proof) 연역법(deduction)이라고도 한다 명제를 변형하지 않고 증명 주로 공리, 정의, 증명된 정리를 논리적으로 직접 증명한다 예) 두 ..