모델링 도구로서의 논리
Vrije University - Summer & Winter graduate programs
주요 정보
캠퍼스 위치
Amsterdam, 네덜란드
언어
영어
연구 형식
캠퍼스에서
지속
2 주
속도
풀 타임
수업료
EUR 735 *
신청 마감
정보 요청
가장 빠른 시작 날짜
21 Jul 2024
* VU 학생
소개
과정 전반에 걸쳐 우리는 참가자들이 자신의 관심 분야에 어떻게 논리를 적용할 수 있는지 생각하도록 권장할 것입니다.
논리학은 다양한 유형의 추론을 연구하는 학문입니다. 논리는 또한 다양한 현상을 우아하게 모델링하는 기술이자 도구입니다. 이 과정의 목표는 이 도구를 소개하고 사용 방법을 설명하는 것입니다. 과정은 3 부분으로 나뉩니다.
우리는 출발점으로 고전 논리학을 소개하고 얼마나 많은 다양한 추론 체계(논리학)가 변형으로 발생하는지 보여줄 것입니다. 시맨틱과 구문을 통해 논리를 연구하는 두 가지 기본 방법을 소개합니다. 후자는 당연히 모델링 및 자동화된 추론에 적합합니다. 또한 에이전시 및 정보 흐름에 초점을 맞춘 사회 과학의 응용에 대해서도 논의할 것입니다. 우리는 진리가 사회적으로 구성되는 상황을 모델링하고 지식, 그룹 및 일반 지식과 같은 개념을 개발할 수 있는 논리적 형식주의를 소개할 것입니다.
응용 프로그램 처리에서 가장 중요한 주제는 범주 및 범주화의 개념입니다. 분류는 사물이나 아이디어와 같은 것을 유사성 또는 공통 기준에 따라 범주로 분류하는 활동입니다. 아리스토텔레스의 고전 이론에서 시작하여 원형 및 모범 이론에 이르기까지 범주화 이론을 정식으로 소개합니다. 우리는 이러한 개념을 공식화하고 논리 도구가 이 이론에 모호함을 통합하는 데 어떻게 사용될 수 있는지 설명할 것입니다.
과정의 세 번째 부분에서는 1부의 기본 개발과 2부의 모델링 직관을 사용합니다. 문장 형성에서 수행하는 역할에 따라 단어를 분류하는 형식 언어학 연구를 소개합니다. 단어는 명사구, 타동사 등으로 분류될 수 있습니다. 그런 다음 형성 규칙에 따라 구문 범주가 결합되어 복잡한 표현을 구성합니다. 우리는 문법적으로 올바른 문장이 공식적인 증명이나 계산 과정에 의해 어떻게 포착될 수 있는지, 그리고 어떻게 다른 읽기가 다른 증명에 대응하는지 볼 것입니다.
갤러리
이상적인 학생
우리의 대상 청중은 수학적 추론, 학문적 성숙도 및 학제 간 관심에 어느 정도 노출된 배경을 가진 학생들입니다. 우리는 어떤 주제 지식도 전제하지 않습니다. 구체적으로 우리는 수학, 컴퓨터 과학, 경제, 철학, 금융, 회계, 언어학 등의 분야의 고급 학사 학생과 석사 학생을 목표로 합니다.
학사 및 석사 학생 외에도 박사 과정 지원자 및 전문가도 이 과정에 지원할 수 있습니다.
입학
장학금 및 기금
평등한 장학금
신청절차
신청 마감일이 만료되었습니다. 더 이상 Equal Access 장학금을 신청할 수 없습니다.
Equal Access 장학금 신청에 관심을 가져 주셔서 감사합니다. 2월 1일과 4월 1일 에 이 링크 (만료됨) 를 통해 장학금을 신청할 수 있습니다. 한 과목만 선택할 수 있으니 주의하시기 바랍니다.
장학금 선정 결과는 5월 중순에 발표될 예정이다. 많은 수의 지원자에게 제공되는 장학금 수가 제한되어 있으므로 가능하다면 제안합니다! - 강좌 수강을 보장하기 위해 강좌 신청 시 결제를 완료해야 합니다. 단, 장학금 없이 오실 수 없는 경우에는 발표 전까지 기다리시면 됩니다. 장학금 수혜 여부에 관계없이 오시고 싶으시면 정규 지원 양식을 통해 결제를 완료하여 과정에서 자리를 확보하는 것이 가장 좋습니다. 장학금을 받게 되면 수업료와 기숙사비를 환불해 드립니다.
Equal Access 장학금 신청서 제출 마감일: 3월 31일(23:59 CET).
사진작가 장학금
스마트폰/카메라로 순간, 사람, 주변 환경을 포착하는 것을 좋아하시나요? 편집 능력이 뛰어나고 소셜 미디어에 대한 열정이 있나요? 여름학교 사진작가가 되어 보세요! 이 사진작가 장학금은 2주 코스에 참여하거나 두 세션 모두에 참여하는 경우에만 제공됩니다.
우리가 제공하는 것:
- 수업료 €500 할인
- 다양한 사교 활동 무료(여름 팀에서 할당, 요구 사항: 사진 촬영 필수)
우리는 귀하에게 무엇을 기대합니까?
- VU 암스테르담 여름 학교에서의 시간 사진(동료 학생, 암스테르담, 소풍 및 친목 프로그램 사진)
- VU Amsterdam Instagram 계정에서 콘텐츠/스토리 테이크오버 만들기
- 소셜 프로그램 참여(무료, 이용 가능 여부에 따라 다름)
- 사진작가 킥오프 미팅 참석
신청 절차*
자신을 소개하는 짧은 동영상(약 30초~1분)과 사진 작품 예시를 [email protected]로 보내주세요. 제목은 'Photographer Scholarship'으로 사용하세요. 자신의 스마트폰이나 카메라를 사용하는 것이 중요합니다. 신청 마감일: 5월 14일 23:59(CET).
사진사 지원 마감일은 강좌 등록 마감일 이후이므로, 신청 마감일인 5월 1일 이전에 관심 있는 강좌를 신청하고 비용을 지불하는 것이 중요합니다. 장학금을 받게 되면 장학금이 지급하는 €500를 상환받게 됩니다. 장학금을 받지 못하고 부분 장학금 없이 강좌에 참여할 수 없는 경우에도 5월 16일까지 전액 환불을 받을 수 있습니다. 보조금 없이 참가할 수 없는 경우 우승자가 발표될 때까지 기다려 강좌를 미리 신청하지 않을 수도 있습니다. 그러나 이는 귀하가 관심 있는 강좌를 더 이상 이용할 수 없음을 의미할 수 있습니다. 그러므로 우리는. 가능하다면 공식 강좌 등록 마감일 전에 지원 페이지를 통해 지원하는 것이 좋습니다.
*귀하가 여름 교환 학생이거나 대학 파트너 후보인 경우(강좌 비용 및/또는 숙소는 대학에서 지원함) 안타깝게도 이 장학금을 받을 수 없습니다.
과정
수업은 7월 4일 월요일부터 7월 15일 금요일까지 진행됩니다. 일반적으로 수업은 주중에 오전 9시부터 오후 17시까지 진행됩니다(예외 시간을 고려하시기 바랍니다). 수요일 오후와 주말에는 선택적 사교 활동이나 개인 시간을 위해 휴무합니다. 개인 시간(야간 및 주말)에는 자율 학습이 필요하다는 점을 알아두면 좋습니다. 7월 2일 토요일과 7월 16일 토요일은 도착 및 출발일입니다(저희 숙소 서비스를 통해 숙소를 예약하는 경우). 자세한 내용은 6월 참가자들과 공유될 강좌 계획서에서 공유될 예정입니다.
프로그램 결과
이 과정이 끝나면 학생들은 다음을 수행할 수 있습니다.
- 논리학 연구의 의미를 이해하고 다양한 추론 시스템(논리)이 어떻게 나타나는지 요약하고 이를 연구할 수 있는 방법을 간략하게 설명합니다.
- 증명이론과 논리의 관계를 설명하라.
- 다양한 논리를 나열 및 비교하고 기존 논리와 어떻게 다른지 설명합니다.
- 다양한 현상을 모델링하기 위해 논리를 어떻게 사용할 수 있는지 보여줍니다.
- 이상적인 추론 형태이자 모델링 도구로서 논리의 이중 역할을 구별합니다.
- 추상적 모델링 및 논증에 관한 성숙도를 개발합니다.