수리논리학에는 크게 4가지 분야가 있습니다: 계산가능성이론computability theory, 모델론model theory, 증명론proof t...
Search Results for
논리식
Horizon에서 발행한 최근 뉴스레터를 제공합니다.
- 2024년 04월 30일 - '편미분 방정식을 이용한 양자장 이론의 건설 [2]: 재규격화와 파인만 다이어그램' 기사가 발행되었습니다.
- 2024년 04월 23일 - '정보전달의 총아(2): 음극선관 디스플레이의 탄생과 진화' 기사가 발행되었습니다.
- 2024년 04월 16일 - '2024 아벨상 수상자 미셸 탈라그랑' 기사가 발행되었습니다.
- 2024년 04월 11일 - '[질량 측정(1)]: 질량 표준' 기사가 발행되었습니다.
- 2024년 04월 04일 - '[현미경 소개 (1)] 인간이 본다는 것에 대한 의미' 기사가 발행되었습니다.
- 2024년 04월 01일 - '[4월의 퍼즐] 고장난 전구' 기사가 발행되었습니다.
- 2024년 03월 28일 - '데이터의 모양을 담는 바코드' 기사가 발행되었습니다.
- 2024년 03월 21일 - '양자 홀 상태의 재발견' 기사가 발행되었습니다.
- 2024년 03월 14일 - '이공계열 젠더 불균형 문제에 대응하여' 기사가 발행되었습니다.
- 2024년 03월 07일 - '편미분 방정식을 이용한 양자장 이론의 건설 [1]: 무한 차원 깁스 측도와 확률 편미분방정식' 기사가 발행되었습니다.
- 2024년 03월 01일 - '[3월의 퍼즐] 안티슬라이드(anti-slide) 퍼즐' 기사가 발행되었습니다.
발송된 뉴스레터가 없습니다.
