a) Hàm số \( y = \log_2(x+8) \) được xác định khi \( x+8 > 0 \) (vì không thể lấy logarit của một số âm). Do đó, \( x+8 > 0 \) ⇔ \( x > -8 \). Vậy tập xác định của hàm số là \( (-8, +\infty) \).

b) Hàm số \( y = \log_3(2x+5) \) được xác định khi \( 2x+5 > 0 \) (vì không thể lấy logarit của một số âm). Do đó, \( 2x+5 > 0 \) ⇔ \( x > -\frac{5}{2} \). Vậy tập xác định của hàm số là \( (-\frac{5}{2}, +\infty) \).

c) Hàm số \( y = \ln(4 - x^2) \) được xác định khi \( 4 - x^2 > 0 \) (vì không thể lấy logarit của một số âm). Điều này xảy ra khi \( -x^2 < -4 \) hoặc \( x^2 < 4 \). Vì \( x^2 \geq 0 \) cho mọi giá trị \( x \), nên điều kiện này được thỏa mãn khi \( -4 < x^2 < 4 \). Giải bất phương trình này, ta được \( -2 < x < 2 \). Vậy tập xác định của hàm số là \( (-2, 2) \).

d) Hàm số \( y = \log_{\frac{1}{3}}(-x^2 + 3x - 2) \) được xác định khi \( -x^2 + 3x - 2 > 0 \) (vì không thể lấy logarit của một số âm). Điều này xảy ra khi \( x^2 - 3x + 2 < 0 \). Giải bất phương trình này, ta được \( 1 < x < 2 \). Vậy tập xác định của hàm số là \( (1, 2) \).