Computer Science35 컴퓨터 네트워크: Segment TCP: Transmission Control Protocol 3. Segment TCP segment format TCP의 헤더 크기는 기본 20byte ~ 60byte이다. 헤더의 크기가 유동적이기 때문에 헤더 안에 어디까지가 헤더이고 어디부터 data인지 표시를 해주어야 한다. 즉, 헤더의 길이를 나타내 주어야 한다. HLEN 4bits 헤더의 길이를 나타낸다. 4bits로는 1111(2) 즉, 10진수로 15까지 표현할 수 있는데, 헤더의 길이는 최대 60byte까지 나타날 수 있기 때문에 이진수로 60을 나타내려면 111100(2) 총 6bits가 필요하다. 따라서 4bits로 60을 나타내기 위해 해당 수에 ÷4를 한다. ex1. HLEN = 60(10) = 111100(2), 111100(2.. 2021. 9. 24. 알고리즘4. 점근적 증가율에 따른 함수 분류 1. Analyzing Algorithms and Problems: Principles and Examples 1-3. Classifying Functions by Their Asymptotic Growth Rates 점근적 증가율에 따른 함수 분류 Clasifying Functions asymptotic growth rate점근적 증가율, asymptotic order점근적 순서 또는 order of functions함수 순서 asymptotic: input size n이 충분히 커짐을 뜻함 n이 충분히 커졌을 때 함수의 증가율 상수 인자와 small input을 무시하는 함수 비교 및 분류. The Sets big oh O(g), big thetaθ(g), big omega Ω(g) f와 g가 음이 .. 2021. 9. 13. 이산수학 1.3 Propositional Equivalences 명제 동치 chapter 1. The Foundations: Logic and Proofs 1.3 Propositional Equivalences 명제 동치(section 1.3) Tautologies, Contradictions, and Contingencies tautology : 언제나 true 값을 갖는 명제(항진 명제) ex. p ∨¬p contradiction : 언제나 false 값을 갖는 명제(모순 명제) ex. p ∧¬p contingency : p와 같이 true가 되기도 하고 false가 되기도 하는 명제 Logically Equivalent 만약 *p ↔ q가 항진명제라면, 두 개의 결합 명제 p와 q는 논리적으로 동치이다. 이를 p ⇔ q 또는 p ≡ q 로 나타낸다. 진리표에서 각 열의 값.. 2021. 9. 9. 컴퓨터 네트워크: TCP Services, TCP Features TCP: Transmission Control Protocol 1. TCP Services TCP/IP protocol suite 해당 그림은 TCP/IP 프로토콜 제품군의 다른 프로토콜에 대한 TCP의 관계를 보여준다. TCP는 애플리케이션 계층과 네트워크 계층 사이에 있으며 애플리케이션 프로그램과 네트워크 운영 사이의 중개자 역할을 한다. TCP는 인터넷 통신에 있어 매우 중요한 역할을 수행한다. IP주소와 Port 번호 우리가 상대방과 전화통화를 하기 위해 상대의 전화번호를 반드시 알고 있어야 한다. 이와 마찬가지로, 인터넷에서 클라이언트가 서버에 접속하기 위해서는 해당 웹페이지의 IP주소와 Port 번호를 반드시 알고 있어야 한다. IP주소는 source to destination을 위해 필요한 .. 2021. 9. 9. 컴퓨터 네트워크: Addressing OSI Layer 디바이스 A에서 디바이스 B로 데이터를 전송 각 레이어마다 헤더는 본인 것만 본다. ex) Transport 레이어의 경우 Port Number 헤더만 보고, Network 레이어는 IP 주소 헤더만 본다. Transport 레이어는 IP 주소 헤더에 관여하지 않는다. Layer-to-layer communication: 같은 등급끼리 연락을 주고 받는 것. ex) Transport layer는 문서가 누락되거나 오류가 있을 때 같은 계층인 Transport layer에게 연락을 취해서 데이터의 재전송을 요청한다. Intermediate node(네트워크 연결장비, 라우터)를 지날 때 패킷은 Data link layer에서 hop to hop delivery, Network layer에.. 2021. 9. 9. 이산수학 1.2 Aplication of Propositional Logic 명제이론의 응용 chapter 1. The Foundations: Logic and Proofs 1.1 Propositional Logic 명제이론(section 1.2) Translating English Sentence 영문장 → 명제 1. atomic proposition 확인 → 명제변수로 나타내기 2. 적절한 logical connectives 결정 ex 1) "If I go to Harry’s or to the country, I will not go shopping." p : I go to Harry’s q : I go to the country. r : I will go shopping. If p or q then not r. ex 2) “You can access the Internet from camp.. 2021. 9. 8. 이산수학 1.1 Propositional Logic 명제이론(+implication함축을 쉽게 이해하기) chapter 1. The Foundations: Logic and Proofs 1.1 Propositional Logic 명제이론(section 1.1) Propositions(명제) 명제: True / False로 정의할 수 있는 서술문. 명제의 예 1. 지구는 둥글다 2. 1 + 0 = 0 3. 7 + 7 = 14 명제가 아닌 경우 1. 자리에 앉아라. 2. 오늘 몇 일이지? 3. x + 3 = 5 // x값에 따라 결과가 달라짐 propositional Logic 명제 변수 propositional variable p, q, r, s, .... 복합 명제 Compound Propositions 하나 이상의 명제와 논리 연산, 괄호로 이루어진 명제 논리연산 Negation 부정 ¬ Conjuncti.. 2021. 9. 8. 알고리즘3. 알고리즘과 문제 분석 1. Analyzing Algorithms and Problems: Principles and Examples 1-3. Analyzing Algorithms and Problems 알고리즘과 문제 분석 Analyzing Algorithms and Problems 알고리즘을 분석하는 이유 1. 알고리즘 개선(☞R&D(Research and development)영역) 2. 문제를 풀 수 있는 다양한 알고리즘 중 가장 최적의 알고리즘을 선택하기 위해(☞사용자 측면. 누군가 개발한 알고리즘을 사용) 알고리즘 분석 요소 - Correctness 정확성 - Efficiency 효율성 Amount of work done(시간 복잡도 Time Complexity) Space used(공간 복잡도 Space Compl.. 2021. 9. 7. 컴퓨터 네트워크: OSI 7-Layer Model (OSI 7 계층 모델) 인터넷 TCP/IP 통신 프로토콜(규약, 규범, 약속)을 이용해 정보를 주고받는 컴퓨터 네트워크 네트워크와 네트워크를 연결하는 방법. 네트워크의 네트워크. 컴퓨터를 하나의 통신망 안에 연결하고자 함. Packet Switching Network(목적지 주소 전달 방식) 사용. ↔ Circuit Switching Network(중앙제어 전달 방식) OSI 7-Layer Model OSI Model: Open Systems Interconnection Reference Model 국제표준화기구(ISO)에서 개발 컴퓨터 네트워크 프로토콜 디자인과 통신을 계층으로 나누어 설명한 것 Physical, Data link, Network, Transport, Session, Presentation, Applicati.. 2021. 9. 2. 알고리즘2. 수학적 배경지식 1. Analyzing Algorithms and Problems: Principles and Examples 1-2. Mathematical Background 수학적배경지식 Analysis Tool: Mathematics - series: 숫자들의 나열(sequence)의 합 - Arithmetic series: 연속적으로 증가하는 정수들의 합 - Polynomial Series 다항식 시리즈 -The sum of squares -The general case is - Power of 2 -Arithmetic-Geometric Series Analysis Tool: Logic(논리학) Logic: 더 명확한 추론을 위해 자연어를 formalizing(수학적으로 형식화)하는 시스템 A ⇒ B A imp.. 2021. 9. 2. 알고리즘 1. Problem Solving의 절차 1. Analyzing Algorithms and Problems: Principles and Examples -알고리즘 & 문제 complexity 분석 1-1. Introduction 컴퓨터 알고리즘 상세한 단계별(step-by-step) 방법으로 유한 시간(finite time) 이내 컴퓨터를 이용해 문제를 해결하는 것 Problem Solving의 체계적 절차 Problem(문제 정의) > Strategy(문제풀이 전략) > Algorithm(알고리즘, 의사코드 서술) > Anaysis(서술한 알고리즘을 분석) > Implementation(구현) > Verification(검증) 1. Problem 문제 정의 ex. 비정렬 배열을 정렬하는 알고리즘 input : 5, 3, 67, 1, 2 -> .. 2021. 9. 2. 이전 1 2 3 다음 반응형
