"C++"
수학이론과목 중에서
없어요
객체지향, 함수지향의 motivation이 대수와 범주론에 있습니다. 실제로 대수 잘하시는 분들이 대체로 아키텍처 설계도 잘하시더라고요. DB에서 관계대수는 말할 것도 없고..
안그래도 DB전문가를 위한 응용수학이란 책의 단원구성을 보니 1차논리, 집합론이 거의 전부긴 한데 그 사이에 algebraic properties, normal form 내용이 (매우 짧게) 들어가있고... 그렇더군요...
@ㅇㅇ(211.108)이런 책도 있으니 참고해보세요. 예전에 프로그래밍 언어론 전공하신 교수님 뵈었을 때, 유학가서 추상대수 공부를 처음하는 것도 죽을 맛인데 또 어려운 내용이 많아서 고생했다는 얘기도 들었어요.https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
"C++"
수학이론과목 중에서
없어요
객체지향, 함수지향의 motivation이 대수와 범주론에 있습니다. 실제로 대수 잘하시는 분들이 대체로 아키텍처 설계도 잘하시더라고요. DB에서 관계대수는 말할 것도 없고..
안그래도 DB전문가를 위한 응용수학이란 책의 단원구성을 보니 1차논리, 집합론이 거의 전부긴 한데 그 사이에 algebraic properties, normal form 내용이 (매우 짧게) 들어가있고... 그렇더군요...
@ㅇㅇ(211.108)
이런 책도 있으니 참고해보세요. 예전에 프로그래밍 언어론 전공하신 교수님 뵈었을 때, 유학가서 추상대수 공부를 처음하는 것도 죽을 맛인데 또 어려운 내용이 많아서 고생했다는 얘기도 들었어요.
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/