연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
예룬 흐룬데이크의 「The Logic of Interrogation: Classical Version」(1999)을 따라, 질문이 가능세계들을 답의 대안으로 나누고 관련 있는 답이 쟁점을 줄이는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Jeroen Groenendijk, The Logic of Interrogation: Classical Version (1999)
얀 우카시에비치의 「O logice trójwartościowej」(1920)를 따라, 두 값만으로 가능성을 다룰 때 생기는 문제에서 세 값 0·2·1의 동일성·함의 규칙과 고전 법칙의 변화를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Jan Łukasiewicz, O logice trójwartościowej (1920)
알프레트 타르스키의 《Pojęcie prawdy w językach nauk dedukcyjnych》(1933)를 따라, 대상언어와 메타언어를 나누고 만족 관계에서 진리 정의와 자기진리의 한계를 세우는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Alfred Tarski, Pojęcie prawdy w językach nauk dedukcyjnych (1933)
다케우치 가이시의 《On a Generalized Logic Calculus》(1953)를 따라, 시퀀트와 컷에서 근본 추측, 증명된 보존 정리와 후속 쟁점까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gaisi Takeuti, On a Generalized Logic Calculus (1953)
다카하시 모토오의 《A proof of cut-elimination theorem in simple type-theory》(1967)를 따라, V-complex와 V-correspondence에서 람다 추상, 건전성과 반모형을 통한 비구성적 컷 제거 증명까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Moto-o Takahashi, A proof of cut-elimination theorem in simple type-theory (1967)
66–70 / 521편
