무회blog

2021.09.24 - [IT/컴공_관련] - 02-이산 논리 03-이산_술어논리 술어논리 논리 명제논리 명제 단위의 참과 거짓에만 관심을 가지므로 명제를 구성하는 요소를 이용한 새로운 사실을 추론할 수 없음 술어논리 명제논리의 문제점을 해결 명제를 술어와 주어로 분리하여 술어(주어)의 형태로 표현하기 때문에 주어와 술어 사이에 더욱 세밀한 표현 가능하며 더 다양한 사실을 찾을 수 있음 술어란 문장을 구성하는 기본요소로서 주어의 동작, 상태, 성질에 대해 서술하는 말 문장들의 타당성을 결정하기 위해 선언적인 문장들을 주어부와 술어부로 분리할 필요가 있음 술어는 주어에 대한 정보를 주는 문장 부분 명제에서 일부 또는 모든 명사들을 제거함으로써 얻을 수 있음 예시 1 ‘홍길동은 사람이다.’라는 명제는 다음과..

2021.09.24 - [IT/컴공_관련] - 01-이산수학 개념 이산 논리-02 명제에서 참, 거짓으로 나타내는 값을 진릿값이라 함 의문문, 감탄문, 명령문 등은 명제가 될 수 없음 (평서문은 명제가 될 수 있음) 기준에 따라 참, 거짓이 달라지는 경우는 명제가 아님 명제란:논리의 기본 구성요소이며, 참, 거짓을 명확히 구분할 수 있는 문장이나 수식을 말한다. 참 (True), T : 명제가 타당한 경우 거짓 (False), F : 명제가 타당하지 않은 경우 명제의 종류 합성명제 조건명제, 쌍조건명제 항진명제, 모순명제 논리 연산자: 여러 단순명제들은 논리 연산자로 연결하여 또 다른 명제 즉, 합성명제를 만들 수 있으며 논리 연산자에는 논리합(∨), 논리곱(∧), 부정(~), 조건명제(→ ), 쌍조건명..

이산적인 수학구조에 대해 연구하는 학문 설명: 실수와 같이 연속적인 성질을 가진 값에 대한 것이 아니라 자연수, 정수와 같이 하나하나 구분되는 집합에 대해 공부하는 학문 이산수학의 특징2. 도구, 기법, 방법론 유한하거나 셀 수 있음 명제, 논리의 참과 거짓, 집합의 포함, 관계의 유무, 함수의 입출력 등과 같이 확실하게 분리되는 개념을 다룸 컴퓨터에 활용되는 많은 개념들은 이산적인 개념이 포함됨 축구를 하기 위한 도구, 기법, 방법론 도구 (수학의 정의, 정리) 축구공, 축구장, 골대, 출구장, 보호대, 유니폼 등 기법(기술: 가우스 소거법 (일차연립 방정식) ,근의 공식 (2차, 3차 방정식) ) 킥헤딩, 트래핑, 스토핑, 태클 등 방법론(상황에 따라 가장 효과적이고 효율적인 도구와 기법을 선택하는 ..