요런 기사를 봤는데
'형식화 작업'이 뭔지 모르겠음
증명을 ZFC에서 확인가능하게 1차 술어논리로 변헝하는 작업인가??
각 채널에서 올라오는 모든 게시물의 모음입니다.
수학
질문
형식화 작업이 뭐임?
추천
1
비추천
1
댓글
8
조회수
252
작성일
⚠️ 이 게시물은 작성자가 삭제할 수 없도록 설정되어 있습니다.
댓글
[8]
글쓰기
하루히2016
이상하다
하루히2016
이상하다
병맥
이상하다
파워에이드
이상하다
최근
최근 방문 채널
최근 방문 채널
번호
제목
작성일
조회수
추천
명일방주
아 너무 습한데 찐덕찐덕해졌어
47
0
나무게임
ㅊㅊ
12
0
문방구
사무실 펜
[3]
62
1
에어소프트
🎓리뷰/정보
파킨스테이션 방문 후기
[11]
622
14
메이크 드라마
💬
겜 초창기라 그런지는 몰라도
[14]
238
0
명조
우우
[4]
36
0
던전앤파이터
야짤보는데 뒤에 경찰차잇음
[4]
178
0
트릭컬 RE:VIVE
니펠 실장 가능성 투표
[6]
128
0
메이플스토리
본캐 메메는 좀 팔까 메소 모자라네
21
0
명일방주 엔드필드
근데 협약 재미 절반은 브금이 캐리하는듯?
[14]
235
0
던전앤파이터
요즘 왜케 챈하는 것도 커찮지?
[8]
119
0
로보토미 코퍼레이션
코인수만이!!!! 모든 것을 능가한다!!!
[3]
247
0
명조
환상의 놀이공원이 짭즈메보다 훨씬빨리끝나??
[13]
317
0
종합축구
뭐야 씨발 왜 비옴
[2]
77
0
수학
질문
형식화 작업이 뭐임?
[8]
252
0
소울워커
일반
광물 파티 요약하면 이건가?
[6]
270
0
블루 아카이브
수나코 언제 나오노?
[3]
92
0
주류
바에서 와인 바틀 주문해서 사장님이랑 노나 먹으니 재밌네
[17]
1197
29
유즈소프트
아네모이) 틀딱애니 드립이 여기서
[22]
164
0
홀로라이브
SNS
리오나 : 오하리오나아아아
[3]
[3]
46
2
승리의 여신 니케
이번에 근데 나유타를 안쓰네
[3]
188
0
주식
💬
이건 그냥 순수한 궁금증인데
[8]
123
0
마비노기 블로니
AI) 판 타지 파티
[4]
143
0