Definition of Seon

2023년 하반기 공부 계획을 정리해보려고 한다. 비전공자에게 부족한 IT 지식(이론)과 프로그래밍 능력을 동시에 학습할 수 있도록 투트랙으로 계획을 세워보았다. 이산수학 - 파이썬 기초 - 데이터 구조&알고리즘 - 구글 IT 서포트 - 인프런 강의 1. 이산수학 (수강중) 컴퓨터 공학과 1학년 때 수강하는 과목인 이산수학. 컴퓨터는 수학을 기반으로 이루어진 학문이라 1학년 때 배우는가보다. 코딩테스트를 잘 보려면 알고리즘을 이해해야 한다고 하는데 아마 그러한 기초 지식을 얻을 수 있는 수학 과목이 아닐까 싶다. 이산수학은 영어로 공부하기에는 다소 진입장벽이 높아서 KOCW에서 강의를 골랐다. 가천대학교 김철연 교수님께서 2014년도에 수업하신 강의를 보고 있다. 거의 10년 전 강의이지만 KOCW에 올..

Terminology Theorem (정리) : 참이라는 것을 보일 수 있는 진술, 증명의 대상 Axiom (공리) : 우리가 진실이라고 가정하는 진술, 증명의 대상이 아님 Lemma (보조정리) : 참이라는 것을 보일 수 있는 진술 중 중요도가 낮은 것, theorem 증명 간소화하기 위해 중간에 미리 정리 Corollary : 참이라는 것을 보일 수 있는 진술 중 증명이 필요 없는 것, theroem을 보면 자동적으로 알 수 있는 것 Conjecture : 아직 증명되지 않은 것 중 참이라고 가정하는 진술 → Axiom - Theorem(중요), Lemma, Corollary - Conjecture Methods of Proving Theorems Direct Proof (직접 증명법) : 조건 명제..

Quantifiers Predicates에 대한 T/F를 알 수 있음 All → A 거꾸로 / E 뒤집어서 Universal quantification: VxP(x) → 모든 x에 대해서 참인가? Existential quantification : ExP(x) → 어떤 x에 대해서 참인가? quantifier가 다른 모든 논리연산자보다 우선순위가 높다 Valid Arguments 주어진 사실로 새로운 사실을 깨닫는 것 Premises (p1, p2, …, pn-1) 전제 Conclusion (pn) 결론 모든 전제가 사실일 때 결론도 사실이다 Rules of Inference Inference : 이미 알고 있는 것으로 새로운 사실을 찾는 것 p + p→q = q ㄱq + p→q = ㄱp p→q + →r..

강좌 소개 kocw 가천대학교 김철연 교수님 2014-1 이산수학 이산 : 떨어져 있는, discrete(↔continuous) 0과 1 사이의 실수는 무한개, 정수는 없음 → 이산수학은 마치 정수(0,1) 같이 서로 끊어지는 개념 소프트웨어는 수학에 근간을 두고 있음 discrete math는 출발점이자 도착점임. (c언어, 컴퓨터구조) 고등학생 때 배운 집합과 명제가 기초지식(50% 이상은 고등학생 때 배운 내용을 영어로 다시 배우는 것 뿐) 가장 중요한 것은 로직 ch.1 Foundation part 1 Proposition(명제) proposition = declarative sentence (선언적 문장) True or false, but not both (참 또는 거짓) natural lang..

개발자로 이직을 결심했다. 비록 나는 비전공자이지만 주변에서 숱한 개발자 전직 사례를 보았다. 나보다 빨리 공부를 시작해 이미 일을 하게 된 사람들과 같은 길을 걸을 수야 없겠지만 어떻게 하면 효율적으로 공부하고 직업을 바꿀 수 있을지 고민해보았다. 독학? 학원? 국비지원? 부트캠프? MBTI J인 나는 모든 일을 시작할 때 계획을 가장 중요하게 생각한다. 우선 개발자가 되기 위한 방법을 정하는 데서 시작했다. 이 방법을 정리하기 위해 책을 두 권 읽었다. '오늘부터 개발자' - 김병욱 '개발자가 되고 싶습니다' - 앨런 각각의 방법에는 장단점이 있었다. 자세한 내용은 이후에 올릴 도서 리뷰를 통해 정리해보겠다. 책을 읽고 내가 정한 방법은 어느 하나를 선택하는 것이 아니라 주도적으로 내가 2년의 커리큘..

이직을 결심하고 한참을 고민했다. 지금의 직업이 내 길이 아니라면, 그럼 내 길은 무엇일까? 아무리 고민해도 답이 나오지 않았다. 개발자라는 목표를 정하기까지 고민했던 내용을 정리해보겠다. 1. 로스쿨 진학 가장 먼저 고려했던 일이다. 처음에는 이직에 있어 부모님의 반대를 고려했다. 무턱대고 직장을 그만둔다고 하면 크게 반대하실 것이 눈에 보였기에 그럴듯한 직업으로 이직해야겠다는 생각을 했다. 꼼꼼하고 계획적인 성격에 말을 잘하는 편이라 변호사가 잘 맞을 것 같기도 했다. 본격적으로 준비를 하기 전에 집리트를 쳐보았다. 작년도 시험지로 집리트를 쳤을 때 결과는 110점 남짓. A4 용지에 인쇄해 깨알 같은 글씨에 오랜만에 시험이라는 상황에 놓였음에도 생각보다 집리트 결과가 나쁘지 않았다. 학점은 4점 초..

현재의 나 2019년 2월, 올해로 5년차 직장인. 현 근무지에서 4년째 일하고 있다. 한 분야의 전문가가 되는데 10년이라는 세월이 걸린다는 말이 있다. 벌써 내가 이 직업에 투자한 시간만 해도 대학생 4년과 직장인으로서 5년이다. 꽤 많은 시간을 투자해 이쯤되면 전문가라 칭할 수 있을지 모르겠다. 이미 한 분야의 전문가에 가까워진 나는 올해 이직을 결정했다. 이직을 결심한 이유 작년까지만 해도 힘들지만 이 일이 잘 맞는다고 생각했는데 올해 들어 그게 아니라는 걸 알게 되었다. 내가 좋아하고 잘하는 일은 분명히 맞지만 나의 성향에 잘 맞는 일은 아니었다. 나의 MBTI는 INFJ이다. 벌써 거의 10년 이상 같은 MBTI를 유지하고 있다. (MBTI에 대한 글은 아니니 인프제에 대한 자세한 설명은 나중..