4시간에서 360시간의 유연한 작업량
귀하의 국가에서 유효한 증명서
무엇을 배울 수 있나요?
공리학 코스는 일계 언어와 증명 규칙부터 모델, 건전성과 완전성까지 형식 체계로의 간결하고 실습 중심 경로를 제공합니다. 집중된 대수 이론을 탐구하고, 우항단위원성과 역원 법칙을 테스트하며, 반모델 작동 방식을 확인합니다. 이러한 아이디어를 증명 보조 도구, 모델 탐색기, 검증 워크플로와 연결해 고급 연구에 즉시 적용할 수 있습니다.
Elevify의 장점
기술 개발
- 대수 모델 구축: 작은 군 유사 시스템을 빠르게 구성하고 테스트합니다.
- 공리 실전 검증: 결합법칙, 단위원, 역원을 신속히 확인합니다.
- 모델로 주장 반박: 반모델을 찾아 비증명성을 증명합니다.
- 공리를 증명으로 변환: 일계 유도 과정을 단계별로 작성합니다.
- 증명 보조 도구에 대수 이론 인코딩: Coq, Lean, Isabelle 기초.
제안된 요약
시작하기 전에 장과 작업량을 변경할 수 있습니다. 어떤 장부터 시작할지 선택하세요. 장을 추가하거나 제거하세요. 과정의 작업량을 늘리거나 줄이세요.학생들이 말하는 것
자주 묻는 질문
Elevify는 누구인가요? 어떻게 작동하나요?
과정에 인증서가 있나요?
과정이 무료인가요?
과정의 학습량은 어떻게 되나요?
과정은 어떤가요?
과정은 어떻게 작동하나요?
과정의 기간은 어떻게 되나요?
과정의 비용은 얼마인가요?
EAD 또는 온라인 과정이란 무엇이며 어떻게 작동하나요?
PDF 과정
