컴퓨터과학, computer science, CS
Sub:
자료구조,data_structure
알고리듬,algorithm
복잡도,complexity
재귀,recursion
열거,enumeration
반복,iteration
귀납,induction - CS에선 넓은 의미의 철학,philosophy의 일반적 귀납 말고 수리논리,mathematical_logic에서의 수학적귀납법,mathematical_induction만을 뜻함?
람다대수,lambda_calculus
부동소수점,floating_point
고정소수점,fixed_point - p FixedPoint
memory_management 기억장치관리 메모리관리 메모리,memory MM
{
비유.
}
클래스,class
{
비슷한 객체,object들의 특성을....
A class is the specification of a set of similar objects. (from)
자료구조,data_structure
알고리듬,algorithm
복잡도,complexity
재귀,recursion
열거,enumeration
반복,iteration
귀납,induction - CS에선 넓은 의미의 철학,philosophy의 일반적 귀납 말고 수리논리,mathematical_logic에서의 수학적귀납법,mathematical_induction만을 뜻함?
람다대수,lambda_calculus
부동소수점,floating_point
고정소수점,fixed_point - p FixedPoint
memory_management 기억장치관리 메모리관리 메모리,memory MM
garbage_collection 쓰레기수집 가비지컬렉션 GC
클래스와 객체{
비유.
클래스 | blueprint: 청사진, 도면 |
객체 | structure: 건물, 실제 물건 |
클래스,class
{
비슷한 객체,object들의 특성을....
A class is the specification of a set of similar objects. (from)
같은 영단어: 통계에서 class는 계급,class.
QQQ category와 차이?
}
객체,object
{
An object is a set of functions that operate upon encapsulated data elements. (from)
의미는 매우 다양하다. PL에선 보통 data type의 instance?
QQQ category와 차이?
}
객체,object
{
An object is a set of functions that operate upon encapsulated data elements. (from)
의미는 매우 다양하다. PL에선 보통 data type의 instance?
Life and Scope of an Object
객체가 visible이지만 not live인 경우는 없음. (스코프 내에 있으나 메모리에 없다? - 불가능)
(최린)
(MKLINK ,scope)
- life of an object : 객체가 (프로세스,process의) 메모리,memory에 있는지 여부를 결정. (determines whether the object is in memory (of the process))
- scope of an object : 객체에 접근할 수 있는 코드의 범위(section)를 결정. (determines the section of code where the object can be accessed)
객체가 visible이지만 not live인 경우는 없음. (스코프 내에 있으나 메모리에 없다? - 불가능)
(최린)
(MKLINK ,scope)
PL API에선 가장 근본이 되는(abstract) 클래스 계층의 root에 위치하는 클래스의 이름으로 쓰이기도 함. ex. java.lang.Object
QQQ 인스턴스,instance와 비슷한데 뉘앙스 차이같은게? 정확히.
MKLINK
변수,variable
}
변수,variable - local에서도 writing
{
일단
변수,variable#s-5에 CS/CE/PL의 변수
변수,variable#s-6에 이론적 CS/logic의 변수
변수,variable
}
변수,variable - local에서도 writing
{
일단
변수,variable#s-5에 CS/CE/PL의 변수
변수,variable#s-6에 이론적 CS/logic의 변수
그리고 writing:
global_variable
local_variable
static_variable
static_local_variable
}
명세,specification - 사양,
global_variable
local_variable
static_variable
static_local_variable
}
명세,specification - 사양,
Introduction to Computer Graphics
온라인 교과서 (Version 1.2, 2018)
http://math.hws.edu/graphicsbook/index.html
https://news.ycombinator.com/item?id=24526845
온라인 교과서 (Version 1.2, 2018)
http://math.hws.edu/graphicsbook/index.html
https://news.ycombinator.com/item?id=24526845
A trip through the Graphics Pipeline (2011)
https://fgiesen.wordpress.com/2011/07/09/a-trip-through-the-graphics-pipeline-2011-index/
https://news.ycombinator.com/item?id=24649402
Part 1-13
https://fgiesen.wordpress.com/2011/07/09/a-trip-through-the-graphics-pipeline-2011-index/
https://news.ycombinator.com/item?id=24649402
Part 1-13
Learn Computer Graphics From Scratch!
32 lessons, 166 chapters, 450,000 words, C++ source code
https://www.scratchapixel.com/
32 lessons, 166 chapters, 450,000 words, C++ source code
https://www.scratchapixel.com/
}
2. 컴퓨터 computer ¶
컴퓨터,computer
{
NandGame – Build a Computer from Scratch
http://nandgame.com/
https://news.ycombinator.com/item?id=25282507
컴퓨터를 만드는 게임. 불_대수,Boolean_algebra 논리회로,logic_circuit 논리게이트,logic_gate
{
NandGame – Build a Computer from Scratch
http://nandgame.com/
https://news.ycombinator.com/item?id=25282507
컴퓨터를 만드는 게임. 불_대수,Boolean_algebra 논리회로,logic_circuit 논리게이트,logic_gate
tmp
What if you knew how computers work?
https://www.xorpd.net/
https://news.ycombinator.com/item?id=24736099
xchg rax, rax 책 저자?
https://www.xorpd.net/
https://news.ycombinator.com/item?id=24736099
xchg rax, rax 책 저자?
기계식 컴퓨터 mechanical computers
A Do-It-Yourself Paper Digital Computer, 1959.
2-register, 1-bit
https://longstreet.typepad.com/thesciencebookstore/2010/11/a-do-it-yourself-paper-digital-computer-1959.html
2-register, 1-bit
https://longstreet.typepad.com/thesciencebookstore/2010/11/a-do-it-yourself-paper-digital-computer-1959.html
LOGIC
골판지+핫글루+구슬로 만든 컴퓨터
4-bit
https://lapinozz.github.io/learning/2016/11/19/calculator-with-caordboard-and-marbles.html
골판지+핫글루+구슬로 만든 컴퓨터
4-bit
https://lapinozz.github.io/learning/2016/11/19/calculator-with-caordboard-and-marbles.html
해석기관(Analytical_Engine)
by Charles_Babbage (not built)
by Charles_Babbage (not built)
이런것들이 가능한 이유는 아마 논리게이트,logic_gate가 전자부품만으로 구현가능한 게 아니니까. "논리 게이트는 주로 전자 회로의 스위치로 작동하는 다이오드 또는 트랜지스터를 사용하여 구현되지만 진공관, 전자기 릴레이 (릴레이 로직), 유체 논리, 공압 논리, 광학, 분자 또는 기계 요소와 같은 다양한 구성 성분을 사용하여 구현할 할 수 있다" (sic)[1]
2021-12-29
rod_logic 이라는 표현도 있음 - https://everything2.com/title/rod logic
rod_logic 이라는 표현도 있음 - https://everything2.com/title/rod logic
기계식(컴퓨터)와 같은 뜻인지? chk.
Molecular_logic_gate - 이 외에 각종 _computing들이 있는데 저기서 좀만 찾아보면 됨2022-03-12
(당연하지만) 자동기계,automaton cellular_automaton 로도 컴퓨터 구현 가능. rel. game_of_life or life_game
Let’s BUILD a COMPUTER in CONWAY's GAME of LIFE (다큐)
https://youtu.be/Kk2MH9O4pXY
(당연하지만) 자동기계,automaton cellular_automaton 로도 컴퓨터 구현 가능. rel. game_of_life or life_game
Let’s BUILD a COMPUTER in CONWAY's GAME of LIFE (다큐)
https://youtu.be/Kk2MH9O4pXY
}
2.1. 컴퓨터구조 computer architecture ¶
CPU
I/O, interrupt
data path
von Neumann vs Harvard
pipeline
ALU
메모리,memoryALU
memory hierarchy
virtual memory
DMA
storagevirtual memory
DMA
I/O, interrupt
data path
von Neumann vs Harvard
3. 기계 ¶
여러 기계들
QQQ 추상기계=오토마톤?
유한상태기계,finite-state_machine,FSM 또는 유한오토마톤,finite_automaton,FA
유한 상태 기계(finite-state machine, FSM) 또는 유한 오토마톤(finite automaton, FA)
유한_상태_기계
{
상태,state가 사건,event에 의해 전이,transition.
}
http://foldoc.org/Finite State Machine (FSM or "Finite State Automaton", "transducer")
유한 상태 기계(finite-state machine, FSM) 또는 유한 오토마톤(finite automaton, FA)
유한_상태_기계
{
상태,state가 사건,event에 의해 전이,transition.
}
http://foldoc.org/Finite State Machine (FSM or "Finite State Automaton", "transducer")
결정적 유한 오토마타 (Deterministic Finite Automata, DFA)
A DFA is a 5-tuple
Deterministic_finite_automaton
A DFA is a 5-tuple
: a finite set of states
: a finite set of input symbols called the alphabet
: a transition function
: an initial state
: a set of accept states
: a finite set of input symbols called the alphabet
: a transition function
: an initial state
: a set of accept states
- 상태들의 집합
- 입력의 집합
- 전이 함수
- 초기 상태
- 최종 상태
Deterministic_finite_automaton
모든 NFA는 DFA로 변환 가능하다는 것이 증명되어 있다.
어원: 그리스어 αὐτόματος, 뜻 "self-acting, self-willed, self-moving"[4]
Twins:
자동기계 (← 오토마타)
오토마타_이론
Automata_theory
https://encyclopediaofmath.org/wiki/Automata,_theory_of
자동기계 (← 오토마타)
오토마타_이론
Automata_theory
https://encyclopediaofmath.org/wiki/Automata,_theory_of
}
계산가능성이론과 계산복잡도이론(see 계산,computation, 계산가능성,computability)에서 결정문제,decision_problem를 다루기 위해 쓰이는 추상기계,abstract_machine.
oracle에 대해:
Semi-twin:
Semi-twin:
https://mathworld.wolfram.com/Church-TuringThesis.html 의 중간 세번째문단 "If there were a device which could answer questions beyond..." 참조
}튜링_기계
Turing_machine
http://www.aistudy.com/computer/turing_machine.htm
https://encyclopediaofmath.org/wiki/Turing_machine
http://foldoc.org/Turing Machine
Turing_machine
http://www.aistudy.com/computer/turing_machine.htm
https://encyclopediaofmath.org/wiki/Turing_machine
http://foldoc.org/Turing Machine
유한상태기계 finite_state_machine,FSM
{
wpen에 의하면 state machine과 동의어라는데, infinite state machine은 없음? - c2 wiki에서 찾음. not practical.
AKA FSA: finite state automaton/automata
{
wpen에 의하면 state machine과 동의어라는데, infinite state machine은 없음? - c2 wiki에서 찾음. not practical.
AKA FSA: finite state automaton/automata
가상기계,virtual_machine - writing
4. 이론 ¶
펌핑보조정리,pumping_lemma
펌핑_보조정리
{
형식언어,formal_language에 대해.
크게 두 가지:
}
Pumping_lemma (for regular language, context-free language, etc.)
펌핑_보조정리
{
형식언어,formal_language에 대해.
크게 두 가지:
}
Pumping_lemma (for regular language, context-free language, etc.)
5. 기반 이론 ¶
조합론,combinatorics
이산수학,discrete_math
자료,data
정보,information
정보이론,information_theory
그래프,graph
그래프이론,graph_theory
논리,logic
집합론,set_theory
이산수학,discrete_math
자료,data
정보,information
정보이론,information_theory
그래프,graph
그래프이론,graph_theory
논리,logic
집합론,set_theory
책:
Ask HN: Resources to learn math as a foundation for CS
https://news.ycombinator.com/item?id=16505805
Ask HN: Resources to learn math as a foundation for CS
https://news.ycombinator.com/item?id=16505805
Related:
6. 문제 Problems ¶
k-clique problem - k-clique_problem - see 클릭,clique
P, NP 문제 (1) (ratsgo)
P, NP 문제 (2) (ratsgo)
https://seungkwan.tistory.com/6 - 결정문제,decision_problem부터 설명.
P, NP 문제 (2) (ratsgo)
https://seungkwan.tistory.com/6 - 결정문제,decision_problem부터 설명.
TBW
문제의 정의? 해,solution/해결책/풀이법을 구하고자 하는 것의 대상?? ... definition of problem
여기선 CS의 문제 얘긴데 수학,math 등등의 문제와의 차이점은??
문제의 정의? 해,solution/해결책/풀이법을 구하고자 하는 것의 대상?? ... definition of problem
여기선 CS의 문제 얘긴데 수학,math 등등의 문제와의 차이점은??
7. Misc ¶
정규식,regular_expression,regexp
{
점프 투 파이썬 / 07장 유용한 파이썬 도구들 / 07-2 정규 표현식 시작하기
https://wikidocs.net/4308
{
점프 투 파이썬 / 07장 유용한 파이썬 도구들 / 07-2 정규 표현식 시작하기
https://wikidocs.net/4308
tmp links ko
http://pl.skuniv.ac.kr/Lecture/Compiler/cdt-3/sld007.htm (page 7, 여기부터 10개의 slides. 여기선 '정규표현'으로 번역.)
AKA regexp, regex
Twins:
정규_표현식
https://pub.mearie.org/정규표현식
http://pl.skuniv.ac.kr/Lecture/Compiler/cdt-3/sld007.htm (page 7, 여기부터 10개의 slides. 여기선 '정규표현'으로 번역.)
AKA regexp, regex
Twins:
정규_표현식
https://pub.mearie.org/정규표현식
Zebras Hate You For No Reason: Why Amdahl's Law is Misleading in a World of Cats (And Maybe in Ours Too)
https://www.embeddedrelated.com/showarticle/1033.php
Kittens Game에 비유하여 설명함
https://www.embeddedrelated.com/showarticle/1033.php
Kittens Game에 비유하여 설명함
8. Book ¶
공개 무료 en
Theory of Computation by Jim Hefferon is a text for a first undergraduate Computer Science theory course. It is Free.
https://hefferon.net/computation/index.html
Theory of Computation by Jim Hefferon is a text for a first undergraduate Computer Science theory course. It is Free.
https://hefferon.net/computation/index.html
9. History ¶
David Hilbert가 질문한 결정문제 혹은 수리명제자동판결문제(decision problem, Entscheidungsproblem)를 증명하기 위해
Alan_Turing이
튜링기계,Turing_machine AKA 튜링머신 를 고안함.
Alan_Turing이
튜링기계,Turing_machine AKA 튜링머신 를 고안함.
같은 시기에 프린스턴대의 Alonzo_Church도 독립적으로 람다대수,lambda_calculus(튜링머신과 equiv.) 연구.
처치-튜링 논제 Church-Turing thesis
최초의 CS PhD는 David_Wheeler_(computer_scientist)(1951), 이 사람은 Bjarne_Stroustrup의 doctoral advisor.
최초의 CS PhD는 David_Wheeler_(computer_scientist)(1951), 이 사람은 Bjarne_Stroustrup의 doctoral advisor.
----
- [1] https://terms.naver.com/entry.naver?docId=5810601&cid=60217&categoryId=60217 물리학백과: 논리게이트
- [2] wpko 자동기계 첫줄
- [3] wpko 자동기계 첫줄
- [4] wpen Automata_theory