[일반] 형식 증명 ㅈ나게 어렵네요 ㅠㅠ

[기괴공학도(mecheng98)]

형식언어와 오토마타 이론을 공부하기 전에

엄밀히 하는 훈련을 하고 싶어서

형식 증명을 공부하는 중인데

너무 어렵습니다. ㅠㅠ

내년 2월까지 정주희 교수님의 수리논리와 집합론 입문 다 보는 게 목표인데

할 수 있을까요?

아무튼 힘내서 공부합시다.

[기괴공학도(mecheng98)]

나 자신의 한계를 느끼는 중입니다 ㅠㅠ

[익명(119.202)]

형식언어와 오토마타 이론, 형식 증명은 뭐로 공부하세요?

[기괴공학도(mecheng98)]

형식증명은 정주희 교수님의 수리논리와 집합론 입문으로 공부하고요, 형식언어와 오토마타 이론은 피터 린츠의 An Introduction to Formal Languages and Automata로 공부할 건데, 오세만 교수님의 컴파일러 입문과 Machines, languages, and computation도 볼 계획입니다.

[익명(119.202)]

근데 제 기억으로 둘 간의 큰 관계는 없었던걸로 기억하는데

[기괴공학도(mecheng98)]

네, 그냥 증명을 엄밀히 하는 방법을 배우려고요. 말로 된 증명을 기호로 나타내는 방법을 배우고 싶었어요.

[기괴공학도(mecheng98)]

그런데 7단원에서는 문자열도 다루고 약간 겹치는 부분이 있는 것 같더라고요.