논리학 강의

  1. Proofmood
    • 피치 명제논리 증명시스템
    • 명제논리와 1계논리의 의미론(준비중)
    • 피치 1계논리 증명시스템
    • Coq 명제논리 증명시스템과 apply 택틱
  2. 집합론 입문
    • 1장. 집합론, 수학의 언어
      • 1절. 집합을 나타내는 법
      • 2절. 집합의 연산과 그 기본성질
      • 3절. 함수
    • 2장. 함수
      • 역함수
      • 함수의 상과 역상
      • 문제 모음
    • 3장. 관계
      • 관계
      • 분할과 동등관계
      • 순서관계
    • 4장. 토픽 몇 가지
      • 준동형사상과 몫구조
      • 폐포연산
      • 수학적 귀납법
    • 5장. 기수와 서수 (준비중. 기수, 서수)
    • 6장. 증명을 쓰는 법 (준비중. 증명의 구조, 연습)
  3. 튜링머신
Copyright © 2018–2020, Joohee Jeong.
All rights reserved. (jjeong314 at 네이버)