[CS311] 3. MIPS 명령어 집합 구조
ISA의 개념부터 MIPS-32의 명령어 형식(R/I/J), 핵심 명령어, 레지스터 규약, 프로시저 호출, 메모리 레이아웃까지 정리합니다.
KAIST
[CS320] 2. 산술식에서 변수까지 — AE와 VAE
가장 단순한 산술식 언어(AE)부터 변수 바인딩을 지원하는 VAE까지, 인터프리터를 단계적으로 확장하며 프로그래밍 언어의 기초를 쌓습니다.
[CS311] 2. 메모리 소자와 컴퓨터 성능
SRAM과 DRAM의 구조, 2차원 주소 디코딩부터 CPU 성능 평가(CPU Time, CPI, Amdahl’s Law)와 전력 소비까지 정리합니다.
[CS311] 1. 디지털 논리 기초: 조합 논리와 순차 논리
Boolean 대수와 조합 논리 회로(가산기, 디코더, MUX)부터 순차 논리(래치, 플립플롭, 레지스터)까지, 디지털 논리의 핵심을 정리합니다.
[CS320] 1. Scala 기초와 프로그램 설계 방법론
Scala의 Trait, Class, Case Class 차이점과 프로그래밍 언어를 설계하는 체계적인 방법론(Syntax, Semantics)을 정리합니다.
[CS230] 1. 데이터 표현 - Bits, Integers, Floating Point
컴퓨터가 데이터를 표현하는 방법을 다룹니다. ASCII/Unicode 문자 인코딩부터 정수의 비트 표현(2의 보수), 부동소수점(IEEE 754)까지 정리합니다.
[CS230] 2. 어셈블리와 기계어 기초 - Machine Basics & Control
C 코드가 어셈블리와 기계어로 변환되는 과정, x86-64 레지스터, mov/leaq 명령어, 조건 분기와 반복문의 어셈블리 구현을 다룹니다.
[CS230] 3. 어셈블리 심화 - Procedures, Data, Advanced
함수 호출의 어셈블리 구현(스택 프레임, caller/callee-saved), 배열과 구조체의 메모리 배치, 버퍼 오버플로 공격과 방어를 다룹니다.
[CS230] 4. 링킹과 예외 제어 흐름 - Linking & ECF
링커의 역할(심볼 해석, 재배치), 예외 제어 흐름(Exceptions, Process, Signals), 시스템 콜과 프로세스 관리를 다룹니다.
[CS230] 5. 가상 메모리와 동적 할당 - Virtual Memory & Malloc
가상 메모리의 원리(페이지 테이블, 주소 변환, TLB), 동적 메모리 할당(malloc/free, implicit free list, fragmentation)을 다룹니다.