프로그래머를 위한 논리학 - 1
4 years ago두번째 글을 열면서
이전 글에서 명제 논리를 위해 필요한 기본적인 정의들과 진리표를 이용한 논증의 건전함 증명에 대해서 알아보았다. 이 글에서는 진리표를 이용한 증명이 언제 어려워지는지(혹은 불가능…
프로그래머를 위한 논리학 - 0
5 years ago들어가며
개발자 생활을 하다보면 한 번쯤 듣게 되는 (혹은 보게 되는) 말이 있다. 바로
좋은 개발자가 되려면 수학(혹은 논리학)을 배워야지!
이다. 물론 필자가 이런 주장에 완전히 동의한다는 말은 아니다. 그러나 누군가 위 주장을 아래와 같이 조금 수정한다면, 필자는 언제 어디서든지 옹호할 생각이 있다.
블로그 제작기
5 years ago이 블로그를 React, TypeScript와 Gatsby, 그리고 GitHub Pages 로 제작하기까지의 여정을 이야기해보려고 한다. 어떤 프로그래밍 언어들과 어떤 서비스들을 거쳐왔는지, 각각을 어떤 장점이 있어서 선택했고, 어떤 단점으로 인해 포기하게 되었는지에…