프로그래밍 하는데 논리학이 도움이 될까?

[익명(121.136)]

직관 원툴로 살아온 것 같아서, 논리학을 좀 배우고 싶은데 프로그래밍 할 때 논리학이 도움이 될까?

항상 뭔가 구현거나 배우면 그럴싸한 그림은 그려지는데 그 안을 메꾸기가 너무 힘들다.

혹시 관련된 사람중에 논리학이 도움이 된다고 생각하는 사람 있음?

[TIME(ghawmzldjs71)]

명제논리학 정도면 도움됨 - dc App

[TIME(ghawmzldjs71)]

아니면 논리형 프로그래밍이란것도 있다던데 찾아보셈 - dc App

[TIME(ghawmzldjs71)]

이쪽은 아예 코드가 논리식이라던데 해보진 않아서 자세힌 모름 - dc App

[김민성태팬클럽회장(thecoqproofassistant)]

ㄴ 아닌데요 ...

[TIME(ghawmzldjs71)]

논리형 프로그램이 논리식으로 되어있다는게요? - dc App

[김민성태팬클럽회장(thecoqproofassistant)]

그건 맞습니다. Horn fomula라고 하죠

[TIME(ghawmzldjs71)]

명제논리학이 비트연산 사용과 이해에 도움되는건 맞지않음? - dc App

[김민성태팬클럽회장(thecoqproofassistant)]

그거는 맞는데, 명제논리학만 도움이 되는 게 아니라서요.

[김민성태팬클럽회장(thecoqproofassistant)]

제가 오해하긴 했네요 ㅠ

[TIME(ghawmzldjs71)]

술어논리나 다른 논리체계가 함수형 프로그래밍에? 어떻게? - dc App

[김민성태팬클럽회장(thecoqproofassistant)]

lambda-calculus...

[TIME(ghawmzldjs71)]

흥미롭네 좋은정보 고마워 - dc App

[익명(39.7)]

프로그래밍을 잘하려고 논리학을 배운다는건 좀.. 프로그래밍 잘하려면 프로그래밍을 더 배우려고해야지

[익명(121.136)]

당연히 프로그래밍 자체는 계속 익히는데, 배우고 써먹으면서도 항상 뭔가 부족한 느낌이 들었음

[익명(118.221)]

프로그래밍을 병행하는데 그런거면 기호논리 같은 걸로 논리적 절차를 배우는게 나은데 수리논리 이런거는 OS 개발할때나 쓰이는거고....크게 알 필요는 없어

[김민성태팬클럽회장(thecoqproofassistant)]

ㄴ 아닙니다

[le merle(116.42)]

컴공 "프로그래밍 언어" 과목이 프로그래밍 관련된 논리학+형식언어학 과목임. 논리쪽 엄밀하게 공부하고 싶으면 Calculus of Computation 책 추천

[논갤러 1(122.46)]

dd