예방수의학
병의 원리를 밝히기 위하여 병의 상태나 병체의 조직 구조, 기관의 형태 및 기능의 변화 등을 연구하는 기초 의학을 뜻하는 병리학이라는 말에서 알 수 있듯이 수의병리학(Veterinary Pathology)은 동물을 대상으로 한 병리학, 즉 동물에게 발생하는 병에 대한 연구를 진행하는 학문이라고 할 수 있다. 이는 크게 진단병리학(Diagnostic Pathology)과 실험병리학(Experimental Pathology)으로 나눌 수 있다.
수리 논리학
수리논리학(數理論理學, )은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이다. 폴 조지프 코언이 개척한 분야로서 일상 언어의 사용에서 오는 혼잡과 오류를 탈피하여 명제를 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 기호 논리학(symbolic logic)이라고도 한다. 컴퓨터 과학 및 철학논리와 밀접하게 연관되어 있다.