Computer Science

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로, 노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.(➡️ 노션 링크)기본사항그래프란?쾨히스베르크 다리건너기 문제🔗나무위키: 쾨니히스베르크 다리 건너기 문제한 붓 그리기, 오일러 경로https://namu.wiki/w/쾨니히스베르크 다리 건너기 문제쾨니히스베르크시의 한 가운데는 프레겔 강[1]이 흐르고 있고 여기에는 가운데 섬들과 연결되어있는 일곱 개의 다리가 있다. 그 다리들을 한 번씩만 차례로 모두 건널 수 있겠는가?주요 용어https://gamedevlog.tistory.com/15𝑮 = (𝑽, 𝑬)𝑽 = {𝒗|𝒗는 꼭지점(vertex)}𝑬 = {𝒆|𝒆는 변(edge})변은 두 꼭지점을 연결함. (변..

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로, 노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.(➡️ 노션 링크)기본 사항 디지털 논리회로디지털 컴퓨터의 수학적 구조는 이진법이다.이진법: 0과 1 두개의 숫자만을 이용해 모든 수를 표현! 즉, 0 or 1 !기본 논리게이트(logical gate)*image source: https://www.researchgate.net/figure/Summary-of-the-common-Boolean-logic-gates-with-symbols-and-truth-tables_fig3_291418819참고:논리연산(logical operation)기본 논리게이트의 식과 모양을 확실히 익힐 것!ANDF = X﹒Y논리곱(𝒑∧𝒒)두..

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로, 노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.특히 행렬 표현은 제대로 되지 않는 문제가 있습니다.(티스토리의 HTML 변환시 문제가 발생하는 것 같습니다.)(➡️ 노션 링크)6강 - 관계관계미리 알아둘 사항곱집합(Cartesian product)집합X에서 집합Y 로의 이항관계(binary relation) R은 𝑿 × 𝒀의 부분집합!(𝒙, 𝒚) ∈ 𝑹⇒ 𝒙𝑹𝒚로 표기⇒ 𝒙는 𝒚와 𝑹의 관계가 있다.𝑿 = 𝒀 이면 ⇒ 𝑹을 𝑿에서의 관계https://math24.net/binary-relations.html예시관계의 표현화살표 도표집합 A = {a,b,c,d,e}, 집합 B = {1,2,3,..

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로,티스토리에서 LaTeX를 지원하지 않고, MathJax 자바스크립트 코드를 이용하더라도 행렬 표현은 제대로 되지 않는 문제가 있습니다.(티스토리의 HTML 변환시 문제가 발생하는 것 같습니다.)노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.(➡️ 노션 링크)5강 - 행렬기본 사항행렬이란행과 열로 구성되는 사각형 형태로 수를 배열한 것$$\begin{pmatrix}1 & 2 & 3 & 4 \5 & 6 & 7 & 8 \9 & 0 & 2 & 5 \\end{pmatrix}$$m개의 행과 n개의 열로 구성된 직사각형의 수 배열 𝑨를 𝒎 × 𝒏 행렬이라 한다.m번째 행과 n번째 열의 행렬은 아래와 같이 표기함.$$\begin..

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로, 노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.(➡️ 노션 링크)4강 - 집합론학습 목표집합과 원소를 구별할 수 있고 원소나열법과 조건제시법으로 집합을 표현할 수 있다.집합의 분할과 멱집합을 구할 수 있다.합집합, 교집합, 차집합, 여집합, 대칭차집합과 같은 집합의 기본연산을 수행할 수 있다.집합의 다양한 대수법칙의 원리를 이해하고 필요에 따라 활용할 수 있다.기본 용어논리학과 집합론𝒑(𝒙) ∨ 𝒈(𝒙) = 𝑨 ∪ 𝑩𝒑(𝒙) ∧ 𝒈(𝒙) = 𝑨 ∩ 𝑩집합과 원소💡 A set is a collection of objects, which are called elements: 집합이란 원소들의 모음이..

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로, 노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.(➡️ 노션 링크)증명용어 개괄공리(axiom)어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정으로, 별도의 증명 없이 참으로 이용되는 명제.ex) 두 점이 주어질 때, 두 점을 통과하는 직선을 그릴 수있다.(유클리드 기하학), 페아노의 공리, 공리적 집합론 . 등 자명한 사실.증명(proof)특정한 공리들을 가정하고, 그 가정하에 제안된 명제가 참임을 입증하는 작업정리(theorem)공리로부터 증명된 명제보조정리(lemma):정리를 증명하는 과정 중에 사용되는, 증명된 명제따름정리(corollary): 정리로부터 쉽게 도출되는 부가적인 명제예: 피타고..

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 것으로, 노션 웹을 통해 최적화된 형태로 읽으시길 권장드립니다.(➡️ 노션 링크)2강 - 논리명제참과 거짓을 구별할 수 있는 문장이나 수학적 식진리값(truth value) : 참(True, T) / 거짓(False, F)예 :✅ 6은 2의 배수다.✅ 2 + 3 = 7❌ x + 2 = 0 (참/거짓 판별 불가)❌철수는 공부를 잘한다.명제의 종류합성명제compound proposition,하나 이상의 명제와 논리연산자가 결합되어 만들어진 명제논리연산(logical operation)참 거짓을 구별할 수 있는 명제를 대상으로 하는 연산논리 연산자 : logical operator: 논리연산의 기호논리합(∨, or연산, disjunctio..

본 게시글은 대학 전공수업을 들으며 노션에 정리한 내용을 블로그로 옮긴 게시글 입니다.교착상태 정의 및 특성, 예방, 회피, 복구교착상태프로세스의 자원 사용 절차자원 사용 요구 → 사용 → 해제요구과정에서 가용한 자원이 없으면 → 자원을 획득할 떄 까지 대기⇒ 교착상태(deadlock) 발생정의여러개의 프로세스가 서로 상대방의 작업이 끝나기만 기다리고 있어 어느쪽도 영원히 진행되지 못하는 상태https://www.boardinfinity.com/blog/deadlock-in-operating-system/기아상태와의 비교기아상태는 꼬리물기라고 했다. 꼬리물기가 끊기면 진행할 수 있다. 즉, 희망이 있다!하지만 교착상태는 A가 B를 기다리고, B는 A를 기다리기 때문에 무한으로 기다려야한다. 즉, 희망이 ..