https://softwarefoundations.cis.upenn.edu/
software correctness proof에 쓰이는듯??!?!?!?!?
programming이랑 관련있는 듯?!??!?!?!?!??!?!?!
그런듯..
커리 하워드 대응은 또 뭐냐..
System F는 또 뭐냐..
와 그냥 ZFC 배우고 싶어서 온건데 뭐 이런 재밌는 떡밥이 많냐..
coq 연습문제(?)가 많은 사이트인 것 같은데???
1+1=2(lsc4719)
2020-11-08 20:32
추천 0
댓글 3
다른 게시글
-
아까 논리학갤에 대해서 질문했던 사람인데 이거 실용성 있어? [5]123(121.179) | 20.11.08추천 0
-
우연히 여기 들어오게됐는데 논리학갤러리 원래 이래? [4]123(121.179) | 20.11.08추천 3
-
질문좀받아주세요형님들 [1]ㅂ(58.232) | 20.11.08추천 0
-
논리학 도와주세요 ㅠㅠ [4]익명(211.215) | 20.11.07추천 0
-
P→Q=~PVQ [10]익명(210.100) | 20.11.06추천 0
-
답지입니다(이해하고바로지울게요) [29]익명(210.100) | 20.11.06추천 2
-
목표가 생겼다 [2]1+1=2(lsc4719) | 20.11.06추천 0
-
연언기호 기초적인 질문좀요2 [14]익명(210.100) | 20.11.06추천 0
-
진짜이것좀알려쥐 [5]익명(124.50) | 20.11.05추천 0
-
first order logic에서 first order theory를 [10]1+1=2(lsc4719) | 20.11.02추천 2
점점 성장하시네요 - PushItToTheLimit!
논리학 구조 다루는 부분 보면 기겁하실듯ㅋㅋㅋ 진짜 밑바닥 가게되면 결국 철학들어가고 형이상학 나옴 내가 그랬거든..
논리학 구조가 뭔가요? - dc App