본문 바로가기

천천히, 꾸준히../이산수학2

[이산수학] 논리 명제 참과 거짓을 구분 할 수 있는 문장 또는 수식 구분 할 수 있다면 명제이고, 진리값(참/거짓)도 알 수 있음 논리연산 논리연산 (논리합, 논리곱, 부정, 배타적 논리합) 합성명제 조건명제 [ p -> q ] 쌍조건명제 [ p q ] 논리적 동치 [ p ≡ q ] 항진명제와 모순명제 술어논리 명제함수 ? 변수의 값에 의해 함수의 진리값이 결정되는 문장이나 식 한정자 전체한정자(∀) -> "모든(임의의)"을 의미 존재한정자(∃) -> "존재한다"를 의미 추론 참(T)이라고 알려져 있는 사실로부터 논리적인 과정을 거쳐 참(T)인 사실들을 이끌어내는 과정을 추론이라고 함 전제를 참(T)이라고 가정했을 때, 결론이 항상 참(T)인 추론을 유효추론이라고 함 2024. 3. 4.

[이산수학] 개요 이산수학이란 ? 이산적인 수학구조(뚝뚝떨어진)에 대해서 연구하는 학문 모델링과 추상화 성공적인 문제 해결을 위해 도구, 기법, 방법론 선택이 중요함 수학적 모델링 ? 수학적 도구로 실생활의 문제를 해결할 수 있도록 추상화 하는 과정 추상화 ? 특정한 성질을 뽑아내는 것 => 문제 해결을 위해 꼭 필요한 것만 남기고 관련 없는 내용을 제거하거나 단순화 시키는 과정 정보모델링 ? 실생활의 문제를 컴퓨터에서 해결할 수 있는 형태로 추상화하는 과정 알고리즘 언어 알고리즘을 모호하지 않게 표현하기 위해 컴퓨터 프로그래밍 언어(PL), 순서도, 의사코드 등을 사용 컴퓨터로 해결 할 수 있는 문제 => 순차/선택(if/switch)/반복(for/while/foreach) 연습문제 Q 연속적인 데이터 집합을 주위에서 .. 2024. 3. 4.

이전 1 다음

티스토리툴바