프로그래밍 갤러님들 제가 수학을 잘 하지 못하는데 관심은 있거든요.
그래서 포트폴리오로 내세울 만한 것을 만드는 게 좋을 것이기는 한데,
간단하게 만들어보는 단계인 것같아요.
수식을 입력했을 때 항등식인 지 아닌 지를 판별하는 프로그램을 만들고 싶은데
전혀 어떻게 해야 될 지 가늠이 안 잡히네요. 간단한 팁이나 힌트 같은 거 없을까요?
프로그래밍 갤러님들 제가 수학을 잘 하지 못하는데 관심은 있거든요.
그래서 포트폴리오로 내세울 만한 것을 만드는 게 좋을 것이기는 한데,
간단하게 만들어보는 단계인 것같아요.
수식을 입력했을 때 항등식인 지 아닌 지를 판별하는 프로그램을 만들고 싶은데
전혀 어떻게 해야 될 지 가늠이 안 잡히네요. 간단한 팁이나 힌트 같은 거 없을까요?
만들 수 있을까요? - dc App
혹시 못 만드나요?
z3 검색해보세요 - dc App
z3 검색하니까 콘라트 추제라는 분이 만든 컴퓨터 나오는데요?;;
z3 theorem prover - dc App