Notice
Recent Posts
Recent Comments
Link
| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 1 | 2 | |||||
| 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| 10 | 11 | 12 | 13 | 14 | 15 | 16 |
| 17 | 18 | 19 | 20 | 21 | 22 | 23 |
| 24 | 25 | 26 | 27 | 28 | 29 | 30 |
Tags
- glDrawArrays
- git
- .sln
- fragment
- vertexarrayobject
- OpenGL
- Qtspim
- qtspim stack
- 솔루션에프로젝트추가
- superbible
- turingmachine
- fetching
- 시작
- 하나의 솔루션
- 파일생성 명령어
- Tutorial
- interface block
- 멀티프로세스
- shader
- glfw
- 튜링기계
- 프로젝트 여러개
- vertex sahder
- vertex
- 자동판결
- visualstudip
- 수리명제
- multi process
- VAO
- 정의
Archives
- Today
- Total
목록turingmachine (1)
공사중
튜링 머신 Turing machine
정의 튜링기계 : 튜링이 자신의 논문에서 수리명제 자동판결 문제가 풀릴 수 없음을 증명하기 위해 구상한 기계 서울대 교수님 설명 영상 제가 공부했던 영상입니다. 워낙 설명을 잘하셔서 재가공없이 url을 남기는 방향으로 알려드립니다. https://www.youtube.com/watch?v=ozz5dzFFkIE https://www.youtube.com/watch?v=L-2i7iafR04 https://www.youtube.com/watch?v=3XiiN7HfN9M 개인 공부 자료(위 영상을 보시면 다 알 수 있는 내용입니다.)1. 0101010101 ...을 무한히 만드는 기계2. 0110을 복사하는 기계3. 00101101110111 ....을 만드는 기계4. $11$111$으로부터 $11$111$11..
개발 | 기초
2019. 3. 5. 13:28