728x90 speculative decoding1 [2024.5.16]SNU x Upstage LLM 세션① : 컴공과 교수님들의 강의!! https://kiise.or.kr/conference/conf/147/ 한국정보과학회 - 학술대회 홈페이지 kiise.or.kr 첫수업!! 서울대 컴퓨터공학부 이광근 교수님. 기계계산의 정의와 탄생!!쿠르트 괴델 (Kurt Gödel)괴델의 불완전성 정리:제1 정리: 모든 일관된 형식적 시스템(수학의 공리체계)에는 그 시스템 내에서 참이지만 증명할 수 없는 명제가 존재한다.제2 정리: 어떤 형식적 시스템이 일관되다는 것을 그 시스템 내에서는 증명할 수 없다.이 정리들은 수학적 시스템의 한계를 명확히 했으며, 알고리즘과 계산 가능성에 대한 이해를 깊게 하였습니다. 5살 어린 동생, 앨런 튜링 (Alan Turing)튜링 기계튜링은 알고리즘 개념을 형식화하는 튜링 기계 고안, 추상적인 계산 모델로서, 현대.. 2024. 5. 16. 이전 1 다음 728x90
