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 |
Tags
- 프로젝트 여러개
- VAO
- 자동판결
- vertex
- vertex sahder
- Tutorial
- multi process
- fetching
- 파일생성 명령어
- 튜링기계
- 솔루션에프로젝트추가
- shader
- git
- Qtspim
- 정의
- .sln
- turingmachine
- interface block
- qtspim stack
- glfw
- glDrawArrays
- visualstudip
- OpenGL
- superbible
- 멀티프로세스
- vertexarrayobject
- 수리명제
- fragment
- 시작
- 하나의 솔루션
Archives
- Today
- Total
목록자동판결 (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