|
'논리학' 카테고리의 설명
|
|
0
|
749
|
5월 4, 2020
|
|
자연 연역 기반 자동 증명기를 만들어봤습니다
|
|
7
|
717
|
5월 4, 2026
|
|
논리학의 여러 주제를 가르치는 순서를 바꿀 수 있을까요
|
|
0
|
224
|
4월 5, 2026
|
|
피치식 증명과 비슷한 양식으로 형식 증명을 보여 주기
|
|
12
|
751
|
4월 4, 2026
|
|
온라인 논리학 교재
|
|
0
|
290
|
3월 16, 2026
|
|
Second-order arithmetic에 대한 간략한 소개
|
|
0
|
270
|
2월 25, 2026
|
|
일차술어논리의 메타 정리를 다루는 국내교재가 있나요..?
|
|
12
|
1000
|
12월 12, 2025
|
|
논리 퀴즈: 좋아하는 책
|
|
12
|
781
|
12월 8, 2025
|
|
유형 표시자(type indicator)로서 조사
|
|
2
|
277
|
11월 27, 2025
|
|
자연 연역의 소증명(subproof) 표기법에 관한 생각
|
|
10
|
608
|
11월 26, 2025
|
|
조건문에 있어 도입 규칙이란 무엇인가?
|
|
13
|
498
|
11월 19, 2025
|
|
논리학과 철학이 아청법 개정에 도움을 주는가
|
|
5
|
379
|
11월 13, 2025
|
|
양상 논리 입문자를 위한 표준적인 교과서 추천 부탁드립니다
|
|
5
|
781
|
8월 1, 2025
|
|
관계적 유형 이론과 함수적 유형 이론 간의 번역?
|
|
7
|
384
|
7월 10, 2025
|
|
헤겔 Work in Progress Conference
|
|
0
|
322
|
6월 16, 2025
|
|
여러분들은 존재함축의 오류가 이해가 되시나요
|
|
3
|
464
|
5월 5, 2025
|
|
논리학으로 아청법 조항 분석하기
|
|
2
|
371
|
5월 2, 2025
|
|
논리와 실존: 비트겐슈타인 전통에서 논리
|
|
13
|
1327
|
4월 28, 2025
|
|
정의역이 곱집합인 함수를 정의하는 방법에 관한 질문
|
|
8
|
707
|
3월 26, 2025
|
|
[알림] 짓;다 연례 강좌: 논리학 공구 상자 열어보기 3기
|
|
0
|
255
|
2월 28, 2025
|
|
Philosophy of mathematics_Blackwell(2009)
|
|
11
|
602
|
2월 10, 2025
|
|
속성이 될 수 있는 것들에 대한 제약
|
|
1
|
355
|
12월 25, 2024
|
|
이중 부정 제거 규칙에서 배중률 도출하기
|
|
1
|
374
|
12월 10, 2024
|
|
음주자 역설
|
|
2
|
501
|
11월 18, 2024
|
|
린 4와 커리-하워드 동형
|
|
0
|
186
|
11월 17, 2024
|
|
한국 고교 수학 교과서는 '명제' 용어를 어떻게 쓰는가
|
|
15
|
1703
|
11월 11, 2024
|
|
이차원 의미론에 대한 노트
|
|
3
|
612
|
11월 9, 2024
|
|
논리학의 성부와 성자는 누구인가?
|
|
5
|
629
|
11월 7, 2024
|
|
어떤 만화는 논리학 만화이다 - 1. 들어가며
|
|
7
|
901
|
11월 7, 2024
|
|
「후설 현상학의 일반적 입문 - 『이념들 i』을 중심으로 1: 본질의 유형학」
|
|
0
|
350
|
10월 21, 2024
|