과학
Science8개 세트기초 과학 O/X
매일 알아두면 좋은 과학 상식
우주와 천문 O/X
태양계와 별에 관한 기본 상식
인체와 생물 O/X
몸과 생명에 관한 기초 상식
Science Basics O/X
Everyday facts about the natural world
양자·현대물리 심화 O/X
양자역학과 현대물리의 핵심 개념
상대성이론 심화 O/X
특수·일반 상대성이론의 핵심
분자생물학 심화 O/X
DNA·단백질·세포의 원리
Advanced Science O/X
Deeper physics, chemistry, and biology
지리
Geography6개 세트역사
History6개 세트언어
Language3개 세트일반 상식
General Knowledge6개 세트예술·문화
Arts & Culture3개 세트스포츠
Sports2개 세트IT·기술
IT & Tech2개 세트한국사 시험
Korean History Exam4개 세트컴퓨터 자격증
Computer Certification7개 세트컴퓨터 일반 기초 O/X
컴퓨터 활용 시험의 기초 개념
컴퓨터 일반 심화 O/X
자료구조·보안·데이터베이스 심화 개념
네트워크·인터넷 O/X
인터넷 통신과 웹의 기본 원리
Computer Science Basics O/X
Fundamental computing concepts
컴퓨터과학 심화 O/X
자료구조·알고리즘·시스템 원리
프로그래밍 개념 심화 O/X
언어·패러다임·개발 원리
Advanced Computer Science O/X
Data structures, algorithms, and systems
영어 어휘
English Vocabulary5개 세트건강·의학
Health & Medicine6개 세트경제·금융
Economy & Finance6개 세트국어
Korean Language3개 세트CS 이론
CS Theory6개 세트선언형 vs 명령형 입문
'무엇(what)'과 '어떻게(how)'로 갈라 보는 두 패러다임 — 그 경계가 왜 생각만큼 또렷하지 않은지부터 짚습니다.
언어 의미론: 정적 vs 실행
정적 의미론과 실행(동적) 의미론을 가르고, 작동적·표시적·공리적 의미론을 정리합니다. '그냥 의미론'이라 뭉뚱그릴 때 생기는 함정도 함께.
논리와 양화사: ∀·∃
술어 논리의 전칭·존재 양화사와 그 성질. '자명한 ∃'와 '비자명한 ∃'의 차이가 왜 분류 논쟁의 핵심인지 이해합니다.
타입 추론과 제약 해결
Hindley–Milner 단일화, Rust 라이프타임 추론, 트레잇·타입클래스 해석 — 정적 의미론이 어떻게 '비자명한 ∃(존재 판정)'를 품는지 봅니다.
동시성과 메모리 모델
happens-before, 데이터 경합, 순차 일관성, 그리고 공리적 메모리 모델. '허용 동작 = ∃(rf·mo…) 공리 충족' 형태가 왜 문제의 핵심인지.
패러다임 분류의 사회문화성
어떤 형식 정의를 세워도 메모리 모델이 조건을 충족해 C++·Rust·Java가 선언형이 되어버린다 — 그래서 패러다임 분류는 결국 사회문화적 합의라는 결론.
검색 결과가 없습니다.