스위칭 및 오토마타이론

본 과목은 이산수학에 기반 하여 조합논리 회로 및 순서논리 회로를 해석하고 설계하는 기법을 다룬다. 다룰 내용은 집합의 기초, 관계, Lattice, 스윗칭 Algebra, 스윗칭 함수 합성, Fault 검출, 오토마타로부터 회로 변환기법. 상태 및 시스템 Identification, 유한상태 기계의 특성, 역 유한기계, 이산 시스템 검증법 등 이다.