link
- 개발자가 알아야할 기초 수학
물리학 역사
물리학 기초
초끈 이론
적분 모음
미적분 기초
Ray Tracing관련
The Rotating Coordinate System(회전하면서 그림을 그리네 ㅎㅎ 3D로 그림으로 설명해줌 굿)
- 기초지식
- 다양한 움직임의 알고리즘 모음
- Tensor관련
4차원 이해
해외 유튜버 볼만한거
양자역학은 여기에 정리 중.|🔝|
- 7hr짜리 통합본(설 특집 풀버전) 김갑진 교수의 물리학 시리즈 (고전역학, 전자기학, 양자역학) [KAIST 김갑진 교수]
고전역학 1편, 과학이란 무엇인가? (KAIST 김갑진 교수의 물리학 특강 1/8) | 안될과학 Unrealscience
중력과 시간이란 무엇인가? 고전역학 2편 (KAIST 김갑진 교수의 물리학 특강 2/8) | 안될과학 Unrealscience
에너지란 무엇인가? 고전역학 3편 (KAIST 김갑진 교수의 물리학 특강 3/8) | 안될과학 Unrealscience
전기와 자기는 어떻게 발견되었나? 전자기학 1편 (KAIST 김갑진 교수의 물리학 특강 4/8) | 안될과학 Unrealscience
맥스웰 방정식의 의미! 전자기학 2편 (KAIST 김갑진 교수의 물리학 특강 5/8) | 안될과학 Unrealscience
빛은 입자인가 파동인가? 양자역학 1편! (KAIST 김갑진 교수의 물리학 특강 6/8) | 안될과학 Unrealscience
입자의 스핀과 불확정성의 원리란? 양자역학 2편! (KAIST 김갑진 교수의 물리학 특강 7/8) | 안될과학 Unrealscience
양자컴퓨터란 무엇인가? 양자역학 3편! (KAIST 김갑진 교수의 물리학 특강 8/8) | 안될과학 Unrealscience
한글로 잘 된 이산 수학|🔝|
이산수학은 컴퓨터공학에서 필요한 기초 교과목으로 논리 및 명제, 집합 이론, 관계, 순열 및 조합, 순환 관계, 그래프 및 트리등의 개념을 학습한다. 이산수학의 개념은 향후 알고리즘 설계 및 분석, 데이타베이스 설계, 프로그래밍 원리 등 컴퓨터 전반에 걸쳐 필요한 수리적 토대가 된다.
1.1 이산수학(Discrete Mathematics)이란?
이산수학은 연속적(continuous)이 아닌 불연속(discrete) 객체를 다루는 수학의 한 분야임
- 예를 들어, 미적분학은 주로 연속적인 대상을 다루며 이산수학에서는 다루지 않음
discrete objects의 예:
- 정수,
- 컴퓨터 프로그램에서 각 단계,
- 도로망에서 A지점에서 B지점으로 이동하는 서로 다른 경로,
- 로또복권에서 당첨이 될 경우의 수.
이산수학에서는 컴퓨터 과학에서 필요로 하는 수학적 토대를 제공함
Complementary Relations (보수 관계)
| 명칭 | 별명 | 논리연산자 |
|---|---|---|
| 부정(negation) | NOT | ¬ or ~ |
| 논리곱(conjunction) | AND | ∧ |
| 논리합(disjunction) | OR | ∨ |
| 배타적 논리합(exclusive OR) | XOR | ⊕ |
| 함축(implication), 조건(conditional) | IMPLY | → |
| 상호조건(biconditional) | IFF(if and only if) | ↔ |
Discrete Mathematics Final Review Part 1: Structures (Fall 2022) | A Yang|🔝|
2022년 12월 7일 CS 2800 Final Exam Review Session Ambrose Yang, Cornell University
Part 1: Propositional logic, sets, functions, relations, automata
1:30 Propositional and predicate logic
19:15 Set theory
26:35 Functions
36:50 Cardinality of sets
49:25 Relations
1:09:18 Finite automata
part2
Discrete Mathematics Final Review Part 2: Combinatorics and Probability (Fall 2022) | A Yang
2022년 12월 8일 CS 2800 Final Exam Review Session Ambrose Yang, Cornell University
Part 2: Combinations, Stirling numbers of the second kind, occupancy problems, combinatorial proofs, Principle of Inclusion-Exclusion, conditional probability, Bayes’ Rule, random variables
0:30 Combinatorial formulas
10:40 Distinguishable and indistinguishable balls and bins
34:10 Combinatorial proofs
41:50 Principle of Inclusion-Exclusion
45:25 Probability basics: outcomes, sample spaces, events, conditional probability
52:05 Bayes’ Rule
58:45 Random variables
Discrete Mathematics (Full Course) | My Lesson
Combinatorics and Probability (Complete Course) | Discrete Mathematics for Computer Science | My Lesson|🔝|
눈으로 보는 영상 수학 모음|🔝|
The most beautiful equation in math, explained visually [Euler’s Formula] | Welch Labs
‘쓸모없다’는 냉대를 받았던 허수 i. 수의 영역을 확장한 상상(수학역사) | EBS지식|🔝|
(함수시리즈 ep4) 로그, 세상을 단순하게 바꿔 보기 | 수학 취미로 하는 직장인|🔝|
고등수학과 대학수학의 가장 큰 차이 - 극한의 진짜 정의 - 엡실론은 무엇인가 | 12 Math|🔝|
수학기호와 의미|🔝|
- https://m.blog.naver.com/ssinznday/221956292856
- https://pigbrain.github.io/math/2015/07/15/MathematicalSymbol_on_Math
수학기호의 의미
- σ : 소문자 시그마는 표준편차를 나타내는 기호
- Σ : 대문자 시그마는 아래첨자와 위첨자를 기입하여 합에 관한 기호로 사용
- i : 아이. 허수단위. 제곱해서 -1이 되는 수
- √ - 제곱근 또는 루트라고 읽습니다.
- ∫ - 인테그랄 : 적분기호
- ∬ - 중적분 기호로, 적분을 두번 하라는 것입니다.
- ∏ - 대문자 파이
- ∴ - 따라서 또는 그러므로(therefore)
- ∵ - 왜냐하면(since)
- ≒ - 약: 근사값을 쓸때 또는 양쪽 값이 거의 비슷할때 사용
- dθ - 디쎄타 - 미분에서 사용되는 기호
- ≡ - 합동 또는 모듈로(mod)를 나타내는 기호=도형의 합동 기호
- ∈ - (왼쪽이 오른쪽의) 원소이다.
- ∋ - (오른쪽이 왼쪽의) 원소이다.
- ⊂ - (왼쪽이 오른쪽의) 부분집합이다. (오른쪽 집합이 왼쪽 집합을) 포함한다.
- ⊃ - (오른쪽이 왼쪽의) 부분집합이다. (오른쪽 집합이 왼쪽 집합을) 포함한다.
- ∪ - 합집합
- ∩ - 교집합
- ∀ - 임의의, 모든(for all, for every, arbitrary)
- ∃ - 존재한다. exist.
- ∃! : There exist exactly one - 유일하게(uniquely)
- ∄ (does not exists, 존재 하지 않는다)
집합기호 : { }, ⊂,⊃,⊆,⊇,
명제기호 : ∧,∨,←,→,⇔,⇒,⇒
도형기호 : ∠(각),∽(닮음),≡(합동),?(평행),⊥(수직)
대소관계 : <, >, ≤,≥,
각종괄호 : (,),{,},[,]
적분기호 : ∫, ∬, ∮
미분기호 : ∂(편미분)
삼각함수 : sin, cos, tan, sec, cosec, cot, sinh, cosh, tanh, sech, cosech, coth, 각각의 함수에 역함수 기호(^-1)를 붙이면 arc삼각함수(=역삼각함수)가 된다.
∞(무한대), !(팩토리얼,factorial)
기타 기호
- Å - 옴스트롱 또는 옴고스트롱. 10의 -10승
- μ(마이크로) - 10의 -6승. 즉, 1/1000000 의 크기.
- ℉ - 화씨. 온도 단위
- ℃ - 섭씨. 온도 단위
- ㎛(마이크로미터) ㎝(센티미터) - 길이의 단위
- ㎟(제곱밀리미터)㎩ ㎢(제곱키로미터) - 넓이의 단위
- ㎣(세제곱밀리미터) ㎤(세제곱 센티미터) ㎥(세제곱 미터) ㎦(세제곱 키로미터) - 부피의 단위.
- ㏈ - 데시벨. 소리의 단위
- ㎲ -마이크로초. 시간의 단위
- ∞ 무한이 커지는 상태
- ∠ 각의 크기를 나타내는 기호
- ⊥ 서로 직교를 나타내는 기호
조건문
⇔(쌍조건문): A and B are true. Whether a symbol means a material biconditional or a logical equivalence, depends on the author’s style.A ⇔ Bis true only if both A and B are false, or both A and B are truep ⇔ q참이다. (p ⇔ q,p ⇔ q2가지를 만족해 쓸수 있음)
⇒imply(=함의하다.)⇒(Double Arrow): Standard for logical implication, “if P, then Q”.
◻ , ■
- Tex
{\displaystyle \blacksquare }◻{\displaystyle \Box }증명 완료 - q.e.d는 아주 위대한 정리의 굉장한 증명에만 사용한다고 합니다. 페르마의 마지막 정리 같은것
- Tex
q.e.d
- 라틴어 ‘Quod Erat Demonstrandum(QED)
- https://freshrimpsushi.github.io/ko/posts/1764
ETS(다음을 보이면 충분하다)
- Enough To Show
- ‘어떤 조건을 보이기 위해 이것을 보이는 것으로 충분하다’
- https://m.blog.naver.com/ssinznday/221956292856
- Enough To Show
c.f.(비교)
- confer의 약자, A(c.f. B)는 B와 A가 다르니 잘 비교해서 보라는 뜻.
i.e.(즉, 다시 말하면)
- 라틴어 id est의 약자, 영어로는 that is 에 해당
- A (i.e. B)는 A를 다시 말하면 B와 수학적으로 같다는 의미
- https://m.blog.naver.com/ssinznday/221956292856
let A be B(A를 B라 하자.)
- 수학을 전공하다 보면 굉장히 많이 보게 되는 표현
- A라는 것을 B라는 조건으로 두고서 문제를 풀 때 사용
- https://m.blog.naver.com/ssinznday/221956292856
pf(증명)
- Proof의 약자, 명제를 증명할 때 사용.
sol(풀이)
- Solution, 문제를 풀 때 사용
Thm(정리)
- Theorem, 정리는 자주 사용하는 참인 명제.
- https://m.blog.naver.com/ssinznday/221956292856
Def(정의)
- Definition, 정의는 A는 B이다. 라고 정한 것을 말함.
- 정의에는 참, 거짓이 없습니다. 그냥 그대로 가져다 사용하시면 됩니다.
Contradiction(모순)
→ ←- 결론을 부정하여 모순임을 보이는 증명 방법인 ‘귀류법’에서 사용
- 간단하게 번개 모양의 화살표
- → ←
- I am surprised to see that nobody has mentioned ⊥ . In logic, this is a standard symbol for a formula that is always false, and therefore represents a contradiction exactly.
- In almost all logical formalisms, one has a rule of inference that allows one to deduce p from ⊥ for any p at all, and it is usually possible to prove that (p∧¬p)→⊥ and so forth.
- https://math.stackexchange.com/questions/160039/are-there-any-symbols-for-contradictions
∀ (For all)
- 두 개의 닮은꼴 문자가 있다.
∀: U+2200, FOR ALL
Ɐ: U+2C6F, Turned A
ɐ: U+0250, Small turned A- 수학 기호
∀: For all(포 올)이라고 부르며, 전칭(全稱) 기호, 보편양화사라고도 한다. ‘모든 것에 대하여’를 의미한다. 이 글자도 A를 뒤집어서 만든 글자이기는 하다. 이 기호를 가장 처음 사용한 사람은 게르하르트 겐첸(Gerhard Gentzen)으로, 더 먼저 만들어진∃∃(존재하는)로부터 착안했다고 한다. 아마도 ‘all’[1]의 앞글자에서 따왔을 듯하다. TeX에선\forall로 표시한다 - https://namu.wiki/w/%E2%88%80
for all 여기 글 보다가 나옴
How to self study pure math - a step-by-step guide
물리학의 지도
푸리에 변환이 대체 뭘까요? 그려서 보여드리겠습니다.
애니매이션으로 모든 물리학 공식과 같이 연관 되어 보기.. 진짜 대박 최고 !!❤
- Animation vs. Physics | Alan Becker
- Animation vs. Math | Alan Becker
뉴턴 vs 라이프니치의 미적분 이야기 | 문명과 수학 | EBS 컬렉션 - 사이언스
일반상대성 이론 이해하기 General Relativity Lecture 1 | Stanford
General Relativity Lecture 2
(초끈이론)물의 최소 단위는 입자가 아니라 끈이다? 우주의 모든 것을 설명할 수 있는 단 하나의 이론 #과학 #EBS지식
- 7hr짜리 통합본(설 특집 풀버전) 김갑진 교수의 물리학 시리즈 (고전역학, 전자기학, 양자역학) [KAIST 김갑진 교수]
고전역학 1편, 과학이란 무엇인가? (KAIST 김갑진 교수의 물리학 특강 1/8) | 안될과학 Unrealscience
중력과 시간이란 무엇인가? 고전역학 2편 (KAIST 김갑진 교수의 물리학 특강 2/8) | 안될과학 Unrealscience
에너지란 무엇인가? 고전역학 3편 (KAIST 김갑진 교수의 물리학 특강 3/8) | 안될과학 Unrealscience
전기와 자기는 어떻게 발견되었나? 전자기학 1편 (KAIST 김갑진 교수의 물리학 특강 4/8) | 안될과학 Unrealscience
맥스웰 방정식의 의미! 전자기학 2편 (KAIST 김갑진 교수의 물리학 특강 5/8) | 안될과학 Unrealscience
빛은 입자인가 파동인가? 양자역학 1편! (KAIST 김갑진 교수의 물리학 특강 6/8) | 안될과학 Unrealscience
입자의 스핀과 불확정성의 원리란? 양자역학 2편! (KAIST 김갑진 교수의 물리학 특강 7/8) | 안될과학 Unrealscience
양자컴퓨터란 무엇인가? 양자역학 3편! (KAIST 김갑진 교수의 물리학 특강 8/8) | 안될과학 Unrealscience
- (설 특집 편집 합본 풀버전) 판타레이! 유체역학의 역사 그리고 낭만 과학사! [S&H연구소 민태기 소장] | 안될과학 Unrealscience
과학사모아보기 | 안될과학 Unrealscience
과학자들의 막장드라마가 펼쳐진다?뉴턴과 데카르트의 유체배틀 유체역학의 역사 1/15 (민태기 박사) | 안될과학 Unrealscience
왜 물리학의 천재들은 유체역학 연구를 포기했나? 유체역학의 역사 13/15 (민태기 소장) | 안될과학 Unrealscience
나비에-스토크 방정식! 방정식이 갖는 의미는? 유체역학의 역사 15/15 (민태기 소장) | 안될과학 Unrealscience
고전물리의 완성 (19세기말) 물체의 운동 2개 , 전기와 자기로 이세상 설명이 다 가능함.[🔝]
물체의 운동 2개 ~~~~~start~~~~
물체의 운동 2개 ~~~~~end~~~~
전기와 자기 4개 공식 ~~~~~start~~~~[🔝]
(Gauss’Law)
(Gauss’Law for Magnetism)
(Faraday’s Law)
(Amperer’s Law)
- 점은 전자가 퍼져나가던가 모이던가
- 곱하기 는 회전
현대의 벡터의 개념이 나오고 맥스웰 공식이 20개에서 4개로 줄어들었다.
- ‘전자기파’는 어떻게 발견되었을까! 맥스웰 방정식의 그 이야기! [안될과학 - 랩미팅 12화] | 안될과학 Unrealscience
- https://youtu.be/5UDuZ0Z_muo?si=R5nAt4XvwkxeZjs2
- (헤비사이드) 맥스웰 20가지 공식을 4개의 공식으로 정리함(올리버 헤비사이드(Oliver Heaviside ; 1850년 ~ 1925년)는 영국의 수리 물리학자 및 전기 공학자이다)
- ‘전자기파’는 어떻게 발견되었을까! 맥스웰 방정식의 그 이야기! [안될과학 - 랩미팅 12화] | 안될과학 Unrealscience
Ampere_maxwell https://em.geosci.xyz/content/maxwell1_fundamentals/formative_laws/ampere_maxwell.html
그리스 문자2(전자기 잘 정리됨) https://blog.naver.com/kogyver1/60107038104
전자기 정리2 http://tomoyo.ivyro.net/123/wiki.php/TeX_%EB%B0%8F_LaTeX_%EC%88%98%EC%8B%9D_%EB%AC%B8%EB%B2%95
미분 관련 수학 https://koodev.tistory.com/43
- 출처 : 맥스웰 방정식의 의미! 전자기학 2편 (KAIST 김갑진 교수의 물리학 특강 5/8) | 안될과학 Unrealscience
전기와 자기 4개 공식 ~~~~~end~~~~
파동방정식[🔝]
파동방정식은
- 시간으로 두 번 미분
- 공간으로 두 번 미분 이러면 무조건 파동방정식
(Wave equation, Schrödinger Equation 혹은 Eigenvalue Equation)
- 출처: 에너지란 무엇인가? 고전역학 3편 (KAIST 김갑진 교수의 물리학 특강 3/8) | 안될과학 Unrealscience
현대물리는 여기에 양자역학을 추가하면 됨.[🔝]
그리스 문자 https://namu.wiki/w/%EA%B7%B8%EB%A6%AC%EC%8A%A4%20%EB%AC%B8%EC%9E%90
미분연산자 나블라 http://tomoyo.ivyro.net/123/wiki.php/TeX_%EB%B0%8F_LaTeX_%EC%88%98%EC%8B%9D_%EB%AC%B8%EB%B2%95
Wiki https://ko.wikipedia.org/wiki/%EC%9C%84%ED%82%A4%EB%B0%B1%EA%B3%BC:TeX_%EB%AC%B8%EB%B2%95
LaTex http://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf
The Mystery of Spinors | Richard Behiel [🔝]
The Math behind (most) 3D games - Perspective Projection | Brendan Galea[🔝]
The scariest thing you learn in Electrical Engineering | The Smith Chart | Zach Star[🔝]
The Vector Equation of a 3D Line | Serpentine Integral[🔝]
Understanding Lagrange Multipliers Visually | Serpentine Integral[🔝]
Change of Variables and the Jacobian | Serpentine Integral[🔝]
(영상모아보기)Multivariable Calculus Theory | Serpentine Integral[🔝]
https://youtube.com/playlist?list=PLjHDjmY5z0pn_p5haaVYA-Epp5Hwx1gXO&si=88hlIRfY5q_B7a2q
Ampere-Maxwell[🔝]
https://em.geosci.xyz/content/maxwell1_fundamentals/formative_laws/ampere_maxwell.html
위상수학[🔝]
3차원 쌍곡 공간의 강직성: 유한 부피에서 무한 부피까지 [3] 2024년 2월 23일[🔝]
Game Dev.[🔝]
계산 퍼즐에 대한 가장 예상치 못한 답 | 3Blue1Brown[🔝]
quaternion[🔝]
How to rotate 2D image in 3D space using a quaternion[🔝]
입체 투영으로 쿼터니언(4d 숫자) 시각화| 3Blue1Brown[🔝]
n차원 이해하기(n차원 세계에서 일어나는 믿을 수 없는 신기한 현상!! | 12 Math[🔝]
내적 외적 이해[🔝]
https://youtu.be/cpRgDDoGktk?si=qa8mwYFozUndljND
- (comparison between inner(or dot) product and outer(or cross) product of vector)
- (comparison between inner(or dot) product and outer(or cross) product of vector)
출처: https://rfriend.tistory.com/search/내적과 외적 [R, Python 분석과 프로그래밍의 친구 (by R Friend):티스토리]
직교성 (Orthogonality[🔝]
허수(Imaginary number, 𝑖ℝ , 𝕀 , 𝔍 )는 어떻게 만들어 졌을까? : 지면 실업자가 되는 수학 배틀[🔝]
다차원이해와 허수
이산 수학(discrete mathematics)❤책에 나오는 수학용어 영어로 ❤️정리(자연수ℕ, 정수ℤ…등등)[🔝]
Quick Understanding of Homogeneous Coordinates for Computer Graphics | Miolith[🔝]
Writing a Physics Engine from scratch | Pezzza’s Work[🔝]
백지 상태에서 미분 완전 정복 3시간 | 침착맨[🔝]
Animation vs. Geometry | Alan Becker[🔝]
Voronoi Edges Explained Part. 1 | Yusef28[🔝]
https://youtu.be/g2bILAVIIvM?si=QrE41zrOxR2R0LRM
(MATHEMATICS) 3차원 공간의 흐름(2024년 7월 25일)[🔝]
Ray Tracing Harmonic Functions[🔝]
- https://youtu.be/oDwedIuqh5Q?si=WPMYFULvJIESeyRX
- Mark Gillespie