그래프 개요 오늘 다룰 그래프 자료구조의 대표적이 예시로는 지하철 노선도가 있습니다. 역들이 연결된 지하철 노선도를 그래프로 표현하면 특정 역에서 또 다른 역으로 가는 최단 경로를 계산할 수 있게 됩니다. 선형 리스트나 트리로는 표현하기 어려운 문제들을 그래프를 통하여 쉽게 해결할 수 있습니다. 지금부터 그래프 자료구조에 대해서 알아보도록 하겠습니다. 그래프의 정의와 용어 그래프는 객체 사이의 연결 관계를 표현할 수 있는 자료구조입니다. 그래프는 정점(Vertex)과 간선(Edge)의 집합입니다. 수학적으로는 $G = (V, E)$로 나타낼 수 있습니다. $V(G)$는 그래프 G의 정점들의 집합을 나타내며, $E(G)$는 그래프 G의 간선들의 집합을 나타냅니다. 지금부터 그래프 자료구조 를 이해하기 위하..

심리학은 많은 사람들이 관심을 가지고 흥미를 느끼는 주제 중 하나입니다. 저 또한 심리학에 관심이 많았고 심리학과 전공 과목으로도, 교양 수업으로도 심리학을 공부해보았습니다. 그때 배웠던 심리학은 제가 가졌던 심리학에 대한 환상을 깨뜨렸고 동시에 흥미를 유발하기도 했던 재미난 수업이었습니다. 이 시리즈 포스팅에서 다룰 심리학개론의 학습 목표는 다음과 같습니다. 🎯 심리학개론 학습 목표 🎯 인간의 마음과 행동을 과학적으로 탐구하는 심리학의 여러 분야와 주요 주제를 학습하고 인간관계 및 사회적 문제를 심리학적 관점으로 개념화하여 문제해결능력을 함양한다. 심리학의 이해 심리학은 정신병, 비정상적인 행동에 대한 연구를 진행한다고 생각하지만 맞습니다. 그러나 심리학은 그 뿐 아니라 인간 생활의 모든 분야에 관여하..

우선순위 큐의 정의 우선순위 큐는 "우선 순위" 개념을 큐에 적용한 자료구조입니다. 일반적인 큐는 선입선출의 원리에 따라 "가장 먼저 들어온 데이터가 가장 먼저 나가게 됩니다." 우선순위 큐는 일반적인 큐와 달리, 데이터들이 각각 우선 순위를 가지고 우선 순위가 높은 큐가 가장 먼저 나가게 됩니다. 이러한 우선순위 큐는 여러 방법으로 구현할 수 있는데, 배열, 연결 리스트, 히프 등을 사용하여 구현할 수 있습니다. 그 중, "히프"는 완전 이진 트리로서 우선순위 큐를 구현할 때 가장 많이 사용되는 자료구조입니다. 히프의 정의 히프는 우선순위 큐를 구현하기 위한 자료구조로서, 여러 개의 값들 중에서 가장 큰 값이나 가장 작은 값을 빠르게 찾아내기 위해 만들어진 자료구조입니다. 다음과 같은 트리가 바로 히프..

이번 포스팅은 "트리와 이진 트리"에 대한 전반적인 이해도를 필요로 합니다. 트리와 이진 트리에 대해 잘 알지 못한다면 공부하고 그 후에 이 포스팅을 읽어주세요 여기에서 트리와 이진 트리에 대해서 공부할 수 있습니다. 이진 트리의 순회(Traversal) 이진 트리 또한 데이터를 저장하기 위한 자료구조입니다. 이진 트리를 순회한다는 것은 이진 트리에 있는 모든 노드를 방문하며 노드의 데이터를 목적에 맞게 처리하는 것을 의미합니다. 스택이나 큐, 연결 리스트 같은 선형 자료구조들은 데이터를 순차적으로 순회하는 방법은 하나뿐입니다. 그러나 계층적 구조를 가진 트리의 경우는 여러 가지 순서로 노드가 가진 데이터에 접근할 수 있습니다. 이진 트리를 순회하는 대표적인 방법으로는 "전위 순회", "중위 순회", "..

이번 포스팅에서는 증명에 대해서 다룹니다. 그리고 컴퓨터공학 분야에서 반드시 필요한 프로그램 검증 기법에 대해서도 간단하게 다룹니다. 컴퓨터 공학 분야와 상관없는 사람이라면 프로그램 검증 파트는 건너뛰셔도 좋습니다. 오늘 포스팅은 [이산수학] - Theme 03. 논리적 추론 포스팅에 아주 많이 의존하기에 이 포스팅이 이해가 잘 가지 않는다면 이전 포스팅을 꼭 읽고 공부해주세요. 증명 기술 증명은 어떤 명제가 참인지 거짓인지를 논리적으로 풀어내 밝히는 과정을 말합니다. 그렇기에 앞서 알아본 논리적 추론과 밀접한 연관이 있습니다. 💡 (정의) 증명 가정에서 논리적 법칙을 이용하여 결론을 이끌어내는 것을 말한다. 추론이 참이면 진위 추론이라 하고, 추론이 거짓이면 허위 추론이라고 한다. 증명 문제는 논리 함..

이산수학의 기본이 되는 논리, 명제와 명제의 참과 거짓, 그리고 논리 연산 등을 통한 논리적 추론에 대해서 알아보도록 하겠습니다. 이번 주제에서는 수식이 길어 모바일 환경보다는 데스크탑이나 노트북 환경에서 포스팅을 보는 것을 추천합니다. 정의와 명제 새로운 분야를 접할 때 그 분야에서 통용되는 용어의 뜻을 알아야 그 분야에 잘 적응할 수 있어야 합니다. 그 때 잘 알아야 하는 것이 바로 용어의 “정의”입니다. 용어를 정의하는 방법으로는 두 가지가 있습니다. 첫 번째는 “무정의 용어”를 통해 용어를 정의하는 것입니다. 두 번째는 “무정의 용어”나 정의된 다른 용어를 통하여 또 다른 용어를 정의하는 것입니다. 💡 (정의) 무정의 용어 💡 수학적 의미를 가지고 있지 않은 일반적인 용어에 대해 정의하지 않고 사..

[하나님의 세계] 포스팅 시리즈는 모두 순차적으로 진행되며 모든 포스팅은 선수 포스팅에 의존합니다. 차례대로 포스팅을 읽으시기를 추천드립니다. (읽지 않아도 내용 이해에는 큰 무리는 없습니다.) 그러나 이 포스팅(오리엔테이션)을 반드시 읽어주시고 시리즈 포스팅을 읽으시는 것을 추천드립니다. 과학은 증명할 수 없다 앞서 “Theme 1 과학사”에서 살펴보았듯이, 여러 가지 과학적인 결론들은 새로운 정보에 기초하여 지속적으로 변화하고 있습니다. 예를 들어, 톨레미가 하늘에서 행성과 별의 배열에 관하여 지구 중심적 관점으로 설명을 아주 탁월하게 잘 했으나, 톨레미의 설명은 옳지 않았음이 판명되었습니다. 코페르니쿠스는 태양이 지구의 중심이라 설명하고 행성의 배열에 관해 더 나은 설명을 제시했습니다. 그가 옳았던..