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