betablog1

how to prove everything How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 마찬가지라고 할수 있다. 1 asdasdas How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 마찬가지라고 할수 있다. 1 asdasdas How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 마찬가지라고 할수 있다. 1 asdasdas How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 마찬가지라고 할수 있다. 1 asdasdas How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 마찬가지라고 할수 있다. 1 asdasdas How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 마찬가지라고 할수 있다. 1 asdasdas How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 마찬가지라고 할수 있다. 1 asdasdas How? 우리는 저번 글을 통해서 다양한 axiom 과 정의를 배웠다. 특히 axiom of extent 를 이용하면 사실상 모든것을 증명할수 있는 무기를 얻게 된것이나 ...

about sets and classes before we start… 우리가 알고 있는 모임의 수학적 표현으로의 set 을 이용해 해당 set \(S\) 를 생각 해 보자. \[S = \text{자기 자신을 원소로 가지지 않는 모든 집합의 집합}\] 이를 좀더 포말하게 작성한다면, \[S = \{ x:x \text{ is a set, }x \not\in x \}\] 이 된다. 일단 직관적으로 \(S\) 는 set 이라 한다면. “ \(S\) 는 자기 자신을 원소로 가지는가?” 라는 질문이 생긴다 [!증명] 우선 \(S \in S\) 라 가정한다, 그러면 저 조건에 의하여, \(S \not\in S\) 를 만족해야 한다, 이는 모순이다. 또한 \(S \not\in S\) 라 가정한다, 그러면 조건의 역인 \(S \in S\) 를 만족해야 한다, 이 또한 모순이다. 즉 이러한 set 은 어떤 상황에도 모순을 만든다는 문제가 생긴다. (이를 러셀의 역설 이라 한다.) 그렇다면 여기서 좀더 기초적인 질문이 가능하다. “Set 이란 엄밀하게 무엇인가?” 이러한 문제를 해결하기 위해. 저멜로,러셀,칸토어 같은 여러 거인들이 다양한 방법으로 집합을 정의함으로써 이 역설을 해결하러 하였다. 그러나 저멜로의 집합에 관한 아이디어는 “베리의 역설” 을 해결하지 못한다는 한계에 부딛히고 말았다. 이후 폰 노이만, 베르나이스, 괴델이 NBG 공리계를 정립해 탄탄한 집합론을 만들었다. 이제 기존의 집합에 대한 관념을 버리고 sound 한 집합론에 대해 알아가 보자. 명제의 성질 우선 집합에 대해 논의하기 전에 기초적인 명제에 대해 알아야 한다 [!정의] 문장 문장이란 분명하게 참/거짓을 판단할수 있는 statement 이다. “고대는 .대보다 좋다.” , “프랑스 왕은 대머리이다.” , “까마귀는 검다.” 같은 것들을 우리는 명제라고 한다. 계속해서 statement 들을 적어나가기는 비효율적이므로 \(P,Q,R,S\...

이 테마를 쓰고 싶으시다면 여기서 받아가세요 01-02-Most Recent Release V3.141 \(+ \epsilon\) added custom comment section implemented smart caching to the search feature no more having to wait for the indexing to finish everytime you enter a new page alot of small bug fixes 참조 기능 증명, 정리 등등을 recall 할 때 편리한 기능 눌러봐 눌러봐2 이것도 눌러봐주세요 공지기능 이제부터 원하는 글을 최대 3개까지 “공지” 태그를 달아 홈 화면 상단에 핀 할 수 있음. 위키링크 기능 추가 linux mint 사용기 - 내가 쓰는 키보드 설정 처럼 호박색 하이라이트 는 위키링크를 의미함. 이때 저 링크를 클릭시 해당 글이 검색창에 검색됨 이런거도 되지롱 옵시디안 콜아웃들 이제부터 옵시디안 콜아웃 을 전부 지원함 [!note] 콜아웃이다 [!info] 콜아웃이다 [!todo] #투두1 콜아웃이다 눌러보셈! [!abstract] 콜아웃이다 [!summary] 콜아웃이다 [!tldr] 콜아웃이다 [!tip] 콜아웃이다 [!hint] 용을 입력하세요. [!important] 콜아웃이다 [!success] 콜아웃이다 [!check] 콜아웃이다 [!done] 콜아웃이다 [!question] 콜아웃이다 1 [!help] 콜아웃이다 [!faq] 콜아웃이다 [!warning] 콜아웃이다 [!caution] 콜아웃이다 [!attention] 콜아웃이다 [!failure] 콜아웃이다 [!fail] 콜아웃이다 [!missing] 콜아웃이다 [!danger] 콜아웃이다 [!error] 콜아...

Score: 0 GAME OVER Final Score: 0 다시 하기 (Click or Press R)

Modern Tetris Hold Score 0 Level 1 Lines 0 Combo 0 TETRIS Modern Edition Start Game PAUSED Press P to resume GAME OVER Score: 0 Lines: 0 Play Again Next Controls ← → Move ↓ Soft Drop ↑ / X Rotate CW Z / Ctrl Rotate CCW Space Hard Drop C / Shift Hold P Pause

������ ������ [!정리] #my-theorem-id ㅁㅇㄴㅁㅇㄴㅁㅇㄴㅁㅇㅁㄴ [!정리] ㅁㅇㄴㅇㅁㄴㅇㅁㄴㄴㅇㄴㅁㅇ ㄴㅁㅇㄴㅇㄴㄴㄴㅇㄴㅁㅇㄴㅁㅇㅁㅇ [!정의] 둘 둘둘 정리 1 참조하기

Untitled 5 [!정리] 태스트1 가나다라 [!정의] 가나다1 간다ㅏ [!정의] 가나다2 가나다ㅏ다 [!증명] 가가가가 ㅁㄴㅇㄴㅁㅇㄴㅁㅇㄴㅁㅇㄴㅇㄴㅁㅇㄴㅁㅇㄴㅁㅇ [!예시] 가나다3 가낭나안ㅁ암ㄴ안 [!정의] 눌러 눌러라 [!정의] 눌러 눌러라

01-01 - 1차와 2차 미분방정식 Preface \(u,v,w,g,y,p,q ,\psi\) 는 \(t\) 에 대한 함수라는 약속을 하고 시작해 보자. 마찬가지로 \(\frac{du}{dt} = \dot{u}, \frac{d^2u}{dt^2} = \ddot{u} \cdots\) 라고 적어야 하겠지만 여기서는 \(u',u'' \cdots\) 라고 적자. 모든 방정식은 \(y\) 를 \(t\) 에 대해 닫힌 형식으로 기술하는것이 목적이 된다. [!note] 해를 제시할 때 그 해가 성립하는 구간을 잡아야 한다 , \(\frac{1}{t}\) 같은 것이 해라면, “ \(0\) ” 은 우리가 제시하는 구간에 없어야 한다. ( \(t \in (0,1]\) 처럼) [!tip] 최고차항의 계수를 1로 만든 표준형 \(y'' + p(t)y' + q(t)y = g(t)\) 에서, 해가 존재하는 구간 \(I\) 는 \(p(t), q(t), g(t)\) 세 함수가 동시에 연속이면서, 초기값 \(t_0\) 를 포함하는 가장 넓은 구간 이다. 그렇기에 해의 존재 구간은 방정식의 계수들을 표준형으로 나눴을 때, 분모가 0이 되는 점(Singular point)이나 로그의 진수 조건 등을 뚫고 지나갈 수 없다. 반드시 초기값 \(t_0\) 가 속한 연속 구간으로 쪼개서 대답해야 한다. Before We Start… 미분 방정식은 사실 너무 실용적인 과목이라 배워야 할 이유를 설명할 필요가 없다!! 1차 선형 상미분방정식 \(y' + py=g\) 이 꼴을 1차 선형 ODE 라고 한다 note that \(D_{t}(e^{ A }y)=e^A(y'+A')\) \(\therefore e^{ \int p(t) }(y'+p(t)y)=e^{ \int p(t) }(g(t))\) 을 이용한다, 그러므로 \(e^{ \int p(t)}(y)=\int_{dt} g(t...