이 문제좀 풀어주실분 ㅠㅠ
논리학 v공식 질문
익명(14.54)
2019-06-11 22:01
추천 0
댓글 1
다른 게시글
-
도착함 ㅇㅅㅇ기괴공학도(mecheng98) | 19.06.11추천 0
-
결국 인터프리터를 2개 만들어야겠군요 [4]기괴공학도(mecheng98) | 19.06.10추천 0
-
논리형 언어랑 함수형 언어 못 섞겠다 [8]기괴공학도(mecheng98) | 19.06.09추천 0
-
람다-프롤로그를 맞이하기 위해 준비한 코드임 ㅇㅅㅇ [1]기괴공학도(mecheng98) | 19.06.09추천 0
-
논리형 언어로 쓰려면 뭘 더 추가해야 될까요? [1]기괴공학도(mecheng98) | 19.06.08추천 0
-
역겨운 한국인들로부터 벗어나 함께 이야기 할 사람 구한다.ㄹㅇ(175.212) | 19.06.07추천 0
-
모나드를 이용하여 논리형 언어를 함수형 언어로 바꾸기기괴공학도(mecheng98) | 19.06.06추천 0
-
빨리 책 왔으면 좋겠다 ㅇㅅㅇ기괴공학도(mecheng98) | 19.06.04추천 2
-
CFG의 모호성 질문 [3]기괴공학도(mecheng98) | 19.05.29추천 0
-
그냥 생각해본 언어 [7]기괴공학도(mecheng98) | 19.05.29추천 1
conditional proof 같은 거 써도 됨?