형식언어-입문-1강 :: 2010/01/20 21:08

/2학기 강좌/형식언어&오토마타

 형식언어와 오토마타 -입문-1강:  

 형식언어-입문-1강:

1st.hwp


강 의 내 용
  머리말
  1. 입문  
      1.1 학습 목적
      1.2 Automata
      1.3 Formal language
      1.4 수학적 배경
           1) 대수학(Agebra)
           2) 문자열과 언어
           3) 함수와 관계(function/relation)
           4) 증명기법
               귀납법/모순 증명법
           5) 형식언어/형식문법/오토마타

2010/01/20 21:08 2010/01/20 21:08
Trackback(0) : Comment(0)
Trackback Address :: 이 글에는 트랙백을 보낼 수 없습니다
[로그인][오픈아이디란?]
Name
Password
Homepage

Secret
< PREV | 1| ... 25|26|27|28|29|30|31|32|33| ... 476| NEXT >