BlogFlow | 블로그

프론트엔드 개발과 IT 기술을 중심으로 실무 경험과 학습을 기록합니다.

이산수학

컴퓨터공학의 기초가 되는 이산수학 개념을 쉽고 체계적으로 정리한 태그입니다. 논리, 증명, 집합, 그래프, 조합론 등을 다룹니다.

ChatGPT Image 2026년 3월 12일 오후 12 27 41
이산수학2026.03.12약 13분 분량

이산수학 증명법 정리: 직접증명, 귀납법, 간접증명 쉽게 이해하기

이 글에서 정리하는 내용 이 글에서는 증명이 왜 필요한지부터 시작해 직접증명법, 수학적 귀납법, 간접증명법, 그리고 반례증명법·존재증명법·전수증명법·조합적 증명법까지 한 흐름으로 정리합니다. 저는 단순히 이름만 외우는 방식이 아니라, 문제를 봤을 때 어떤 증명법을 먼저…

더 읽기 →
ChatGPT Image 2026년 3월 11일 오후 02 48 16
이산수학2026.03.11약 14분 분량

이산수학 논리 정리: 명제부터 조건명제, 한정자, 추론 쉽게 이해하기

이 글에서 정리하는 내용 이 글은 이산수학 논리 단원에서 가장 자주 배우는 명제, 논리연산, 조건명제, 역·이·대우, 논리적 동치, 술어논리, 한정자, 추론 규칙을 초심자 기준으로 한 흐름으로 정리합니다. 단순히 정의만 모아두는 것이 아니라, 왜 그렇게 판단하는지와 시…

더 읽기 →