пятница, 27 января 2012 г.

Диплом в LaTeX. Версия для МАИ. Часть 1.

Предисловие

В МАИ прежде чем выйти на защиту, необходимо сдать диплом и раздаточные материалы (презентацию) в КДП - Кабинет Дипломного Проектирования. Процесс этот не самый приятный и временами отдаёт маразмом. В интернетах существует методичка с требованиям и верстать диплом нужно в соответствии с ней. Это заметно уменьшит количество придирок и, как следствие, ненужных поездок в институт. В этой серии статей будут рассмотрены решения, применённые при вёрстке диплома, которые применил автор при сдаче дипломной работы в МАИ, на 8 факультете в 2012 году.

воскресенье, 22 января 2012 г.

PVS под лупой

В этой заметке будет рассмотрен PVS-Studio более внимательно. Для оценки работы инструментов статического анализа я создал несколько простеньких примеров и собираюсь рассказать как себя на них проявил этот инструмент. Итак, тестируется версия PVS-Studio 4.51, работа общего анализатора.

суббота, 14 января 2012 г.

Автоматические компьютеры существуют вот уже четверть века. Они сильно повлияли на наше общество в качестве инструментов, но их воздействие в этом качестве не более чем рябь на поверхности нашей культуры по сравнению с более глубоким влиянием, которое они окажут в качестве интеллектуального вызова, который не имеет прецедента в культурной истории человечества.
Эдсгер Вибе Дейкстра. Смиренный программист. 1972 г.