Кот Абсолютный

Сначала нужно определиться, что есть для Вас "системное программирование".
Написание собственных демонов, использование очередей, нитей, общих областей памяти, сокетов, каналов? Сможете, хотя не факт, что примеры приведенные в книге, заработают в некоей конкретной версии линуха - маны читать все равно придется, они явно будут новее книги.
Написание драйверов, системных вызовов, модулей ядра? Нет, нужно будет читать маны именно по kernel-hacking

В памяти массив все равно одномерный будет, хоть тресни ;) N-мерность нужна для удобства доступа.

Это плохо. Указатели - основа С, без понимания того, как работают указатели, будет ооочень трудно.

char *var - указатель на переменную типа char. Сама var содержит адрес, шестнадцатеричное число, размер его зависит от реализации, от ОС, от платформы etc. Этот адрес указывает на область памяти длиной 1 байт (потому что char *), соответственно в эту область можно поместить 1 байт. Если поместить туда скажем переменную типа short int (два байта), то можно получить опять же в зависимости от того, как получали под нее память либо затирание соседней переменной (что не всегда плохо и очень часто используется для обнуления областей), либо SIGSEGV, то есть нарушение защиты памяти, запись в область памяти не выделенную программе.
char ** var - указатель на указатель на переменную типа char. Сама var, как и раньше содержит адрес, но теперь этот адрес указывает на область памяти размером с указатель (он фиксированный в пределах реализации) и по этому адресу записан адрес области, в которую можно поместить 1 байт (со всеми вытекающими последствиями).
Зачем такие извращения? Ну, например для упрощения вызова функции - передавать один параметр или же 4-5. Обработка списков, деревьев и всего, что строится на их основе. Данная конструкция очень распространена, рекомендую проработать пару демок в отладчике - с дотошным разбором, где что находится, как откуда и куда извлекается...

Смотря чем хотите заниматься.

Системщик, программист МК, встраиваемых систем, драйверописатель - пишет на С
Прикладник, разработчик юзерских программ с UI, пищалками и свистелками - на C++

Вас в гугле забанили? Исправляйте ошибки - перестанет ругаться. Я ошибки вижу - они элементарные. Но подсказывать не буду. Читайте доки - они рулез :D

Потому что С - низкоуровневый язык. Как уже говорили, a[b] - всего лишь иная форма записи *(a+b), что позволяет делать мнооооожество финтов ушами :) man memmove например почитайте :) - это вообще адЪ :) Существует множество либ, содержащих например те же strcpy, strcat, strstr, но обвешанные различными проверками - кому надо, тот их использует.

отключать оптимизацию при компиляции через -O0 (первый символ - буква O, второй - цифра "ноль"!). Это отключит механизмы оптимизации размещения обьектов в памяти и еще много чего, что не дает нормально отлаживаться.
Можно явно задать выравнивание элемента на границу байта, слова, двойного слова - через #pragma pack. В данном случае нужно позаботиться, чтобы структура была выравнена на границу int - в зависимости от того, какой у данного контроллера int - в два байта, в четыре...

Не совсем правильно. Для этого больше нужен ассемблер. Не, ось на С написать можно, но ПК работает на значительно более низком уровне :)

Еще один "хакир"?

Если пишете демона, самим придется за временем следить. А по запуску исполняемых файлов - man exec

Пожалуй, единственный критерий - будет ли этот файл читаться только программой, или же его будут читать также и люди? Если только программой - бинарник удобнее. Расписал структуру, наложил на запись - вуаля, разобрано по полям! Но человеку прочитать это будет довольно сложно, если файл будут читать также и люди, лучше потраться на более-менее полноценный парсер типа name=value, если редактировать вручную, будет куда проще.

Чем вездеход хуже самолета?
Гуя нет ни у какого языка, есть среда разработки.

Максимально подробно - это man.

ПисАть. ПисАть и еще раз писАть. Изучать чужой код и писать свой. Если не хочется "задачу ради задачи" - присоединиться к какому-нибудь сообществу и попытаться им помочь.

Потому что это удобно :) Есть сложные типы данных - структуры, обьединения, в которых полно указателей на другие указатели и пр. Очень часто обьекты данных такого типа агрегируются в массивы и адресуются указателями - получил один указатель и можешь перебирать огромный массив.
Си - системный язык и получить в качестве значения указатель, который адресует массив, содержащий указатели на элементы, каждый из которых указатель на что-нибудь с чем наконец-то можно и поработать - запросто :D

Понятие "лучше" абстрактное и вне фразы "лучше чем" не существует. По каким признакам оценивать код - по быстродействию, по читабельности, по еще сто-тыщ-разных критериев?

Если хотите оценить быстродействие - переведите код в ассемблер и посмотрите результат. Скорость выполнения ассемблерных команд тоже конечно в попугаях, но там хоть сравнить можно в числах.

Если хотите оценить понятность кода - второй гораздо сложнее воспринимается. В первом, кстати второй if совершенно лишний :) - a[i] может быть либо равно key, либо не равно, третьего варианта нет, поэтому его совершенно спокойно можно заменить на else - это и по быстродействию даст выйгрыш.

Кстати о присваиваниях. Операции типа tmp++ вполне могут делаться в регистрах, одной командой.