logic 논리

• 명제, 기호, 진리표, 논리적 연결사(and, or, not) 등 논리의 기본 구성요소
• 추론 기본 규칙 : 전건법(modus ponens), 전언법(modus tollens)
• 삼단 논법 : 두 전제와 결론으로 구성된 연역 논증. 삼단논법을 식별하는 방법, 타당성을 평가하는 방법
• 1차 논리 : 술어와 양화사를 다루는 논리유형
• 수학의 기초 : 집합론, 정수론, 증명의 기초

논리 서적

• David Hilbert와 Wilhelm Ackermann의 “Principles of Mathematical Logic” - 이 책은 수학 논리와 수학의 기초에 대한 포괄적인 소개를 제공합니다.
• Elliott Mendelson의 “Introduction to Mathematical Logic” - 이 책은 일차 논리, 집합 이론 및 수학의 기초에 대한 명확하고 간결한 소개를 제공합니다.
• Bertrand Russell의 “A Treatise on Logic and its Philosophy” - 이 책은 논리적 진리의 본질, 추론의 원리, 수학의 기초에 대한 논의를 포함하여 논리 철학의 개요를 제공합니다.
• George Boolos의 “Logic, Induction and Sets” - 이 책은 명제 및 1차 논리의 기초와 집합 이론 및 수학적 귀납의 기초를 다룹니다.
• A. J. Ayer의 “Language, Truth and Logic” - 이 책은 언어철학과 논리철학의 고전으로, 논리실증주의 운동과 그것이 언어철학에 미친 영향에 대한 개요를 제공합니다.
• George Boole의 “The Laws of Thought” - 이 책은 현대 디지털 회로 설계 및 컴퓨터 과학 발전의 기초가 되는 Boole의 수학적 논리 이론을 소개합니다.
• Alfred North Whitehead와 Bertrand Russell의 “The Formal System of Principia Mathematica” - 이 책은 1차 논리에 대한 공리와 추론 규칙을 포함하여 수학의 기초에 대한 포괄적인 프레젠테이션을 제공합니다.

논리 개념

• 연역법, 귀납법, 소거법, 귀류법
• 결혼 정리 : 여러 유한 집합들의 집합족으로부터 각 집합에서 서로다른 원소를 고를 수 있는 필요 충분조건에 대한 정리
• 순열조합 Permutation combination
• K 완전매칭
• 비둘기집의 원리 : 비둘기 집보다 비둘기가 많으면 최소 한곳 이상에는 두마리의 비둘기가 있다
• 이산수학 : https://namu.wiki/w/%EC%9D%B4%EC%82%B0%EC%88%98%ED%95%99