Hola Joaquín,
Tu idea es correcta, sería armar una matriz formada por 4 matrices. Lo de a, b o cero es la definición formal de la matriz. Fijate que las entradas que cumplen que $$i\leq n,j\leq n$$ son todas las correspondientes a la matriz A (que tiene dimensiones nxn), mientras que todas las entradas que verifican que $$i>n,j>n$$ son aquellas correspondientes a la matriz B (de dimensiones mxm). La notación en los subíndices está definida de modo que la entrada $$c_{n+1,n+1}$$ de la matriz C se corresponda con el elemento $$b_{11}$$ de la matriz B.
Cualquier cosa preguntá de nuevo si no quedó claro.
Saludos