*문제 https://www.acmicpc.net/problem/1004 이 문제는 논리기호를 이용해 굉장히 간단히 접근할 수 있다. 출발지점과 도착지점이 해당 원에 동시에 안에 있거나 동시에 바깥에 있다면 해당 원에 진입하지 않아도 된다. 둘 중 단 하나가 포함되어 있을 때의 경우는 진입을 따져야한다.이는 구조상 논리기호 XOR과 같다. 따라서 다음과 같이 가능하다.if " 출발 지점이 원 1에 포함되어있나? xor 도착 지점이 원 1에 포함되어있나? " then answer++; *소스코드 보기https://github.com/ingyeoking13/algorithm/blob/master/bj/p1000/p1004.c
1 a) 명제, 참 b) 참, 거짓을 가릴 수 없는 진술이므로 명제가아니다. c) 이는 명제 함수propositional function이다. 변수variable에 값이 지정되지 않으므로 참, 거짓을 가릴 수 없다. 따라서 명제가 아니다. d) 명제, 참2 a) 민수 또는 민환은 나의 친구가 아니다. b) 주환의 가방에는 책이 3권이 있지 않다. c) 121은 11의 제곱이 아니다.3 a) 나는 이번 주 복권을 사지 않았다. b) 나는 이번 주 복권을 샀거나 1등 상금을 얻었다. c) 나는 이번 주 복권을 샀다면, 1등 상금을 얻었다. d) 나는 이번 주 복권을 샀고, 1등 상금을 얻었다. e) 나는 이번 주 복권을 샀다면, 1등 상금을 얻었다. 그리고 1등 상금을 얻었다면, 이번 주 복권을 산것이다. ..
수학 원리에서...1.01 p→q = ~p∨q Df.앞으로 "Df"의 단어는 정의를 뜻한다. 이 단어와 같다라는 기호 equal symbol은 왼쪽 항의 복합명제가 우항의 복합명제를 의미한다고 정의한다. 즉, 정의되는 것은 왼쪽 항이다. 우리는 가장 단순한 논리연산자 부정형negation과 논리합disjunction을 기초로 사용하기 때문이다. 조건문의 필요성은 다음에 의해 기인한다. "한 명제 p가 참일 때 그것이 의미하는 q가 반드시 참이여야 한다." 조건문은 증명에 반드시 필요하다. 그러나 어떠한 명제 p가 거짓일 때 그것이 의미하는 어떠한 것들에 대해서 진리값을 판단하려는 의미는 아니다. 그러므로, p가 참일 때 q가 거짓일 때만 거짓이라고 판단한다. p가 거짓이거나 q가 참일때는 항상 참이다. ..
사실은...기호논리학의 또 다른 거장, 버트런드 러셀Bertrand Russell와 화이트 헤드Whitehead는 그들의 공동 저서 수학원리principia mathematica에서 세상의 수학들을 기호논리로 다루려고 노력했습니다. 그들은 수학원리에서 다음과 같이 기호논리를 사용합니다.논리곱logical product은 . 로 표현했습니다. 따라서 p.q는 "p and q"를 뜻합니다. 그러나 때로 .는 괄호parentheses를 표현하기도 하는데요. 다음의 명제를 봅시다.⊦ :p∨q.⊃.q∨p우선, ⊦ 는 다음이 반드시 참이라고 주장하는 것입니다. 이는 정리theorem 이거나 공리axiom일 수 있습니다. 그리고 :는 . 보다 한 단계 더 높은 중괄호라고 봅니다. ⊦ [p∨q.⊃.q∨p]⊦ 이후의 콜..
논리학logic은 주어져있는 사실들로부터 사실인 것을 추론해내는 기초적인 활동입니다. 우리는 이제, 수학적 진술mathematical statement에 관한 명제proposition들을 살펴볼 것 입니다. "모든 정수 n에 대해, n을 넘지 않는 모든 정수의 합은 n(n+1)/2이다." 논리학은 모든 수학적 추론mathematical reasoning과 자동화 추론automated reasoning의 기초입니다. 논리학은 computing machines, specification of systems, artificial intelligence, computer programming, programming languages, 그 외 여러 computer science 분야에 응용되고 있습니다. 자, 수..
읽어도 되고 안 읽어도 되는 부분 : 실수 체계를 먼저 다루어야할지, 논리기호를 먼저 다뤄야할지 고민이 많이 되었습니다. 한 시간 가까운 고민 끝에 결국 명제논리 술어논리 등을 먼저 다루기로 결심했습니다. 무엇을 선택하든 당장 배울 입장에서는어디까지나 선택의 문제이겠지만, 역시 논리학을 우선적으로 다뤄야 실수체계를 후에 배우더라도 가깝게 느끼지 않을까 생각했습니다. 우선 논리학을 다룰 예정입니다. 그 뒤 실수 체계까지 건들 수 있는 수준이 되면 그때 건드려도 늦지 않겠다 생각이 들었습니다. 사실 저도 확신하지는 못하지만, 우선은 실수체계와 같이 이 포스팅을 읽기 전에 필요한 기초들을 독자들이 직관적인 수준만 충족하기를 기대합니다. 그러니까, 우선은 알고 계신 직관적인 실수체계를 그대로 들고 있어달라는 이..
/* 이 포스팅은 Rosen의 Discrete Mathematics and its Applications, Handbook of discrete and combinatorial mathematics, Elementary number theory and its Applications 등 그 외 다양한 저서를 인용 및 참고하여 번역 및 작성한 것입니다. 상업적인 용도를 위한 것이아니라 개인적인 학습용을 위한 포스팅입니다. 그러나 다른 사람들과 토의하는 장으로 두고 싶기도 한 것도 제 바람입니다. 포스팅의 난이도는 초등학생부터 석사과정의 학생까지 커버하려고 목적하고있습니다. 저작권 문제시 반드시 포스팅을 삭제하겠습니다. */학생들에게이산수학discrete mathematics이란 무엇일까요? 이산수학은 수학의..
n진 관계 n-ary relations 두 집합 이상의 엘리먼트들의 연관성은 자주 발생합니다. 학생의 이름과 그/그녀의 전공, 학점의 연관을 예로 들 수 있습니다. 이와 비슷한, 항공기와 항공번호, 출발지, 도착지, 도착시간, 출발시간과 같은 연관도 있습니다. 수학에서의 연관성의 예로, 정수 세 개를 들 수 있습니다. 첫 째 정수는 둘 째 정수보다 크며, 둘 째 정수는 셋 째 정수보다 큽니다. 다른 예는, 한 선 위의 점들을 살펴볼 수 있습니다. 두 번째 점이 첫 째점과 셋 째점 사이에 위치하고 있을 때 이 세 점은 연관되어 있습니다.이 섹션에서는 두 집합 이상에의 엘리먼트들이 연관이 있을 때에 대해 학습할 것입니다. 이런 연관성들은 n진(항) 관계n-ary relations라고 합니다. 이 관계들은 컴..
- Total
- Today
- Yesterday
- 이산 수학
- Arena
- 그라파나
- Grafana
- 데이터 중심 애플리케이션 설계
- beginning javascript
- 자바스크립트 예제
- 이산수학
- Discrete Mathematics
- 자바스크립트
- 항해99
- 최단경로 알고리즘
- rosen
- 로젠
- javascript
- 대규모 시스템 설계 기초
- paul wilton
- 아레나
- 명제논리
- 아레나시뮬레이션
- 엄청난 인내심과 시뮬레이션을 위한 아레나 툴
- 백준
- 가상 면접 사례로 배우는 대규모 시스템 설계 기초
- flutter
- 시뮬레이션
- arena simulation
- Propositional and Predicate Logic
- 아레나 시뮬레이션
- Simulation
- grafana cloud
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |