Proofmood
A2
강의동영상
19-11-06
214
A1
사이트 개편
[1]
19-10-01
130
48
칸토르의 대각정리 (버전2)
정주희
12-05-16
262
47
Truth Table에 XOR, NAND, NOR
12-05-03
319
46
Fitch, 1st-order 기능 추가
12-05-01
127
45
교재 6장 보충
정주희
12-04-30
299
44
수업 진도 (교재를 사용한)
[3]
정주희
12-03-07
284
43
오타 목록(수리논리와 집합론 입문)
정주희
12-03-05
157
42
교재 1장 연습문제 추가
정주희
12-02-27
105
41
러셀의 역설
11-09-04
155
40
기능 추가
[2]
11-09-01
552
40.1
버그 수정
12-04-09
37
39
버그 수정
[1]
11-07-04
49
37
TeX 출력 기능
[4]
11-06-10
68
36
Fitch 기능 추가
[6]
11-05-27
85
35
Truth Table 기능 추가
[1]
11-05-24
66
34
집합론과 수학의 기반 강의노트
[1]
11-03-18
205
33
수리논리학 용어사전
11-01-04
101
32
1계논리 증명시스템 공개
[2]
10-12-04
4348
31
피치 인터페이스 개선
10-09-29
54
[1]
[2]
Copyright 2003-2021,
Gilboard